自动推理是计算机科学的一个分支，属于人工智能学科研究的一种，它的主要研究方向是利用计算机进行自动化的逻辑证明，其内容一般可分为演绎推理和非演绎推理。

Automated reasoning is 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.