1.9.СПЕЦИАЛИЗИРОВАННЫЙ ЛОГИЧЕСКИЙ ВЫВОД В ПРОГРАММАХ РАССУЖДЕНИЯХ

      Возвращаясь к общей структуре экспертной системы, изображенной на рис. 2 обратим внимание на важный блок этой структуры – машину логического вывода. Именно этот модуль позволяет экспертной системе осуществлять логические выводы и, тем самым, решать необходимые задачи. В распространенных экспертных системах, основанных на правилах, предполагается универсальный логический вывод, не зависящий от технологических приложений. Тем или иным образом при универсальном выводе сопоставляются заданные правила. По мнению авторов данной работы именно такой подход приводит зачастую к малой эффективности разработки реальных, промышленных экспертных систем. Пока количество заданных правил относительно невелико (100-200), универсальный логический вывод действует, при большем количестве правил (как это бывает в реальных системах) – возникают серьезные трудности.

      В системах типа МИМИР вместо универсального логического вывода используется специализированный логический вывод. И такой специализированный вывод осуществляют именно программы-рассуждения на языке МИМИР. Эти программы являются моделями рассуждений специалиста-технолога, решающего соответствующую задачу.

      В самом деле, опыт общения с технологами-эксплуатационниками показывает, что их знания по решению прикладных задач имеют не универсальный («энциклопедический») характер, а «упакованы» в некоторые блоки, которые и должны моделироваться программами-рассуждениями.

      Таким образом, разработка прикладной экспертной системы на базе МИМИР сводится к заданию словаря технологических понятий, структуры семантической сети и множества прикладных программ-рассуждений.