Упражнения
1.
Как вы понимаете смысл термина "релаксация" по отношению к сетям зависимостей?
2.
Поясните отличие между монотонным и немонотонным пересмотром.
3. Если ({},{¬^р})
является причиной для и ({},{->р}) — причиной для q, что
произойдет с р и q, если добавить ¬р в базу данных немонотонной
системы отслеживания истинности?
4.
Если ({<?},{}) является причиной для р и ({},{q})— причиной для
q, что произойдет с р и q, если добавить ¬^q в базу данных
немонотонной системы отслеживания истинности?
5. Заполните значения истинности
г в структуре поддержки системы Мак-Аллестера, представленной на рис. 19.7.
Рис.
19.7. Структура представления связей между высказываниями для упр. 5
6. Рассмотрите набор обоснования
для системы отслеживания истинности предположений, основанной на анализе допущений:
р^
q
r
¬р^q
s
р^¬q
t
¬p^¬q
u
7. Положим, что существуют четыре возможных допущения, которые можно использовать по отдельности или в сочетании друг с другом: р, —р, q и —q. Какие варианты сред для этого множества обоснований при таких допущениях будут непротиворечивыми?
| Maya 3D графика в кино и телевидении Воздействие испытаний ядерного оружия на здоровье населения Объектно-ориентированный язык программирования Java Объектно-ориентированное программирование Delphi Библиотека визуальных компонентов VCL и ее базовые классы Кроссплатформенное программирование для Linux Элементы управления Win32 Элементы управления Windows XP Файлы и устройства ввода/вывода Что такое экспертная система? Объектно-ориентированное программирование Инструментальные средства разработки экспертных систем Программирование на языке CLIPS Критерии и количественные характеристики надежности Расчет характеристик надежности невостанавливаемых резервированных изделий Расчет надежности системы с постоянным резервированием Интегрирование тригонометрических функций ; |