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




Поиск с предпочтением - часть 12


Если найдено решение, то оно и выдается, в противном случае процесс расширения деревьев продолжается.

Предложение, относящееся к случаю

        Дер = л( В, F/G)

порождает всех преемников вершины В

вместе со стоимостями дуг, ведущих в них из В. Процедура преемспис формирует список поддеревьев, соответствующих вершинам-преемникам, а также вычисляет их g-

и f-оценки, как показано на рис. 12.5. Затем полученное таким образом дерево подвергается расширению с учетом ограничения Предел. Если преемников нет, то переменной ЕстьРеш

придается значение "никогда" и в результате лист В покидается навсегда.

Другие отношения:

        после( В, В1, С)

                    В1   -  преемник вершины ВС - стоимость дуги, ведущей из В  в В1.

        h( В, Н)

                                   Н   -  эвристическая оценка стоимости оптимального пути

                                                        из вершины В  в целевую вершину.

        макс_f( Fмакс)

                      Fмакс   -  некоторое значение, задаваемое пользователем,

                                                        про которое известно, что оно больше любой возможной f-оценки.




Содержание  Назад  Вперед