В формальной системе логики , используемой для представления знаний , то открытый мир предположение является предположение о том, что значение истинности из заявления может быть правдой , независимо от того, является ли оно или нет известно , чтобы быть правдой. Это противоположно предположению о замкнутом мире , согласно которому любое истинное утверждение также известно как истинное.
Предположение об открытом мире (OWA) кодифицирует неформальное представление о том, что в целом ни один агент или наблюдатель не обладает полным знанием и, следовательно, не может сделать предположение о закрытом мире. OWA ограничивает типы выводов и выводов, которые может сделать агент, теми, которые следуют из утверждений, которые известны агенту как истинные. Напротив, допущение о закрытом мире позволяет агенту сделать вывод из того, что он не знает об истинности утверждения, что все, что следует из этого утверждения, является ложным.
С эвристической точки зрения предположение об открытом мире применяется, когда мы представляем знания в системе в том виде, в каком мы их открываем, и когда мы не можем гарантировать, что мы обнаружили или откроем полную информацию. В OWA утверждения о знаниях, которые не включены или не вытекают из знаний, явно записанных в системе, могут считаться неизвестными, а не неправильными или ложными.
Языки семантической паутины, такие как OWL, делают предположение об открытом мире. Отсутствие определенного утверждения в сети в принципе означает, что это утверждение еще не было сделано явно, независимо от того, было ли оно правдой или нет, и независимо от того, верим мы в это или нет. По сути, только из-за отсутствия утверждения дедуктивный рассуждающий не может (и не должен) делать вывод о том, что утверждение ложно.
Многие процедурные языки программирования и базы данных исходят из предположения о замкнутом мире. Например, если типичная база данных авиакомпаний не содержит назначения мест для путешественника, предполагается, что путешественник не зарегистрировался. Предположение о закрытом мире обычно применяется, когда система полностью контролирует информацию; Так обстоит дело со многими приложениями баз данных, где система транзакций базы данных действует как центральный брокер и арбитр одновременных запросов от нескольких независимых клиентов (например, агентов по бронированию авиабилетов). Однако существует множество баз данных с неполной информацией: например, нельзя предположить, что, поскольку в истории болезни пациента нет упоминания о конкретной аллергии, пациент не страдает этой аллергией.
Пример
Утверждение: «Мэри» является гражданином «Франции».
Вопрос: Поль является гражданином Франции?
«Закрытый мир» (например, SQL) ответ: Нет. Ответ «открытого мира»: Неизвестно.
Согласно OWA невозможность установить факт не означает обратного. Например, предположим, что нам известно только то, что Мэри - гражданка Франции. Из этой информации мы не можем сделать вывод ни о том, что Поль не является гражданином Франции, ни о том, что он им является. Таким образом, мы признаем тот факт, что наши знания о мире неполны. Предположение об открытом мире тесно связано с монотонной природой логики первого порядка : добавление новой информации никогда не искажает предыдущий вывод. А именно, если мы впоследствии узнаем, что Поль также является гражданином Франции, это не изменит ни положительных, ни отрицательных выводов, сделанных ранее.
Язык логических программ с сильным отрицанием позволяет нам постулировать предположение о закрытом мире для некоторых утверждений и оставить другие утверждения в области предположения об открытом мире. [1]
Промежуточное звено между OWA и CWA обеспечивается Предположение о частичном замкнутом мире (PCWA). В рамках PCWA база знаний обычно рассматривается в рамках семантики открытого мира, однако можно утверждать части, которые следует рассматривать в рамках семантики закрытого мира, посредством утверждений полноты. PCWA особенно необходим в ситуациях, когда CWA неприменим из-за открытого домена, но OWA слишком доверчиво допускает, чтобы что-либо могло быть правдой. [2] [3]
Смотрите также
Рекомендации
- ^ Рассел, Стюарт Дж .; Норвиг, Питер (2010). Искусственный интеллект: современный подход (3-е изд.). Река Верхнее Седл: Зал Прентис.
- ^ Motro, 1989 (1989). «Целостность = Действительность + Полнота». Цитировать журнал требует
|journal=
( помощь )CS1 maint: числовые имена: список авторов ( ссылка ) - ^ Разневский, Симон; Савкович, Огнен; Натт, Вернер (2015). «Переворачивание предположения о частично замкнутом мире с ног на голову» (PDF) . Цитировать журнал требует
|journal=
( помощь )