часто целесообразно организовать не с помощью диалога на основе текстов, а с помощью соответствующих изображений («картинок»), на которых пользователь указывает те или иные элементы изображения. С помощью предварительного структурирования таких «картинок» и их описания с помощью семантических сетей, такая форма диалога может быть сведена к лингвистической форме. Рассмотрение этой проблемы выходит за рамки данной работы.
1.8. ВОПРОСНОЕ ПРОГРАММИРОВАНИЕ
Вопросы на ограниченном естественном языке могут использоваться не только во «внешнем» диалоге, но и быть операторами программ, решающих технологические задачи.
Этот «сократический» (по имени древнегреческого философа Сократа) метод решения задач можно назвать «вопросным программированием». Тексты вопросов записываются в программы, вводятся обозначения для номеров элементов групп (звездочки *) и множеств элементов из одной группы (знак доллара $). Определяются массивы данных для хранения ответов на вопросы («линейки»), вводятся операторы для действий с линейками (в основном – логические операции). В результате получается полноценный язык программирования. Особенность этого языка – его операторы записываются на естественном технологическом языке. Поэтому писать программы на этом языке могут (после небольшой практики) не профессиональные программисты, а технологи данной предметной области (в частности – специалисты по диспетчерскому управлению). В некоторых работах этот язык программирования называется языком МИМИР.
Программы, написанные на языке МИМИР и работающие в составе ИИС, называются программами-рассуждениями. Они являются моделями рассуждений специалистов технологов, решающих соответствующие задачи.
1.9.СПЕЦИАЛИЗИРОВАННЫЙ ЛОГИЧЕСКИЙ ВЫВОД В ПРОГРАММАХ РАССУЖДЕНИЯХ
Возвращаясь к общей структуре экспертной системы, изображенной на рис. 2 обратим внимание на важный блок этой структуры – машину логического вывода. Именно этот модуль позволяет экспертной системе осуществлять логические выводы и, тем самым, решать необходимые задачи. В распространенных экспертных системах, основанных на правилах, предполагается универсальный логический вывод, не зависящий от технологических приложений. Тем или иным образом при универсальном выводе сопоставляются заданные правила. По мнению авторов данной работы именно такой подход приводит зачастую к малой эффективности разработки реальных, промышленных экспертных систем. Пока количество заданных правил относительно невелико (100-200), универсальный логический вывод действует, при большем количестве правил (как это бывает в реальных системах) – возникают серьезные трудности.
В системах типа МИМИР вместо универсального логического вывода используется специализированный логический вывод. И такой специализированный вывод осуществляют именно программы-рассуждения на языке МИМИР. Эти программы являются моделями рассуждений специалиста-технолога, решающего соответствующую задачу.
В самом деле, опыт общения с технологами-эксплуатационниками показывает, что их знания
