자동 연역
컴퓨터 프로그램을 사용하여 주어진 전제로부터 논리적 결론을 도출하거나 수학적 정리를 증명하는 과정이다. AI가 인간의 개입 없이 스스로 논리적 단계를 밟아 문제를 해결하는 핵심 기술이다.