Чтение онлайн

Приведем определения из Википедии:

Интеллектуальная информационная система (ИИС) – комплекс программных, лингвистических и логико-математических средств для реализации основной задачи – осуществления поддержки деятельности человека и поиска информации.

Экспертная система (ЭС, англ. expert system) – компьютерная система, способная частично заменить специалиста-эксперта в разрешении проблемной ситуации.

Рис. 2 Структура экспертной системы.

На рис. 2. показана самая общая структура экспертной системы.

База данных может быть представлена как:

– база знаний,

–хранилище данных.

Разработанная в Научно-исследовательском институте электроэнергетики интеллектуальная система МИМИР (Малая Информационная Модель Интеллектуальных Решений) [3] использует для построения Базы знаний формализм семантических сетей (система МИМИРявляется оригинальной и не имеет зарубежных аналогов). Семантическая (смысловая) сеть – это граф, вершинами которого являются понятия из предметной области той или иной технологической системы, а дугами – связи между понятиями.

Семантическая сеть должна быть структурирована – в ней нужно выделить семантические группы понятий. В одну семантическую группу объединяются «однородные» понятия – такие понятия, которые в графе семантической сети не связываются друг с другом непосредственно, а только через другие группы. В каждой семантической группе выделяется:

– технологическое наименование группы,

– множество понятий – элементов группы.

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

Создавая Базу знаний, инженер по знаниям определяет словарь системы, в который входит множество технологических наименований соответствующих понятий.

На основе этого Словаря строится ограниченный естественный язык ОЕЯ (технологическая лексика, упрощенная русская грамматика), который может использоваться

– для взаимодействия пользователей с ИИС,

– для осуществления логических выводов.

1.7.РАЗРАБОТКА БАЗ ЗНАНИЙ ДЛЯ ИИС МИМИР

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

На рис. 3 показан пример структуры семантической сети для задач диспетчерского управления в электросетях.

Рис.3 Топологическая модель первичной сети для задач диспетчерского управления.

С помощью ограниченного естественного языка может быть организовано взаимодействие пользователей с интеллектуальной системой. Это взаимодействие основано на естественно-языковых вопросах.

Определим простой естественно-языковый вопрос как фразу структурно состоящую из:

– вопросной области ВО;

– множества условий вопроса УВ.

Вопросная область ВО задает то, что нужно определить, отвечая на вопрос. Примем, что в качестве ВО может использоваться имя одной из семантических групп.

В качестве условий вопроса УВ могут использоваться:

– Семантические группы,

– элементы семантических групп,

– множества элементов одной семантической группы.

То есть ответить на вопрос означает найти из множества элементов группы ВО, таких, которые связаны с группами и элементами групп, заданными УВ.

Для определения ответа на вопрос интеллектуальная система

–Анализирует вопрос, выделяя ВО и множество УВ,

– по семантической сети определяет, какие элементы группы ВО имеют связи с УВ.

В простейшем случае ответ на вопрос есть список элементов группы ВО, имеющих связи с УВ. Для пользователя ответ есть вербализация этого списка (заголовок списка – имя группы ВО, тело списка – технологические наименования релевантных УВ элементам группы ВО).

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

Пример:

Вопрос

объекты подстанции, трансформаторы, узлы, выключатели отключенные?

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

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

С помощью вопросов в ИИС может осуществляться взаимодействие с пользователями для осуществления следующих целей:

– поиска информации в ИИС,

– контроля заполнения Базы знаний,

– простейшей коррекции содержимого Базы знаний.

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

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

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

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

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

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

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