Автоматизированное рассуждение — изучение и разработка вычислительных методов, позволяющих системам выводить заключения, доказывать утверждения или проверять логическую согласованность с ограниченным участием человека или без него. Оно опирается на информатику, математическую логику, ИИ (AI) и формальные методы и применяется в доказательстве теорем, верификации, планировании и представлении знаний.
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.