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

       

Формирование ответа на вопрос "как"


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

        питер это хищник
            было выведено по прав3 из
                питер это млекопитающее
                    было выведено по прав1 из
                        питер имеет шерсть
                            было сказано
                и
                питер ест мясо
                    было сказано

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



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