6.5. Системы, объясняющие логику своей работы

Желательно, чтобы пользователь имел возможность узнать у системы, каким образом она приходит к найденному заключению или как она объясняет тот или иной шаг в цепочке вывода, приводящий к этому заключению. Почему важно иметь такую возможность? Во-первых, если такая возможность есть, пользователь будет получать дополнительную информацию, которую он сможет использовать для принятия собственного решения, возможно, и не согласовывая его с выводами, сделанными экспертной системой. Во-вторых, это позволит точно указать причины, приводящие к принятию системой неправильных решений. И, наконец, в-третьих, это поможет пользователям использовать протоколы работы системы для углубления своих знаний. Внесение изменений в отношение result, а также введение новых отношений в предыдущую программу (6.8) дают возможность пользователям в случае необходимости получить краткое описание процесса вывода (см. программу 6.9), реализуемого системой.

X result Y if

x tot Y

Естественно, можно предусмотреть выдачу более детальной информации о процессе логического вывода. Так, в нашем примере можно в принципе проследить, как с помощью отношения plus производится начисление очков. Но автору кажется, что тратить время на объяснение слишком большого числа мелких деталей нецелесообразно. Перейдем к описанию новых отношений. Отношение points, используемое для подсчета общего числа очков, получаемого с помощью правил отношения plus, вводится, во-первых, для того, чтобы упростить отношение result, и, во-вторых, для того, чтобы обеспечить данными другое новое отношение - explain. Отношение choose осуществляет ту же функцию, что и оператор ветвления языка ассемблер или конструкция" "if ...then ... else" языка высокого уровня. По мнению автора, ветвление в этой версии Пролога реализовано достаточно просто и элегантно, по крайней мере не так, как в Бейсике, где для этой цели используются следующие операторы:

IF ... THEN GOTO ...

IF ... THEN GOSUB ...

Отношение choose позволяет пользователю выбрать один из трех вариантов: либо получить объяснение поведения системы и продолжить работу, либо, не получив объяснения, перейти к анализу очередных данных, либо, наконец, ответив на оба вопроса системы по, выйти из системы. Если продолжить проведение аналогий с языками высокого уровня, то можно сказать, что подобные действия реализуются там с помощью операторов вызова процедур. Так, в данном случае result как бы вызывает chose, которое в свою очередь либо вызывает explain и затем result, либо вызывает только result, либо просто завершает работу. Достоинство Пролога заключается в том, что приведенная выше конструкция очень близка к предложению обычного естественного языка: "выберите либо объяснение поведения, либо переход к анализу новых данных, либо выход из системы". Следующий протокол демонстрирует работу усовершенствованной системы:

all (: result x)

[Ответов (больше) нет]

Отметим, что следует использовать запрос

а не запрос

Упражнение 6.9

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