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