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

       

В терминах образцов принцип резолюции


Программа работает с дизъюнктами, записанными в базе данных. В терминах образцов принцип резолюции формулируется следующим образом:

        если

                        существуют два таких дизъюнкта  С1  и  С2,   что

                        P   является (дизъюнктивным) подвыражением  С1,

                        а   ~Р  -  подвыражением  С2

        то

                        удалить   Р  из  С1  (результат -  СА),   удалить  ~Р

                        из   С2  (результат -  СВ)  и добавить в базу

                        данных новый дизъюнкт  СА  v  СВ.

На нашем формальном языке это можно записать так:

        [ дизъюнкт( С1), удалить( Р, Cl, CA),

          дизъюнкт( С2), удалить( ~Р, С2, СВ) ] --->

        [ assert( дизъюнкт( СА v СВ) ) ].


Это правило нуждается в небольшой доработке. Дело в том, что мы не должны допускать повторных взаимодействий между дизъюнктами, так как они порождают новые копии уже существующих формул. Для этого в программе рис. 16.7 предусматривается запись в базу данных информации об уже произведенных взаимодействиях в форме утверждений вида


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







Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий