1. 연역추리 연역추리는 전제들이 참이면 결론은 항상 참인 추리를 연역적으로 타당한 추리라고 한다. 사람들이 연접, 이접, 부정이 포함된 명제추리를 수행하는 방식은 논리학이 가정하는 규범적인 체계와 크게 다르지 않지만, 조건추리를 수행하는 방식은 조건 추리 문제의 종류와 조건명제의 내용에 따라 달라진다. 2. 삼단논법추리 삼단논법추리는 전제에서 직접 관련짓지 않았던 항목들 간의 관계에 대해 결론을 내리거나 주어진 결론이 연역적으로 타당한지 판단하는 추리이다. 전형적인 범주추리문제에서는 '모든', '어떤', '어떤....는 아니다',...

1. 추리 추리는 문제해결 능력에서 중요한 역할을 차지한다. 조작자 선택, 기억의 인출 시에도 추론의 형태가 사용된다. 실제 논리적인 사고의 방법에 맞지 않게 사고하는 예로 '도박꾼의 오류'와 야구 중계에서의 논리적 사고 오류를 들 수 있다. 2. 연역 추리와 귀납 추리 책에서는 추리를 연역 추리와 귀납 추리로 분류하고 있지만, 인간의 사고 과정이 정확하지 않기 때문에 이를 인공지능에 적용하는 것이 적절한지 의문이 든다. 귀납 추리가 인간의 추리 능력을 더 잘 설명하지만, 확률에 근거한 추정이라 불확실성이 크다. 3. 인공지능의 추...