Closed World Assumption

닫힌 세계 가정 : Robert W. Sebesta : .... Prolog 해 도출의 특성은 때때로 잘못된 결과를 생성한다. Prolog 에 관한 한 진리는 Prolog 의 데이터베이스를 사용하여 증명된 진리다. Prolog 는 데이터베이스 이외에 실세계의 지식은 없다. 데이터베이스에 충분한 정보가 없는 질의는 절대적으로 거짓이라고 가정한다. Prolog 는 주어진 목적이 참인 것을 증명할 수 있지만, 주어진 목적이 거짓인 것을 증명할 수 없다. Prolog 는 목적이 참이라고 증명할 수 없기 때문에 목적이 거짓임에 틀림없다고 간단하게 가정한다. 본질적으로, Prolog 는 참/거짓 시스템이 아니라 참/실패 시스템이다.

실제적으로 닫힌 세계 가정 (closed world assumption) 은 여러분에게 전혀 낯선 것은 아니다. 우리의 사법 시스템도 동일하게 동작한다. 용의자는 유죄로 증명될 때까지 무죄이다. 그들은 무죄라고 증명할 필요가 없다. 만약 재판이 어떤 사람이 유죄라고 증명하지 못하면, 용의자는 무죄로 인정된다.