Как вы понимаете смысл термина
Упражнения
1. Как вы понимаете смысл термина "релаксация" по отношению к сетям зависимостей?
2. Поясните отличие между монотонным и немонотонным пересмотром.
3. Если ({},{¬^р}) является причиной для и ({},{->р}) — причиной для q, что произойдет с р и q, если добавить ¬р в базу данных немонотонной системы отслеживания истинности?
4. Если ({<?},{}) является причиной для р и ({},{q})— причиной для q, что произойдет с р и q, если добавить ¬^q в базу данных немонотонной системы отслеживания истинности?
5. Заполните значения истинности г в структуре поддержки системы Мак-Аллестера, представленной на рис. 19.7.
Рис. 19.7. Структура представления связей между высказываниями для упр. 5
6. Рассмотрите набор обоснования для системы отслеживания истинности предположений, основанной на анализе допущений:
р^ q
¬р^q
р^¬q
¬p^¬q
7. Положим, что существуют четыре возможных допущения, которые можно использовать по отдельности или в сочетании друг с другом: р, —р, q и —q. Какие варианты сред для этого множества обоснований при таких допущениях будут непротиворечивыми?
