Search results
Results from the WOW.Com Content Network
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 Journal of Automated Reasoning was established in 1983 by Larry Wos, who was its editor in chief until 1992. [1] It covers research and advances in automated reasoning, mechanical verification of theorems, and other deductions in classical and non-classical logic. [2] The journal is published by Springer Science+Business Media.
Logic Theorist introduced several concepts that would be central to AI research: Reasoning as search Logic Theorist explored a search tree: the root was the initial hypothesis, each branch was a deduction based on the rules of logic. Somewhere in the tree was the goal: the proposition the program intended to prove.
The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published in June 2001 by MIT Press, it is edited by John Alan Robinson and Andrei Voronkov. Volume 1 describes methods for classical logic, first-order logic with equality and other theories, and induction.
In artificial intelligence, symbolic artificial intelligence (also known as classical artificial intelligence or logic-based artificial intelligence) [1] [2] is the term for the collection of all methods in artificial intelligence research that are based on high-level symbolic (human-readable) representations of problems, logic and search. [3]
The Association for Automated Reasoning (AAR) is a non-profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning, and related fields. It organizes the CADE and IJCAR conferences and publishes a roughly quarterly newsletter.
manchester.ac.uk /research /andrei.voronkov Andrei Anatolievič Voronkov (born 1959) [ 2 ] [ 3 ] is a Professor of Formal methods in the Department of Computer Science at the University of Manchester .
Her research is on automated reasoning in artificial intelligence focusing on probabilistic and constraint-based reasoning. [2] [3] In 2013, she was elected a Fellow of the Association for Computing Machinery. [4]