Упражнения

1. Как вы понимаете смысл термина "релаксация" по отношению к сетям зависимостей?

2. Поясните отличие между монотонным и немонотонным пересмотром.

3. Если ({},{¬^р}) является причиной для и ({},{->р}) — причиной для q, что произойдет с р и q, если добавить ¬р в базу данных немонотонной системы отслеживания истинности?

4. Если ({<?},{}) является причиной для р и ({},{q})— причиной для q, что произойдет с р и q, если добавить ¬^q в базу данных немонотонной системы отслеживания истинности?

5. Заполните значения истинности г в структуре поддержки системы Мак-Аллестера, представленной на рис. 19.7.

Рис. 19.7. Структура представления связей между высказываниями для упр. 5

6. Рассмотрите набор обоснования для системы отслеживания истинности предположений, основанной на анализе допущений:

р^ qr

¬р^qs

р^¬qt

¬p^¬qu

7. Положим, что существуют четыре возможных допущения, которые можно использовать по отдельности или в сочетании друг с другом: р, —р, q и —q. Какие варианты сред для этого множества обоснований при таких допущениях будут непротиворечивыми?