인지과학
자동화된 추론(automated reasoning)은 각기 다른 면의 추론을 이해하기 위한 컴퓨터 과학, 인지과학, 수리 논리의 한 분야이다. 자동화된 추론의 연구를 통해 컴퓨터가 완전히, 또는 거의 완전히 자동으로 추론할 수 있게 하는 컴퓨터 프로그램의 개발을 돕는다. 자동화된 추론이 인공지능의 하위 분야로 간주되지만 이론 전산학, 심지어는 철학과도 연결된다.