Logic & Formal Reasoning

The big problem for AI is what to say not how to say it. The predicate calculus [formal logic] does no more than provide a uniform language in which knowledge about the world can be expressed and reasoned about.

- Nils Nilsson, Artificial Intelligence: A New Synthesis

photo of Nils Nilsson
Nils Nilsson

Definition of the Area

"I think the best hope for human-level AI is logical AI, based on the formalizing of commonsense knowledge and reasoning in mathematical logic. Formalizing common sense requires extensions to mathematical logic including nonmonotonic reasoning and extensive reification, e.g., of concepts and also contexts. The reifications require appropriate reflection schemas.";
 - From The Future of AI— A Manifesto by John McCarthy. AI Magazine 26(4), (2005)