In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science and philosophy.
The most developed subareas of automated reasoning are automated theorem proving (and the less automated but more pragmatic subfield of interactive theorem proving) and automated proof checking (viewed as guaranteed correct reasoning under fixed assumptions).[citation needed] Extensive work has also been done in reasoning by analogy using induction and abduction.[1]
Other important topics include reasoning under uncertainty and non-monotonic reasoning. An important part of the uncertainty field is that of argumentation, where further constraints of minimality and consistency are applied on top of the more standard automated deduction. John Pollock's OSCAR system[2] is an example of an automated argumentation system that is more specific than being just an automated theorem prover.
Tools and techniques of automated reasoning include the classical logics and calculi, fuzzy logic, Bayesian inference, reasoning with maximal entropy and many less formal ad hoc techniques.
^Defourneaux, Gilles, and Nicolas Peltier. "Analogy and abduction in automated deduction." IJCAI (1). 1997.
^John L. Pollock[full citation needed]
and 24 Related for: Automated reasoning information
and reasoning and metalogic, the area of automatedreasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning...
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automatedreasoning and mathematical logic dealing with proving...
In artificial intelligence (AI), commonsense reasoning is a human-like ability to make presumptions about the type and essence of ordinary situations...
research demonstrations as most previous automatedreasoning systems had been. The engine used for automatedreasoning in expert systems were typically called...
nets, frames, rules, logic programs and ontologies. Examples of automatedreasoning engines include inference engines, theorem provers, model generators...
of AutomatedReasoning was established in 1983 by Larry Wos, who was its editor in chief until 1992. It covers research and advances in automated reasoning...
for AutomatedReasoning (AAR) is a non-profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning...
affect the inferences that people draw. The field of automatedreasoning studies how reasoning may or may not be modeled computationally. Animal psychology...
different colors. This problem has been used as a test case for automatedreasoning, creativity, and the philosophy of mathematics. The mutilated chessboard...
swarm optimization Ant colony optimization Metaheuristic Logic and automatedreasoning Programming using logic Logic programming See "Logic as search" above...
Workshop on Advancing Reasoning on the Web: Scalability and Commonsense (June 2008) Tom Gardiner, Ian Horrocks, Dmitry Tsarkov. Automated Benchmarking of Description...
There is substantial overlap between SMT solving and automated theorem proving. Generally, automated theorem provers focus on supporting full first-order...
have been formalized within proof assistants. Automated theorem proving – Subfield of automatedreasoning and mathematical logic Computer-assisted proof –...
chaining (or backward reasoning) is an inference method described colloquially as working backward from the goal. It is used in automated theorem provers,...
The Handbook of AutomatedReasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automatedreasoning. Published in June...
various routes (referred to as automated decision-making) and deduce valid inferences (referred to as automatedreasoning), achieving automation eventually...
also offered an empirical objection, criticising its lack of evidential reasoning and rejecting the idea that anything can exist necessarily. Immanuel Kant's...
it was small enough to fit "on three floppy disks." The company's AutomatedReasoning Tool (ART), initially implemented on a mainframe, subsequently made...
Computation Conference Conferences on automatedreasoning: IJCAR - International Joint Conference on AutomatedReasoning LPAR - International Conference on...
lip reading, art appreciation, interpreting emotional behaviours, automatedreasoning, spacecraft piloting and computer chess. HAL became operational in...
Shaw. It was the first program deliberately engineered to perform automatedreasoning, and has been described as "the first artificial intelligence program"...
called the Semantic Web. Temporal logic is used for reasoning in concurrent systems. Automatedreasoning Computational logic Logic programming Lewis, Harry...