Представление знаний
Представление знаний: принципы и методы
В главе 2 отмечалось, что большинство исследователей весьма скептически относятся к возможности использования в прикладных системах таких методик поиска решений проблем, как "порождение и проверка" и "восхождение на гору".Планировщик STRIPS
Программа STRIPS [Fikes and Nilsson, 1971] демонстрирует один из подходов к представлению проблем. Наименование программы – аббревиатура от Stanford Research Institute Problem Solver (решатель проблем Станфордского исследовательского института).Таблицы операторов и методика "средство – анализ завершения"
Допустимые операции, такие как перемещение робота из одной комнаты в другую или проталкивание объектов, кодируются в таблице операторов. Ниже показан элемент этой таблицы, соответствующий операции push (толкать): | push(X, Y, Z) | Предварительные условия at(poбoт, Y), at(X, Y)Анализ метода представления и управления в STRIPS
Для того чтобы яснее представить себе достоинства метода представления, использованного в системе STRIPS, рассмотрим альтернативный метод.Формулировка подцелей в MYGIN. Лечение заболеваний крови.
По сравнению с STRIPTS, программа MYCIN менее однородна и включает в свой состав множество различных модулей. Однако в структуре управления программой MYCIN можно найти элементы, в определенной мере схожие с элементами STRIPS.База знаний системы MYCIN
База знаний системы MYCIN организована в виде множества правил в форме: | если условие1 и… и условие2 удовлетворяются, то прийти к заключению1 и… и к заключению n. | Эти правила преобразованы в операторы языка LISP (подробнее о программировании базы знаний рассказано в главе 4).Структуры управления в MYCIN
Целевое правило самого верхнего уровня в системе MYCIN можно сформулировать примерно так: | ЕСЛИ | 1) существует микроорганизм, который требует проведения курса терапии, и | 2) заданы соображения относительно любых других микроорганизмов, | которые требуют проведения курса терапии, | ТО сформировать список возможных курсов терапии и выделить наилучший из них.Оценка и сравнение характеристик экспертных систем. Оценка системы MYCIN.
Существует множество способов оценки или сравнения характеристик экспертных систем, но наиболее распространенный – сравнение полученных с их помощью результатов с теми, которые получает человек-эксперт.Сравнение MYCIN и STRIPS
Возвращаясь вновь к системе STRIPS, отметим, что, как показывает опыт работы с этой программой, она способна решать только самые простенькие проблемы. Сложности появляются при самых разных обстоятельствах. Вот только два примера.Рекомендуемая литература. Упражнения.
Идеи планирования операций, положенные в основу функционирования системы STRIPS, рассматриваются во множестве книг, посвященных проблематике искусственного интеллекта (например, [Givan and Dean, 1997]).