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




Правила типа "если-то" для представления знаний - часть 5


line();

Рис. 14. 4.  Правило уточнения плана из системы  AL3
для решения шахматных задач  (Bratko  1982).

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

line();

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

:- ор( 100, xfx, [имеет, 'кормит детенышей',
                                'не может', ест, откладывает, это]).

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

прав1:        если
                        Животное имеет шерсть
                        или
                        Животное 'кормит детенышей' молоком
                   то
                        Животное это млекопитающее.
прав2:        если
                        Животное имеет перья



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