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

Отношение родительродителя выраженное через композицию двух отношений родитель



Рисунок 1. 2.   Отношение родительродителя, выраженное через композицию двух отношений родитель.


Наш составной вопрос можно интерпретировать и так: "Найти X и Y, удовлетворяющие следующим двум требованиям":

        родитель ( Y, джим)  и   родитель( X, У)

Если мы поменяем порядок этих двух требований, то логический смысл останется прежним:

        родитель ( X, Y)   и   родитель ( Y, джим)

Этот вопрос можно задать нашей пролог-системе и в такой форме:

        ?-  родитель( X, Y), родитель( Y, джим).

При этом результат будет тем же. Таким же образом можно спросить: "Кто внуки Тома?"

        ?-  родитель( том, X), родитель( X, Y).

Система ответит так:

        X  =  боб


        Y  =  энн;

        X  =  боб
        Y  =  пат

Следующим вопросом мог бы быть такой: "Есть ли у Энн и Пат общий родитель?" Его тоже можно выразить в два этапа:

        (1)    Какой X является родителем Энн?
        (2)    Является ли (тот же) X родителем Пат?

Соответствующий запрос к пролог-системе будет тогда выглядеть так:

        ?-  родитель( X, энн), родитель( X, пат).

Ответ:

        X  =  боб

Наша программа-пример помогла проиллюстрировать некоторые важные моменты:

  • На Прологе легко определить отношение, подобное отношению родитель, указав n-ку объектов, для которых это отношение выполняется.
  • Пользователь может легко задавать пролог-системе вопросы, касающиеся отношений, определенных в программе.
  • Пролог-программа состоит из предложений. Каждое предложение заканчивается точкой.
  • Аргументы отношения могут быть (среди прочего): конкретными объектами, или константами (такими, как том и энн), или абстрактными объектами, такими, как X и Y. Объекты первого типа называются атомами. Объекты второго типа - переменными.
  • Вопросы к системе состоят из одного или более целевых утверждений (или кратко целей). Последовательность целей, такая как

            родитель( X, энн), родитель( X, пат)

    означает конъюнкцию этих целевых утверждений:

            X  -  родитель Энн   и
            X  -  родитель Пат.

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



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