Пересмотр убеждений
-
Основы теории баз знаний
- Базы знаний — это системы, которые хранят и обрабатывают информацию о мире.
- Они могут быть дедуктивно замкнутыми или недедуктивно замкнутыми.
- Дедуктивно замкнутые базы знаний включают все следствия из основных убеждений.
- Недедуктивно замкнутые базы знаний не включают все следствия, а только основные убеждения.
-
Операторы пересмотра
- Операторы пересмотра изменяют убеждения в базах знаний.
- Они могут удалять убеждения или изменять их значения.
- Существуют различные операторы пересмотра, включая фундаменталистские и когерентные.
-
Проблема согласованности
- Фундаменталистский подход к пересмотру требует удаления всех производных убеждений при изменении основного.
- Когерентный подход фокусируется на поддержании согласованности между всеми убеждениями.
-
Модели пересмотра
- Пересмотр может быть основан на множестве моделей, а не на базе знаний.
- Существуют различные подходы к пересмотру на основе моделей, включая предложения Winslett, Forbus и других.
-
Повторный пересмотр
- Повторный пересмотр касается изменения порядка предпочтений в ответ на изменения в базе знаний.
- Постулаты AGM позволяют упорядочивать предпочтения, но не связывают их с конкретными базами знаний.
- Итерационный пересмотр направлен на изменение порядка предпочтений в ответ на изучение новых убеждений.
-
Операторы итерационного пересмотра
- Различные операторы итерационного пересмотра были предложены различными исследователями.
- Уильямс предложил общий оператор итерационной ревизии.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.