Рекомендуемая литература. Упражнения.
Сети зависимостей рассматриваются в работе [Charniak et al., 1987].
Статьи [De Kleer, 1986] и [Doyle, 1979] довольно сложные для неподготовленного читателя, а потому я бы посоветовал начинать углубленное изучение этой темы с работы [Forbus and De Kleer, 1993]. В этой же книге вы найдете и листинги множества программ, которые демонстрируют использование описанных в ней методов.
Читатели, интересующиеся теоретическим обоснованием методов отслеживания истинности предположений, могут найти много интересного для себя в книге [Ginsberg, 1987] и сборнике статей [Martins and Reinfrank, 1991].
Упражнения
Упражнение 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. Какие варианты сред для этого множества обоснований при таких допущениях будут непротиворечивыми?