Предположение о закрытом мире
-
Основы предположения о замкнутом мире
- Утверждение о том, что истинное утверждение также известно как истинное.
- Противоположность предположению о замкнутом мире — предположение об открытом мире.
-
Применение в управлении знаниями
- Используется в ситуациях, когда база знаний считается полной или когда требуется однозначный ответ на основе неполной информации.
- Пример: в базе данных с редакторами, запрос о тех, кто не редактировал статью, возвращает «Сара Джонсон» в предположении о замкнутом мире.
-
Формализация в логике
- Первая формализация включает добавление отрицания литералов, не вытекающих из базы знаний.
- В случае базы знаний в форме Horn, добавление отрицания всегда согласовано, но в противном случае согласованность не гарантирована.
- Альтернативные формализации избегают проблемы несогласованности.
-
Сложность и применение
- Проверка истинности утверждения в предположении о замкнутом мире обычно находится на втором уровне полиномиальной иерархии.
- Проверка на несогласованность требует не более логарифмического числа обращений к NP-оракулу.
- В ситуациях, когда не все предикаты замкнуты, можно использовать предположение о частично замкнутом мире.