Программирование на языке Пролог для искусственного интеллекта

       

Все шаги достижения цели предок( том пат) Правая ветвь демонстрирует что цель достижима



Рисунок 1. 11.  Все шаги достижения цели предок( том, пат). Правая
ветвь демонстрирует, что цель достижима.


Графическое представление шагов вычисления на Рисунок 1.11 имеет форму дерева. Вершины дерева соответствуют целям или спискам целей, которые требуется достичь. Дуги между вершинами соответствуют применению (альтернативных) предложений программы, которые преобразуют цель, соответствующую одной вершине, в цель, соответствующую другой вершине. Корневая (верхняя) цель достигается тогда, когда находится путь от корня дерева (верхней вершины) к его листу, помеченному меткой "да". Лист помечается меткой "да", если он представляет собой простой факт. Выполнение пролог-программы состоит в поиске таких путей. В процессе такого поиска система может входить и в ветви, приводящие к неуспеху. В тот момент, когда она обнаруживает, что ветвь не приводит к успеху, происходит автоматический возврат к предыдущей вершине, и далее следует попытка применить к ней альтернативное предложение.



Содержание раздела