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

1.8. ВОПРОСНОЕ ПРОГРАММИРОВАНИЕ

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

Этот «сократический» (по имени древнегреческого философа Сократа) метод решения задач можно назвать «вопросным программированием». Тексты вопросов записываются в программы, вводятся обозначения для номеров элементов групп (звездочки *) и множеств элементов из одной группы (знак доллара $). Определяются массивы данных для хранения ответов на вопросы («линейки»), вводятся операторы для действий с линейками (в основном – логические операции). В результате получается полноценный язык программирования. Особенность этого языка – его операторы записываются на естественном технологическом языке. Поэтому писать программы на этом языке могут (после небольшой практики) не профессиональные программисты, а технологи данной предметной области (в частности – специалисты по диспетчерскому управлению). В некоторых работах этот язык программирования называется языком МИМИР.

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

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

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

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

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

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

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

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

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

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

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

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

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