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