Предположение об открытом мире - Open-world assumption

В формальная система логики используется для представление знаний, то предположение об открытом мире это предположение, что значение истины из утверждение может быть правдой, независимо от того, так ли это известен быть правдой. Это противоположность предположение о замкнутом мире, который утверждает, что любое истинное утверждение также известно как истинное.

Предположение об открытом мире (OWA) кодифицирует неформальное представление о том, что в целом ни один агент или наблюдатель не имеет полного знания и, следовательно, не может сделать предположение о закрытом мире. OWA ограничивает типы выводов и выводов, которые может сделать агент, теми, которые следуют из утверждений, которые известны агенту как истинные. Напротив, предположение о замкнутом мире позволяет агенту сделать вывод из того, что он не знает об истинности утверждения, что-либо, что следует из это утверждение ложно.

С эвристической точки зрения предположение об открытом мире применяется, когда мы представляем знания в системе в том виде, в котором мы их открываем, и когда мы не можем гарантировать, что мы обнаружили или откроем полную информацию. В OWA утверждения о знаниях, которые не включены или не вытекают из знаний, явно записанных в системе, могут считаться неизвестными, а не неправильными или ложными.

Семантическая сеть языки, такие как СОВА сделайте предположение об открытом мире. Отсутствие конкретного утверждения в сети означает, в принципе, что это утверждение еще не было сделано явно, независимо от того, было ли оно правдой или нет, и независимо от того, верим мы в это или нет. В сущности, только из-за отсутствия утверждения дедуктивный рассуждающий не может (и не должен) делать вывод о том, что утверждение ложно.

Много процедурные языки программирования и базы данных сделать предположение о замкнутом мире. Например, если типичная база данных авиакомпаний не содержит назначения мест для путешественника, предполагается, что этот путешественник не зарегистрировался. Предположение о закрытом мире обычно применяется, когда система полностью контролирует информацию; так обстоит дело со многими приложениями баз данных, где транзакция базы данных Система действует как центральный брокер и арбитр одновременных запросов нескольких независимых клиентов (например, агентов по бронированию авиабилетов). Однако существует множество баз данных с неполной информацией: например, нельзя предположить, что, поскольку в истории болезни пациента нет упоминания о конкретной аллергии, пациент не страдает этой аллергией.

Пример

 Заявление: «Мэри» является гражданином «Франции».
 Вопрос: Поль является гражданином Франции?
 Ответ «Закрытый мир» (например, SQL): Нет. Ответ «Открытый мир»: Неизвестно.

Согласно OWA невозможность установить факт не означает обратного. Например, предположим, что нам известно только то, что Мэри - гражданка Франции. Из этой информации мы не можем сделать вывод ни о том, что Поль не является гражданином Франции, ни о том, что он им является. Следовательно, мы признаем тот факт, что наши знания о мире неполны. Предположение об открытом мире тесно связано с монотонный природа логика первого порядка: добавление новой информации никогда не искажает предыдущий вывод. А именно, если впоследствии мы узнаем, что Поль также является гражданином Франции, это не изменит никаких ранее положительных или отрицательных выводов.

Язык логических программ с сильное отрицание позволяет нам постулировать предположение о закрытом мире для некоторых утверждений и оставить другие утверждения в области предположения об открытом мире.[1]

Промежуточное звено между OWA и CWA обеспечивается предположение о частично замкнутом мире (PCWA). В рамках PCWA база знаний обычно рассматривается в рамках семантики открытого мира, однако можно утверждать части, которые должны рассматриваться в рамках семантики закрытого мира, посредством утверждений полноты. PCWA особенно необходим в ситуациях, когда CWA неприменим из-за открытого домена, но OWA слишком доверчиво допускает, чтобы что-либо могло быть правдой.[2][3]

Смотрите также

Рекомендации

  1. ^ Рассел, Стюарт Дж .; Норвиг, Питер (2010). Искусственный интеллект: современный подход (3-е изд.). Река Верхнее Седл: Prentice Hall.
  2. ^ Мотро, 1989 (1989). «Целостность = Действительность + Полнота». Цитировать журнал требует | журнал = (помощь)CS1 maint: числовые имена: список авторов (связь)
  3. ^ Разневский, Симон; Савкович, Огнен; Натт, Вернер (2015). «Переворачивание предположения о частично закрытом мире с ног на голову» (PDF). Цитировать журнал требует | журнал = (помощь)