[사회과학] 비단조 논리 연구 - 과학적 설명과 비단조 논리; 정영기 지음, 엘맨, 1996, Page 126~153[책 내용]

비단조 논리 연구

과학적 설명과 비단조 논리 : 정영기 지음, 엘맨, 1996, Page 99~125

목 차

1. 비단조논리의 특성
2. 비단조 논리의 유형
(1) 라이터의 초기화 논리 (default logic)
(2) 무어의 자동인식적 추리 (autoepistemic reasoning)
(3) 맥카시의 제한화 추리 (circumscriptive reasoning)
3. 비단조 논리의 사용 사례
4. 비판적 논의

1. 비단조논리의 특성
연역 논리는 추리가 진행되고 지식이 부가됨에 따라 정보를 버리거나 신념을 변경하는 메카니즘을 갖고 있지 않다. 연역논리의 이러한 측면을 단조적 (monotonic) 이라 부른다. 비단조 논리 (nonmonotonic logic) 는 사용가능한 정보에 기초하여 추리를 진행하지만 새로운 정보가 첨가될 때 그 추리는 제거되고 새로운 추리를 진행할 수 있다. 비단조 논리는 근거가 불완전하거나 완전한 정보획득이 불가능한 상황에서 이용될 수 있는 추리양식이다.
민스키 (M.Minsky) 는 연역논리가 상식적 추리를 표현하기에는 부적절하다고 주장하면서 `Nonmonotonic` 이라는 용어를 1975 년 처음 사용하였다. 맥더모트 (McDermott), 도일 (Doyle), 라이터 (Reiter) 는 1980 년 두 가지 다른 형식 체…