개방 세계 가정
1. 개요
개방 세계 가정(Open World Assumption, OWA)은 단일 에이전트나 관찰자가 완전한 지식을 가질 수 없으므로 폐세계 가설을 할 수 없다는 개념을 형식화한다. 개방 세계 가정은 에이전트가 사실이라고 알려진 진술을 기반으로 수행할 수 있는 추론 및 추론의 종류를 제한한다. 시스템 내에서 지식을 표현할 때 완전한 정보를 발견했거나 발견할 것이라고 보장할 수 없는 경우에 적용되며, 명시적으로 기록되지 않거나 추론되지 않은 지식에 대한 진술은 알려지지 않은 것으로 간주한다.
| 정의 | 지식 표현에서 참으로 간주되지 않는 모든 것은 거짓이라고 가정하는 것 |
|---|---|
| 설명 | 폐쇄 세계 가정의 반대 |
| 사용 분야 | 데이터베이스 지식 표현 및 추론 시맨틱 웹 |
| 정보의 부재 | 정보가 없다는 것이 반드시 '거짓'을 의미하지 않음 |
|---|---|
| 추론 | 알려진 정보만으로 결론을 내릴 수 없을 때 유용 |
| 불완전한 지식 | 불완전한 지식베이스를 다룰 때 적합 |
| 항공편 예약 시스템 | 대한항공이 런던에서 뉴욕으로 가는 항공편을 제공하지 않는다는 정보가 없다면, 실제로 항공편이 존재하지 않는다는 결론을 내릴 수 없음 |
|---|
| 관련 개념 | 폐쇄 세계 가정 지식 표현 데이터베이스 |
|---|
-
논리 프로그래밍 -
자동 정리 증명
자동 정리 증명은 논리적 진술의 타당성을 자동으로 확인하는 기술로서, 형식 논리 발전과 컴퓨터 등장 이후 다양한 논리를 지원하며 여러 분야에 응용되고, 관련 연구와 시스템 개발이 활발히 진행되고 있다. -
논리 프로그래밍 -
논리형 프로그래밍
논리형 프로그래밍은 수학적 논리에 기반하여 사실과 규칙들의 모음으로 프로그램을 구성, 문제 해결을 위한 추론 과정을 정의하는 프로그래밍 패러다임이다. -
지식 표현 -
시소러스
시소러스는 특정 단어나 개념의 유의어, 상위어, 하위어를 모아놓은 사전으로, 어휘의 의미 관계를 보여주며 글쓰기, 번역 등 다양한 분야에 활용된다. -
지식 표현 -
시맨틱 네트워크
시맨틱 네트워크는 개념 간의 관계를 표현하는 지식 표현 방법으로, 노드와 링크를 사용하여 지식을 구조화하며 인공지능, 언어학 등 다양한 분야에서 활용된다.
2. 기원
개방형 가정은 고대 그리스 철학자들이 처음 제안했을 당시 제안된 수학적, 철학적 개념들 사이의 다양한 타당성을 설명하기 위한 수단으로 처음 개발되었다.
3. 논리적 의미
개방 세계 가정은 단일 에이전트나 관찰자가 완전한 지식을 가질 수 없으므로 폐세계 가설을 할 수 없다는 개념을 형식화한다. 개방 세계 가정(OWA)은 에이전트가 사실이라고 알려진 진술을 바탕으로 수행할 수 있는 추론 및 추론의 종류를 제한한다. 반면, 폐세계 가설은 에이전트가 진술이 참이라는 지식 부족을 이용하여 진술이 거짓이라고 추론할 수 있게 한다.
개방형 가정은 시스템 내에서 지식을 표현할 때 적용되며, 완전한 정보를 발견했거나 발견할 것이라고 보장할 수 없는 경우에 적용된다. 개방 세계 가정에서 시스템에 명시적으로 기록된 지식에 포함되지 않거나 추론되지 않은 지식에 대한 진술은 잘못되었거나 거짓이 아닌 알려지지 않은 것으로 간주될 수 있다.