Использование элементов искусственного интеллекта: компьютерная поддержка оперативных решений в интеллектуальных электрических сетях. Александр Юрьевич Хренников

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

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

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

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

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

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

      1.10. ВЫВОДЫ к главе 1

      1.При рассмотрении источников знаний, необходимых для разработки информационных систем, выявлена доминирующая роль эксплуатационного опыта оперативного персонала.

      2. Представление эксплуатационного опыта в виде системы рассуждений является эффективным средством для формализации знаний.

      3.Опредены характеристики системы рассуждений (глубина, разветвленность, структурная сложность), при достаточно высоких значениях, которых целесообразно использовать интеллектуальные системы.

      4. Рассмотрение различных специализаций разработчиков информационных систем показывает важную роль инженеров по знаниям при применении методов искусственного интеллекта.

      5. Учитывая дефицит времени эксперта-технолога, при разработке интеллектуальных систем целесообразно использовать новый тип специалистов – экспертов-посредников. Рассмотрены взаимодействия посредников с экспертами-технологами и инженерами по знаниям.

      6. Приведены основы построения