Логический вывод
В логическом подходе знания представляются посредством формул, которые строятся из предикатов, логических связок, кванторов. Используется нечеткая логика, модальная логика, логика высших порядков и др.
Среди многих достоинств логического подхода можно отметить стирание противоречия между выводом и вычислением, что позволяет эффективно использовать метазнания, а также наличие точной семантики и правил логического ввода.
Проблемой логического подхода считается отсутствие структуры, данные представляются в виде набора линейных формул. С помощью аппарата исчисления предикатов можно доказать наличие объекта, обладающего заданными свойствами, логика первого порядка дает удобное описание любой ситуации, которая определяется объектами и утверждениями. Но в исчислении предикатов нет понятия последовательности, что приводит к невозможности именования объекта при логических преобразованиях и ссылок на него. Также нет возможности описания взаимосвязанных ситуаций.
Как только системой получен запрос (безусловно или по указанию пользователя), система приступает к поиску вопросов, которые необходимо задать, чтобы обслужить данный запрос. Этот поиск происходит по направлению связей сверху вниз и является обратным (от цели к фактам). Причем первыми просматриваются те ветви сети, которые обладают знаниями метауровня (метацели), определяющими конфигурацию сети для данного запроса.
После того как вопрос задан пользователю и на него получен ответ, система начинает обход участка сети, связанного с данным запросом, в обратном направлении (от фактов к цели). Таким образом происходит прямой вывод. При этом система пересчитывает значения, приписываемые узлам сети (вычисляет арифметические выражения и вероятности, приписываемые всем обходимым узлам).
По результатам вычислений, связанных с метацелями, некоторые участки сети могут быть отсечены и не участвовать в дальнейшем выводе. Это значительно повышает достоверность конечного результата.
Следовательно, логический вывод в системе ДИЭКС осуществляется путем совместного использования стратегии прямого и обратного выводов на динамической сети продукционных правил. Причем динамическая конфигурация сети целиком определяется фактами, введенными пользователем во время диалога.
В результате выполнения запроса узлу, соответствующему запросу, будет приписана некоторая вероятность, соответствующая достоверности гипотетического высказывания данной модели, связанного с данным узлом, что и является основной целью логического вывода системы ДИЭКС.
