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

베이스는 열린세계 가정을 만족시킨다고 말한다. 열린세계에 대한 대안은 닫힌세계 데이터 베이스이다. 닫힌세계 안의 데이터 베이스는 부정적인 정보를 포함하지 않는다. 그 데이터 베이스로부터 부정적인 사실을 도출할 수 있는가를 결정하기 위해서는 긍정적인 사실의 참을 증명해 보아야 한다. 긍정적인 사실의 참을 증명하지 못했을 경우 부정적인 사실이 참이라고 가정된다. 다시 말하면 닫힌세계 가정하에서 어떤 대답은 증명을 발견하지 못하는 결과로서 인정된다.

많은 경우 닫힌세계 가정은 적절하다. 왜냐하면 오직 긍정적인 지식만을 명확하게 표현하고 부정적인 사실의 참을 초기화로 가정하는 것이 자연스럽기 때문이다. 닫힌 세계 가정을 비행기 운행 스케줄의 예를 통해 설명해 보자. 가령 비행 횟수와 비행하는 도시들을 표현하는 비행기 운행 스케줄을 위한 데이터 베이스가 있다고 해보자. 비형식적으로는 이 데이터베이스 (database) 에 상업적으로 운행 가능한 모든 비행 항로를 적어둘 수 있을 것이다. 그러나 우리는 모든 비행기 운행과 그 운행에 의해 연결되지 않는 도시들을 데이터 베이스에 포함하길 원하지 않을 것이다. 이유는 그 정보의 양이 대단히 많을 것이기 때문이다. 예를 들어, 대한 항공 707 은 런던과 파리를 연결하지 않으며 토론토와 몬트리올을 연결하지 않으며, 동경과 아테네를 연결하지 않는다. 명확하게 표현해야 할 부정적인 정보의 양은 너무나 많다. 이것은 실제 데이터 베이스에서 참일 것이다.

데이터 베이스는 그런 부정적인 정보를 명확하게 표현하는 대신, 닫힌 세계 가정에 의해 부정적인 정보를 암묵적으로 표현한다. 닫힌 세계 가정은 모든 관련된 긍정적인 정보가 명확하게 표현되었다는 것을 말한다. 만일 긍정적인 사실이 데이터 베이스에 명확하게 표현되지 않는다면 그 부정이 참이라고 전제된다. 따라서 A 도시에서 B 도시로의 비행기 운행에 관한 정보가 없다면 그런 비행은 존재하지 않는다. 즉 반대되는 정보가 없다면 A 도시로부터 B 도시로의 비행기 운행은 없다고 가정

(보관된 자료가 없습니다)