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

1. 비단조논리적인 행위 설명 - 과학적 설.hwp
2. 비단조논리적인 행위 설명 - 과학적 설.pdf
비단조논리적인 행위 설명 - 과학적 설명과 비단조 논리; 정영기 지음, 엘맨, 1996, Page 126~153[책내용]
비단조논리적인 행위 설명

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

목 차

1. 닫힌세계 가정 (closed world assumption)
2. 승계 추리
3. 비단조논리적인 신념수정
4. 비단조논리적인 행위설명
     (1) 법칙과 초기화 규칙 (default) 의 차이
     (2) 비단조 논리적인 행위설명

우리의 상식적인 추리는 예외적일 수 있는 일반적인 규칙을 사용하는 능력에 깊이 의존하고 있다. 우리가 일상생활에서 내리는 의사결정 중에 완전한 확실성을 갖고 있는 것은 거의 없다. 그러나 일상생활 속에서 우리는 의사결정을 내리지 않을 수 없다. 우리는 불확실성에도 불구하고 계속 행위하기 위해 결정을 내린다. 단조논리는 이런 상식적인 우리의 임시적인 성격을 포착하는데 한계를 갖고 있다.

비단조 논리는 우리가 완전한 정보가 없는 상황에서 행위할 수 있도록 해 주기 때문에 매우 중요하다. 예를 들어, 우리는 일과 후에 집으로의 자동차 운전을 생각하며 암암리에 다음과 같이 가정한다. 자동차는 마지막에 주차한 곳에 주차해 있으며, 배터리는 잘 작동하고 있으며, 길은 막혀 있지 않으며 등등. 그러나 이런 기대는 초기화에 의해 유지되며, 그 기대가 깨질 때 우리는 기존의 신념을 재평가할 준비를 해야 한다.

인공지능 연구자들은 상황에 대해 완전하고 정확한 지식이 없는 가운데에서 합리적으로 행위하는 능력을 매우 중요시하였다. 상식적인 추리에서 우리는 지지하는 증거와 모순되는 증거의 부재에 기초하여 가정을 세운다. 전통 논리는 지식의 부재를 고려하는 수단을 갖추고 있지 않기 때문에 이런 형식의 추리와 필적할 수 없다. 비단조 논리는 전통적인 1 차 술어논리에 구체적인 지식의 부재에 기초하여 결론을 내리는 메카니즘을 보충하였다.

....