Automated reasoning is the study and development of computational methods that allow systems to derive conclusions, prove statements, or check logical consistency with limited or no human intervention. It draws on computer science, mathematical logic, AI, and formal methods and is used in theorem proving, verification, planning, and knowledge representation.
An area of computer science and mathematical logic 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 even philosophy.