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


         

Проделаем теперь еще один эксперимент


Проделаем теперь еще один эксперимент со второй версией нашей программы. Предположим, мы задаем вопрос:

        ?-  f( 7, Y).

        Y = 4

Проанализируем, что произошло. Перед тем, как был получен ответ, система пробовала применить все три правила. Эти попытки породили следующую последовательность целей:

Попытка применить правило 1:

    7  <  3  терпит неудачу, происходит возврат, и попытка применить правило 2 (точка отсечения достигнута не была)

Попытка применить правило 2:

    3  <=  7  успех, но  7  <   6  терпит неудачу; возврат и попытка применить правило 3 (точка отсечения снова не достигнута)

Попытка применить правило 3:

    6  <=  7  - успех

Приведенные этапы вычисления обнаруживают еще один источник неэффективности. В начале выясняется, что  X  <  3  не является истиной  (7  <  3  терпит неудачу). Следующая цель -   3 =< Х    (3  <=  7- успех).  Но нам известно, что, если первая проверка неуспешна, то вторая обязательно будет успешной, так как второе целевое утверждение является отрицанием первого. Следовательно, вторая проверка лишняя и соответствующую цель можно опустить. То же самое верно и для цели  6 =< Х  в правиле 3. Все эти соображения приводят к следующей, более экономной формулировке наших трех правил:

        если  Х < 3,  то  Y = 0

        иначе, если  3 <= X   и  Х < 6,  то  Y = 2,

        иначе  Y = 4.

Теперь мы можем опустить в нашей программе те условия, которые обязательно выполняются при любом вычислении. Получается третья версия программы:

        f( X, 0) :- X < 3,  !.


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