오픈 월드 가정

지식표현에 사용되는 논리학의 형식 체계에서, 개방적 가정은 진술의 진가가 사실인지 여부에 관계 없이 진실일 수 있다는 가정이다.그것은 사실인 어떤 진술도 사실로 알려져 있다는 폐쇄적인 세계 가정과는 정반대다.개방적인 가정은 고대 그리스 철학자들이 창시 당시 제안된 수학적, 철학적 개념들 사이의 다양한 타당성을 설명하기 위한 수단으로 처음 개발되었다.

개방형 가정(OWA)은 일반적으로 단일 대리인이나 관찰자가 완전한 지식을 갖고 있지 않으므로 폐쇄형 가정은 할 수 없다는 비공식적 개념을 규정한다.OWA는 대리인이 할 수 있는 추론과 추론의 종류를 대리인에게 알려진 진술로부터 따르는 것으로 제한한다.이와는 대조적으로, 폐쇄적인 세계 가정은 대리인이 진술이 진실이라는 것을 알지 못하는 것에서 그 진술이 거짓이라는 것을 추론할 수 있게 한다.

경험적으로, 개방적 가정은 우리가 발견한 시스템 내에서 지식을 대표할 때 적용되며, 우리가 완전한 정보를 발견했거나 발견하게 될 것이라고 보장할 수 없는 경우에 적용된다.OWA에서, 시스템에 명시적으로 기록된 지식으로부터 포함되거나 추론되지 않은 지식들에 대한 진술은 틀리거나 거짓이 아닌 미지의 것으로 간주될 수 있다.

OWL과 같은 시맨틱 웹 언어는 오픈세계를 가정한다.웹 내에 특별한 진술이 없다는 것은 원칙적으로 진술이 아직 명시적으로 이루어지지 않았다는 것을 의미하며, 그 진술이 사실인지 아닌지에 관계없이, 그리고 우리가 그것이 사실인지 아닌지에 상관없이 말이다.본질적으로, 진술이 없는 것만으로 연역적 사유자는 그 진술이 거짓이라고 추론할 수 없다(그렇지 않아야 한다).

많은 절차적 프로그래밍 언어와 데이터베이스는 폐쇄적인 세계를 가정한다.예를 들어, 일반적인 항공사 데이터베이스에 여행자에 대한 좌석 배정이 포함되어 있지 않은 경우, 여행자가 체크인하지 않은 것으로 가정한다.폐쇄형 가정은 일반적으로 시스템이 정보를 완전히 통제할 때 적용된다. 이는 데이터베이스 트랜잭션 시스템이 여러 독립 클라이언트(예: 항공사 예약 대리인)의 중앙 브로커 및 동시 요청의 결정자 역할을 하는 많은 데이터베이스 애플리케이션에서 적용된다.그러나 불완전한 정보를 가진 많은 데이터베이스들이 있다. 예를 들어, 특정 알레르기에 대한 환자의 이력에 대한 언급이 없기 때문에 환자가 그러한 알레르기를 겪지 않는다고 가정할 수 없다.

예

성명: "마리"는 "프랑스"의 시민이다.

질문:.Paul은 프랑스 시민이니? 

"폐쇄된 세계"(예: SQL) 대답: 아니오. "개방된 세계" 대답: 알 수 없음. 

OWA에서는 사실을 도출하지 못하는 것이 그 반대라는 것을 의미하지는 않는다.예를 들어, 우리가 메리가 프랑스 시민이라는 것만 안다고 가정하자.이 정보로부터 우리는 폴이 프랑스 시민이 아니라고 단정할 수도 없고, 그가 프랑스 시민이라고 단정할 수도 없다.그러므로 우리는 세상에 대한 우리의 지식이 불완전하다는 사실을 인정한다.오픈 월드 가정은 1차 논리의 단조로운 성격과 밀접하게 관련되어 있다: 새로운 정보를 추가하는 것은 결코 이전의 결론을 왜곡하지 않는다.즉, 폴이 프랑스 시민이라는 것을 나중에 알게 된다면, 이것은 이전에 어떠한 긍정적이거나 부정적인 결론도 바꾸지 않는다.

강한 부정이 있는 논리 프로그램의 언어는 일부 진술에 대해 폐쇄적인 세계 가정을 가정하고 다른 진술은 개방적인 가정 영역에 남겨둘 수 있게 해준다.^[1]

OWA와 CWA 사이의 중간 접지는 다음에 의해 제공된다.부분 폐쇄적 세계 가정(PCWA).PCWA에 따르면, 지식 기반은 일반적으로 개방형 의미론에서 다루어지지만, 완전한 주장을 통해 폐쇄형 의미론에서 다루어져야 할 부분을 주장할 수 있다.PCWA는 특히 개방된 영역으로 인해 CWA가 적용되지 않는 상황에 필요하지만 OWA는 어떤 것이든 사실일 수 있도록 허용하는 데 너무 신빙성이 있다.^[2][3]

참고 항목

• 폐쇄계 가정
• 고유 이름 가정

참조