Questions tagged [automated-reasoning]

For questions about Automated Reasoning concepts and research topics. Automated Reasoning is a sub-field of Artificial Intelligence concerned with the development of computer programs which can reason completely, or nearly completely, automatically.

Filter by
Sorted by
Tagged with
0 votes
0 answers

Is ChatGPT a viable strategy for solving the P-NP Problem?

According to ZDNet, it is an open question whether a transformer LLM like ChatGPT can facilitate the determination of a solution to the P-NP Problem. (See Can generative AI solve computer science's ...
J D's user avatar
  • 101
17 votes
1 answer

Why is automated theorem proving so hard?

The problem of automated theorem proving (ATP) seems to be very similar to playing board games (e.g. chess, go, etc.): it can also be naturally stated as a problem of a decision tree traversal. ...
Ivan Ivanov's user avatar
1 vote
0 answers

What is the difference between Knowledge Representation and Automated Reasoning?

Knowledge Representation and Automated Reasoning are two AI subfields which seem to have something to do with reasoning. However, I can't find any information online about their relationship. Are ...
olinarr's user avatar
  • 755
1 vote
1 answer

When will we have computer programs that can compose mathematical proofs?

When will it be possible to give a computer program a bunch of assumptions and ask it if a certain statement is true or false, giving a proof or a counterexample respectively?
Siddhartha's user avatar
4 votes
2 answers

Is there a machine learning system that is able to understand mathematical problems given in a textual description?

Is there a machine learning system that is able to "understand" mathematical problems given in a textual description, such as A big cat needs 4 days to catch all the mice and a small cat ...
georg0221's user avatar
7 votes
1 answer

Did Turing foresee the required capabilities to pass the Turing test?

In Section 1.1 of Artificial Intelligence: A Modern Approach, it is stated that a computer which passes the Turing Test would need 4 capabilities, and that these 4 capabilities comprise most of the ...
alwaysLearningABC's user avatar