Prolog

        а - это правда?

В ответ пользователь может спросить:

        почему?

Объяснение в этом случае выглядит примерно так:

        Потому, что

        Я могу использовать    а,

                чтобы проверить по правилу  П_а,  что  b,   и

        Я могу использовать  b,

                чтобы проверить по правилу  П_b,  что  с,   и

        Я могу использовать  с,

                чтобы проверить по правилу  П_c,  что  d,   и

        . . .

        Я могу использовать  y,

                чтобы проверить по правилу  П_y,  что  z,   и

        z - это ваш исходный вопрос.

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

Рис. 14. 8.  Объяснение типа 'почему'. На вопрос 'Почему вас интересует

текущая цель?' дается объяснение в виде цепочки правил и целей,

соединяющей текущую цель с исходным вопросом пользователя,

находящимся в верхушке дерева. Эта цепочка называется трассой.

Будем называть такую цепочку трассой. Трассу можно себе представлять как цепочку правил, соединяющую в И / ИЛИ-дереве вопросов текущую цель с целью самого верхнего уровня так, как это показано на рис. 14.8. Таким образом, для формирования ответа на вопрос 'почему' нужно двигаться в пространстве поиска от текущей цели вверх вплоть до самой верхней цели. Для того, чтобы суметь это сделать, нам придется в процессе рассуждений сохранять трассу в явном виде.

14. 4. 3.    Формирование ответа на вопрос 'как'

Получив ответ на свой вопрос, пользователь возможно захочет увидеть, как система пришла к такому заключению. Один из подходящих способов ответить на вопрос 'как' - это представить доказательство, т. е. те правила и подцели, которые использовались для достижения полученного заключения. Это доказательство в случае нашего языка записи правил имеет вид решающего И / ИЛИ-дерева. Поэтому наша машина логического вывода будет не просто отвечать на вопрос, соответствующий цели самого верхнего уровня - этого нам недостаточно, а будет выдавать в качестве ответа решающее И / ИЛИ-дерево, составленное из имен правил и подцелей. Затем это дерево можно будет отобразить на выходе системы в качестве объяснения типа 'как'. Объяснению можно придать удобную для восприятия форму, если каждое поддерево печатать с надлежащим отступом, например:

        питер это хищник

            было выведено по прав3 из

                питер это млекопитающее

                    было выведено по прав1 из

                        питер имеет шерсть

                            было сказано

                и