Страница 2 из 7
(б1) оборудование шина объект *75, узлы, выключатели вкл.?
Запрашивается оборудование вида «шина», принадлежащее энергетическому объекту с номером *75, такое, что эти шины через электрические узлы связаны с выключателями, находящимися во включенном положении.
(б2) оборудование, узлы, выключатели, узлы, выключатели изменение?
Запрашивается оборудование, которое через электрические узлы присоединено к выключателям, которые, в свою очередь, через узлы присоединены к выключателям, положение которых изменилось.
В практических системах для решения задач одного вопроса, даже весьма сложного, оказывается недостаточно – в рассуждение входит множество иерархически организованных вопросов. Так, при распознавании ситуации «дальнего» резервирования [1] система сначала определяет «погашенные» шины подстанций и отключившиеся линии, затем – срабатывание защит на подстанции с погашенными шинами и на смежных присоединениях. Учитываются ступени сработавших защит линий. На подстанции, где имелось повреждение, вызвавшее ситуацию дальнего резервирования, защита работает первой ступенью, а на смежных подстанциях – более старшими ступенями.
В системах, основанных на технологических рассуждениях, моделируются формализмы рассуждений. Для этого вопросы автоматически преобразуются в SQL-форму Базы данных, выстраиваются цепочки модулей-запросов. Результатом является модель, называемая программой-рассуждением ПР. В практических информационных системах может быть несколько ПР, а количество вопросов в каждой ПР может достигать сотен. Таким образом, при реализации системы требуется
– преобразовать эксплуатационный опыт в формализмы рассуждений,
– преобразовать эти формализмы в множество программ-рассуждений [9-14].
1.3. СПЕЦИАЛИЗАЦИЯ РАЗРАБОТЧИКОВ
Рассмотрим вопрос формирования коллектива разработчиков информационной системы. При «традиционном» методе разработки требуется коллектив квалифицированных программистов, учет технологического содержания осуществляется на основе ТЗ.
При интеллектуальном методе разработки для создания формализмов рассуждений обязательно требуется привлечь к работе компетентного в решении данной задачи представителя эксплуатационного персонала. К сожалению, обычно таких специалистов немого, они очень загружены своими текущими делами, время, которое они могут уделить разработчикам системы весьма дефицитно. Поэтому при разработке интеллектуальных систем появляется новый «персонаж» – специалист по знаниям СЗ. Интересно сравнить требуемую квалификацию СЗ с квалификацией традиционного программиста. Оказывается, что специалист по знаниям вовсе не должен владеть программированием, да и тонкости технологии – не его область. Специалист по знаниям должен знать, как устроены интеллектуальные системы, должен уметь содействовать эксперту-технологу в формализации его невербального опыта. В простых случаях можно надеяться, что эксперт сможет выполнить формализацию самостоятельно – ведь язык для формализации интуитивно понятен технологу. К сожалению, это редко бывает. Чтобы ускорить процесс формализации, можно применить схему «эксперт-посредник», при которой технолог общается с посредником (не знающим детали интеллектуального программирования, но сведущим в технологии), а посредник затем общается с СЗ, «растолковывая» ему технологические вопросы. Общение «Эксперт-технолог Посредник» занимает меньше времени, чем общение «Эксперт-технологСЗ», и хотя возникает «лишний» этап «ПосредникСЗ», экономия дефицитного времени технолога «окупает» эти затраты. Описанные выше взаимодействия разработчиков иллюстрирует рис.1.
При сравнении различных типов взаимодействия разработчиков нужно учитывать сложность внесения коррекций в уже разработанную систему. При вариантах Б и В такие коррекции даются относительно легко – требуется несколько изменить формализмы рассуждений: исключить некоторые рассуждения, ввести новые рассуждения, внести исправления в некоторые рассуждения, например, изменив тексты вопросов. Для варианта А коррекция значительно сложнее – придется исправлять обычные программы практически без участия экспертов-технологов.
1.4.ХАРАКТЕРИСТИКИ РАССУЖДЕНИЙ И ЦЕЛЕСООБРАЗНОСТЬ ПРИМЕНЕНИЯ МЕТОДОВ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА
Для принятия решения о выборе варианта разработки системы целесообразно на раннем этапе оценить сложность представления опыта эксплуатации в виде рассуждений. Введем некоторые общие характеристики системы, рассуждений, которую предстоит разработать:
а) глубина – количество последовательных уровней рассуждений,
б) разветвленность – количество ветвей в цепочках рассуждений,
в)структурная сложность – количество программ-рассуждений ПР необходимое для реализации системы.
Если представить систему рассуждений в виде графов, то, соответственно, речь идет об иерархических уровнях, количестве ветвей и количестве (условно несвязанных) графов. В наиболее простом случае а=1, б=1, в=1 получим систему где требуемая информация и условия ее поиска содержатся в Базе данных и может быть сразу найдена. Конечно, при таких условиях использовать интеллектуальные методы нецелесообразно.
Сложный случай рассмотрен в главе 4 – для распознавания ситуации дальнего резервирования потребуется более двух уровней графа рассуждений, общее количество графов больше одного (если считать операции со ступенями защит отдельным графом). Для решения таких задач использовать интеллектуальные методы целесообразно.
1.5.ПРИМЕРЫ РЕАЛИЗАЦИИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ
Рассмотрим некоторые примеры реализации интеллектуальных систем, при разработке которых использовались изложенные выше методы.
1.Экспертная система ЭСОРЗ для оперативной режимной проработки ремонтных заявок на оборудование энергосистем [3.4] .Разработана ВНИИЭ с участием ЦДУ ЕЭС, внедрена в службе режимов ЦДУ. Просматривая нерассмотренные заявки, система выявляет множество ограничений, которые должны быть наложены на режим, причем выявляются ограничения, налагаемые как на время заявки, так и на время возможных коротких замыканий при коммутации выключателей. Определяются возможные противоречия с ранее разрешенными заявками. Результат – рекомендуемые решения по заявкам с множеством необходимых для разрешения заявки ограничений.
Реализация ЭСОРЗ потребовала сложных и разветвленных моделей рассуждений: рассуждения относительно заявок, относительно режимных ограничений, топологического анализа электрических схем для определения оборудования, отключаемого при коротких замыканиях.
Метод разработки ЭСОРЗ предполагал использование эксперта-посредника (вариант В). Этот вариант разработки оправдал себя: чрезвычайно загруженный текущей работой эксперт-технолог (оперативный работник службы электрических режимов) за минимальное время консультировал посредника, который затем уже за достаточно длительное время растолковывал инженеру по знаниям технологические сложности задачи.
2.Экспертая система ЭСПЛАН [9] для оперативного планирования ремонтов оборудования. Основное отличие от ЭСОРЗ – автоматическое перемещение плановых сроков ремонтов оборудования, так, чтобы при наложении ремонтов во времени не возникали противоречия. Таким образом, в этой системе время становится «активным участником» рассуждения.
3. Экспертная система ЛОК [5.6] для планирования поиска повреждений в распределительных электрических сетях, включая определение оптимальных траекторий движения ремонтных бригад. Сложность системы рассуждений для этой системы определяется необходимостью проводить не только топологический анализ электрических схем, но и выполнять геоинформационный анализ для траекторий.
4. Тренажер ТРАНС для анализа нештатных ситуаций в электрических сетях [7,8]. Эта система должна не только анализировать электрические схемы, но проводить достаточно сложные рассуждения относительно устройств релейной защиты и автоматики. Реализация в системе тренажерных функций требует отдельных рассуждений (см. главу 4).