Как вы понимаете смысл термина

Упражнения

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

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

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

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

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