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