Формирование ответа на вопрос «почему»

Да.

Да.

Пушок» это тигр?

Это правда: «Пушок» имеет шерсть?

Это правда: «Пушок» ест мясо?

«Пушок» это тигр.

Хотите узнать, как?

«Пушок» это хищник

выведено из

«Пушок» это млекопитающее

выведено из

«Пушок» имеет шерсть

было сказано

и

«Пушок» ест мясо

было сказано.

Как видно из диалога, система задает пользователю вопросы, касающиеся «примитивной» информации, например:

Это правда: «Пушок» ест мясо?

На подобные вопросы пользователь может отвечать двумя способами:

· сообщив системе в качестве ответа на вопрос необходимую информацию;

· спросив систему, почему эта информация необходима.

Последняя возможность позволяет пользователю заглянуть внутрь системы и увидеть ее намерения. Из объяснений системы пользователь поймет, стоит ли информация, которую запрашивает система, тех дополнительных усилий, которые необходимо приложить для ее приобретения. Для того, чтобы заглянуть внутрь системы, следует создать специальную надстройку над пролог - системой, которая будет включать в себя средства взаимодействия с пользователем.

Такая надстройка будет принимать вопрос и искать на него ответ. Язык правил допускает, чтобы в условной части правила была И/ИЛИ комбинация условий. Вопрос также может быть представлен в виде И/ИЛИ комбинаций подвопросов. Поэтому процесс поиска ответов на эти вопросы будет аналогичен процессу поиска в И/ИЛИ – графах.

Ответ на заданный вопрос можно найти несколькими способами в соответствии со следующими принципами:

· если В найден в базе знаний в виде факта, то Отв – это «В это правда»;

· если в базе знаний существует правило вида «если Условие то В», то для получения ответа Отв рассмотрите Условие;

· если вопрос В можно задавать пользователю, спросите пользователя об истинности В;

· если В имеет вид В1 и В2, то рассмотрите В1, а затем,
если В1 ложно, то положите Отв равным «В это ложь», в противном случае рассмотрите В2 и получите Отв как соответствующую комбинацию ответов на вопросы В1 и В2;

· если В имеет вид В1 или В2, то рассмотрите В1, а затем,
если В1 истинно, то положите Отв равным «В это правда», в противном случае рассмотрите В2 и получите Отв как соответствующую комбинацию ответов на вопросы В1 и В2.

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

потому, что

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

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

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

чтобы проверить по правилу 2, что c, и

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

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

…

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

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

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

Объяснение – это демонстрация того, как система намерена использовать информацию, которую она хочет получить от пользователя. Намерения системы демонстрируются в виде цепочки правил и целей, соединяющей эту информацию с исходным вопросом. Такая цепочка называется трассой. Трассу можно представить как цепочку правил, соединяющую в И/ИЛИ – дереве вопросов текущую цель с целью самого верхнего уровня так, как это показано на рисунке. Таким образом, для формирования ответа на вопрос «почему» нужно двигаться в простанстве поиска от текущей цели вверх вплоть до самой верхней цели. Для того, чтобы суметь это сделать, нам придется в процессе рассуждений сохранять трассу в явном виде.

Формирование ответа на вопрос «как».

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

«Пушок» это хищник

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

«Пушок» это млекопитающее

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

«Пушок» имеет шерсть

было сказано

и

«Пушок» ест мясо

было сказано.

Дата добавления: 2015-06-27