Предположение об открытости мира

Предположение об открытости мира

Предположение об открытости мира, (ПОМ) — предположение в формальной логике о том, что истинность утверждения не зависит от того, «известно» ли какому-либо наблюдателю или агенту о верности данного утверждения.

Оно противоположно предположению о замкнутости мира, из которого следует, что ложно любое утверждение, о котором не известно, что оно верно.

Описание

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

Как эвристика, ПОМ применяется, когда мы представляем знание в пределах системы, поскольку мы обнаруживаем это, и в то же время не можем гарантировать, что мы обнаружили или обнаружим полную информацию. При ПОМ, утверждения о знании, которые не включены или выведены из знания, явно зарегистрированного в системе, можно считать неизвестными, а не неправильными или ложными.

Языки семантической паутины, такие, как RDF(S) и OWL используют предположение об открытости мира. Отсутствие специфического утверждения в пределах веба означает, в принципе, что утверждение явно еще не было сделано, независимо того, было бы оно верным или нет, и независимо того, верим ли мы (или поверили бы), что это (или была бы), правдой или ложью. В основном, только от отсутствия утверждения, дедуктивный рассуждатель не может (и не должен) выводить, что утверждение ложно.

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

Примеры

Утверждение: «Мэри» «является гражданкой» «Франции»

Вопрос: Действительно ли Paul — гражданин Франции?

Ответ «Закрытого мира» (например SQL): Нет.

Ответ «Открытого мира»: неизвестно.

Литература


Wikimedia Foundation. 2010.

Смотреть что такое "Предположение об открытости мира" в других словарях:

  • Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

  • Модернизация — (Modernization) Модернизация это процесс изменения чего либо в соответствии с требованиями современности, переход к более совершенным условиям, с помощью ввода разных новых обновлений Теория модернизации, типы модернизации, органическая… …   Энциклопедия инвестора

  • ИОАНН ФИЛОПОН — [Грамматик; греч. ᾿Ιωάννης ὁ Θιλόπονος, ᾿Ιωάννης ὁ γραμματικός] (ок. 490, Александрия (?) ок. 575), александрийский ученый, философ, богослов монофизит. Жизнь Сохранившиеся в истории сведения об И. Ф. отрывочны и противоречивы. Помимо… …   Православная энциклопедия

  • Мировая экономика — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей …   Википедия

  • ГРИГОРИЙ ПАЛАМА — [Греч. Γρηγόριος Παλαμᾶς] (ок. 1296, К поль 14.11.1357, Фессалоника), свт. (пам. 14 нояб., переходящее празд. во 2 ю Неделю Великого поста), архиеп. Фессалоникийский, отец и учитель Церкви. Жизнь Источники Свт. Григорий Палама. Икона. Посл. треть …   Православная энциклопедия

  • Мировая экономика — (World Economy) Мировая экономика это совокупность национальных хозяйств, объединенных различными видами связей Становление и этапы развития мировой экономики, ее структура и формы, мировой экономический кризис и тенденции дальнейшего развития… …   Энциклопедия инвестора

  • Торговый баланс — (Trade balance) Торговый баланс это экономический показатель, отражающий соотношение между экспортом и импортом страны Торговый баланс страны, активный и пассивный торговый баланс, сальдо торгового баланса, роль торгового баланса в экономике… …   Энциклопедия инвестора

  • Вселенная X — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия

  • ВАРСОНОФИЙ ВЕЛИКИЙ — Прп. Варсонофий Великий. Икона XX в. Прп. Варсонофий Великий. Икона XX в. [Варсануфий; греч. Βαρσανούφιος] († сер. VI в.), прп. (пам. 6 февр., пам. зап. 11 апр.), подвижник, аскетический писатель. Происходил из Египта. Согласно Д. Читти, имя… …   Православная энциклопедия

  • Эктоплазма (мистика) — У этого термина существуют и другие значения, см. Эктоплазма. Медиум Флоренс Кук без сознания полулежит, опершись на кресло. Из выделяемой её телом эктоплазмы возникает недооформленный фантом сущности по имени «Кэти Кинг». Снимок профессора У.… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»