В формальной системе логики, используемой для представления знаний , предположение об открытом мире — это предположение о том, что значение истинности утверждения может быть истинным независимо от того, известно ли, что оно истинно. Это противоположно предположению о замкнутом мире , согласно которому любое истинное утверждение также известно как истинное. Предположение об открытом мире было впервые разработано древнегреческими философами как средство объяснения различных степеней обоснованности математических и философских концепций, предложенных во время зарождения.
Предположение об открытом мире (OWA) кодифицирует неформальное представление о том, что в целом ни один агент или наблюдатель не обладает полным знанием и, следовательно, не может сделать предположение о закрытом мире. OWA ограничивает типы выводов и выводов, которые может сделать агент, теми, которые следуют из утверждений, которые известны агенту как истинные. Напротив, предположение о закрытом мире позволяет агенту из незнания того, что утверждение является истинным, сделать вывод, что это утверждение ложно.
С эвристической точки зрения, предположение об открытом мире применяется, когда мы представляем знание в системе по мере того, как мы его обнаруживаем, и когда мы не можем гарантировать, что мы обнаружили или обнаружим полную информацию. В OWA утверждения о знаниях, которые не включены в знания, явно записанные в системе, или не выведены из них, могут считаться неизвестными, а не неправильными или ложными.
Языки семантической сети , такие как OWL , исходят из предположения об открытом мире. Отсутствие определенного утверждения в сети означает, в принципе, что это утверждение еще не было сделано в явном виде, независимо от того, будет оно истинным или нет, и независимо от того, верим ли мы, что оно будет истинным или нет. В сущности, только из отсутствия утверждения дедуктивный рассудок не может (и не должен) заключить, что утверждение ложно.
Многие процедурные языки программирования и базы данных делают предположение о закрытом мире. Например, если типичная база данных авиакомпании не содержит назначенного места для путешественника, предполагается, что путешественник не зарегистрировался. Допущение о замкнутом мире обычно применяется, когда система полностью контролирует информацию; это относится ко многим приложениям баз данных, где транзакция базы данныхсистема действует как центральный посредник и арбитр одновременных запросов от нескольких независимых клиентов (например, агентов по бронированию авиабилетов). Однако существует множество баз данных с неполной информацией: например, нельзя предположить, что, поскольку в истории болезни пациента не упоминается конкретная аллергия, пациент не страдает этой аллергией.
В OWA невозможность установить факт не означает обратного. Например, предположим, что мы знаем только, что Мария является гражданкой Франции. Из этой информации мы не можем сделать вывод ни о том, что Поль не является гражданином Франции, ни о том, что он им является. Поэтому мы признаем тот факт, что наши знания о мире неполны. Предположение об открытом мире тесно связано с монотонной природой логики первого порядка : добавление новой информации никогда не искажает предыдущий вывод. А именно, если мы впоследствии узнаем, что Поль также является гражданином Франции, это не меняет ранее сделанных положительных или отрицательных выводов.