Search results
Results from the WOW.Com Content Network
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.
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.
He is a Director of Research at Inria Saclay and one of the designers of the λProlog programming language and the Abella interactive theorem prover. [1] [2] Miller is most known for his research on topics in computational logic, including proof theory, automated reasoning, and formalized meta-theory.
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major motivating factor for the development of computer science .
The journal's scope encompasses all areas of AI, including agents and multi-agent systems, automated reasoning, constraint processing and search, knowledge representation, machine learning, natural language, planning and scheduling, robotics and vision, and uncertainty in AI.
Geoff Sutcliffe is a US-based computer scientist working in the field of automated reasoning. He was born in the former British colony of Northern Rhodesia (now Zambia), grew up in South Africa, and earned his PhD in Australia. Sutcliffe currently works at the University of Miami, and is of both British and Australian nationality. [1]
Common-sense reasoning is an open area of research and challenging both for symbolic systems (e.g., Cyc has attempted to capture key parts of this knowledge over more than a decade) and neural systems (e.g., self-driving cars that do not know not to drive into cones or not to hit pedestrians walking a bicycle).
In 2015, his contributions to the field of automated reasoning were recognized with the Herbrand Award. [22] He has won 25 division titles in the CADE ATP System Competition (CASC) at the Conference on Automated Deduction (CADE) since 1999. [citation needed]