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




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


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

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

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

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

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

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

                            было сказано

                и

                питер ест мясо

                    было сказано

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

| Вперёд




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