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


         

это набор простых утверждений, соединенных


line();

Рис. 14. 4.  Правило уточнения плана из системы  AL3

для решения шахматных задач  (Bratko  1982).

Условие - это набор простых утверждений, соединенных между собой операторами  и  и  или.   Мы также разрешим в части условия использовать оператор  не,  хотя и с некоторыми оговорками. При надлежащем прологовском определении этих операторов (как это сделано на рис. 14.5) правила станут синтаксически верными предложениями Пролога. Заметим, что оператор  и  связывает операнды сильнее, чем  или,  что соответствует обычным соглашениям.

line();

% Небольшая база знаний для идентификации животных

:- ор( 100, xfx, [имеет, 'кормит детенышей',

                                'не может', ест, откладывает, это]).


:- ор( 100, xf, [плавает, летает, хорошо]).

прав1:        если

                        Животное имеет шерсть

                        или

                        Животное 'кормит детенышей' молоком

                   то

                        Животное это млекопитающее.

прав2:        если

                        Животное имеет перья

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





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