비단조논리적인 행위 설명
과학적 설명과 비단조 논리 : 정영기 지음, 엘맨, 1996, Page 126~153
목 차
1. 닫힌세계 가정 (closed world assumption)
2. 승계 추리
3. 비단조논리적인 신념수정
4. 비단조논리적인 행위설명
(1) 법칙과 초기화 규칙 (default) 의 차이
(2) 비단조 논리적인 행위설명
우리의 상식적인 추리는 예외적일 수 있는 일반적인 규칙을 사용하는 능력에 깊이 의존하고 있다. 우리가 일상생활에서 내리는 의사결정 중에 완전한 확실성을 갖고 있는 것은 거의 없다. 그러나 일상생활 속에서 우리는 의사결정을 내리지 않을 수 없다. 우리는 불확실성에도 불구하고 계속 행위하기 위해 결정을 내린다. 단조논리는 이런 상식적인 우리의 임시적인 성격을 포착하는데 한계를 갖고 있다.
비단조 논리는 우리가 완전한 정보가 없는 상황에서 행위할 수 있도록 해 주기 때문에 매우 중요하다. 예를 들어, 우리는 일과 후에 집으로의 자동차 운전을 생각하며 암암리에 다음과 같이 가정한다. 자동차는 마지막에 주차한 곳에 주차해 있으며, 배터리는 잘 작동하고 있으며, 길은 막혀 있지 않으며 등등. 그러나 이런 기대는 초기화에 의해 유지되며, 그 기대가 깨질 때 우리는 기존의 신념을 재평가할 준비를 해야 한다.
인공지능 연구자들은 상황에 대해 완전하고 정확한 지식이 없는 가운데에서 합리적으로 행위하는 능력을 매우 중요시하였다. 상식적인 추리에서 우리는 지지하는 증거와 모순되는 증거의 부재에 기초하여 가정을 세운다. 전통 논리는 지식의 부재를 고려하는 수단을 갖추고 있지 않기 때문에 이런 형식의 추리와 필적할 수 없다. 비단조 논리는 전통적인 1 차 술어논리에 구체적인 지식의 부재에 기초하여 결론을 내리는 메카니즘을 보충하였다.
이 장에서 필자는 헴펠의 행위설명…(생략)
|
베이스는 열린세계 가정을 만족시킨다고 말한다. 열린세계에 대한 대안은 닫힌세계 데이터 베이스이다. 닫힌세계 안의 데이터 베이스는 부정적인 정보를 포함하지 않는다. 그 데이터 베이스로부터 부정적인 사실을 도출할 수 있는가를 결정하기 위해서는 긍정적인 사실의 참을 증명해 보아야 한다. 긍정적인 사실의 참을 증명하지 못했을 경우 부정적인 사실이 참이라고 가정된다. 다시 말하면 닫힌세계 가정하에서 어떤 대답은 증명을 발견하지 못하는 결과로서 인정된다.
많은 경우 닫힌세계 가정은 적절하다. 왜냐하면 오직 긍정적인 지식만을 명확하게 표현하고 부정적인 사실의 참을 초기화로 가정하는 것이 자연스럽기 때문이다. 닫힌 세계 가정을 비행기 운행 스케줄의 예를 통해 설명해 보자. 가령 비행 횟수와 비행하는 도시들을 표현하는 비행기 운행 스케줄을 위한 데이터 베이스가 있다고 해보자. 비형식적으로는 이 데이터베이스 (database) 에 상업적으로 운행 가능한 모든 비행 항로를 적어둘 수 있을 것이다. 그러나 우리는 모든 비행기 운행과 그 운행에 의해 연결되지 않는 도시들을 데이터 베이스에 포함하길 원하지 않을 것이다. 이유는 그 정보의 양이 대단히 많을 것이기 때문이다. 예를 들어, 대한 항공 707 은 런던과 파리를 연결하지 않으며 토론토와 몬트리올을 연결하지 않으며, 동경과 아테네를 연결하지 않는다. 명확하게 표현해야 할 부정적인 정보의 양은 너무나 많다. 이것은 실제 데이터 베이스에서 참일 것이다.
데이터 베이스는 그런 부정적인 정보를 명확하게 표현하는 대신, 닫힌 세계 가정에 의해 부정적인 정보를 암묵적으로 표현한다. 닫힌 세계 가정은 모든 관련된 긍정적인 정보가 명확하게 표현되었다는 것을 말한다. 만일 긍정적인 사실이 데이터 베이스에 명확하게 표현되지 않는다면 그 부정이 참이라고 전제된다. 따라서 A 도시에서 B 도시로의 비행기 운행에 관한 정보가 없다면 그런 비행은 존재하지 않는다. 즉 반대되는 정보가 없다면 A 도시로부터 B 도시로의 비행기 운행은 없다고 가정