17.3.3.
Языки логического программирования экспертных систем
Встроенный в PROLOG режим управления приблизительно соответствует стратегии обратного логического вывода, которая используется в системах, подобных MYCIN. Таблицы знаний и другие данные можно представить с помощью утверждений. Рекурсивные структуры данных — графы и деревья — можно организовать с помощью фраз языка PROLOG, которые содержат комплексные термы. Языковые средства PROLOG позволят программисту разработать собственный механизм обработки неопределенности, причем не исключается и использование коэффициентов уверенности.
С практической точки зрения, пользуясь языком PROLOG, программист в качестве "бесплатного приложения" получает в свое распоряжение следующие возможности:
- индексированную
базу данных фраз, которые можно использовать для представления правил,
процедур или данных;
- универсальный механизм
сопоставления, который позволяет выполнять сопоставление данных и шаблонов,
включающих переменные, и возвращать подстановку, которая может обеспечить
их совпадение;
- стратегию управления
(поиск в глубину — depth-first search), основанную на правилах нисходящего
поиска (фразы, которые размещены в базе данных ближе к "голове",
обрабатываются первыми) и вычислении слева направо (подцели обрабатываются
в том порядке, в котором они перечислены в списке).
Успешный опыт применения идей логического программирования, в частности создание программы МЕСНО (см. главу 11), продемонстрировал ряд явных отклонений от синтаксиса исчисления предикатов первого порядка и его процедурной интерпретации в стандартной версии PROLOG. Некоторые семантические и синтаксические ограничения в программах МЕСНО и PLANNER до сих пор не преодолены в системах, базирующихся на языках логического программирования.
Назад | Содержание | Вперед |