개념
추론은 이미 알고 있는 지식과 관측된 사실을 바탕으로 새로운 결론을 도출하는 과정이다. 영어로 inference 또는 reasoning이라고 한다.
전제 집합 로부터 결론 가 논리적으로 따라오면 다음처럼 쓴다.
사고의 유형
- 연역적 사고: 일반 규칙을 특정 사례에 적용
- 귀납적 사고: 여러 사례에서 일반 패턴을 유추
- 가설적 사고: 불완전한 정보에서 가능한 설명을 찾음
- 확률적 사고: 확률을 사용해 불확실성에 대응
지식 기반 AI에서
전문가 시스템은 생성 규칙과 사실을 이용해 새로운 사실을 추론한다. 이때 순방향 추론은 사실에서 출발하고, 역방향 추론은 목표 결론에서 출발한다.
논리와 추론
명제 논리와 술어 논리는 더 형식적인 추론을 가능하게 한다. Prolog는 술어 논리에 기반해 후향 추론을 수행하는 언어이다.