94 На основании того, что экспертные знания, в большинстве своём, носят методический характер и основываются на фактах предоставляемых пользователем концепты класса С имеют сильную степень связности с элемен(1) тами классов l(d) и 7,v. Связь концептов из области экспертных заключений с описаниями решений. Данные конструкции представляют собой, ничто иное как, решающие правила. На модели они выражаются преимущественно в виде списков частности, объединяющих наборы концептов класса С с терминальными концептами решениями S. Для того, чтобы на МПЗ отобразить комбинации элементов списка причинности, приводящие к решения S с высокой степенью достоверности, у концептов класса С имеется свойство «апостериорность». 2.6. Методика формализованного представления знаний в виде визуальной модели знании Перед тем как преступить к описанию процесса формализации экспертных знаний в МПЗ уточним некоторые понятия, используемые в предлагаемой методике разработки моделей знаний путём проведения аналогии с традиционной методикой разработки программных систем. Данное сопоставление представлено в таблице 12. После того как определены базовые конструкции МВОПЗ можно представить весь процесс формирования МПЗ hrfd) начиная с анализа, предлагаемой к формализации, предметной области и кончая построенной моделью знаний, пригодной к генерации в БЗ ЭС. При этом может использоваться одна из двух стратегий проектирования: «Сверху вниз» (от постановки задачи к её решению); «Снизу-вверх» (от получаемых решений к постановке задач). |
Множество элементов класса I(d), должно иметь сильные структурные связи с элементами множества 1(,). Только благодаря этому может быть сведена к минимуму неопределённость при принятии решений. При формализации информационных связей между сведениями I(d) и 1(1) преимущественно используются следующие типы отношений между концептами: Один к одному, если речь идёт об уточнении предоставленных пользователем сведении; Один ко многим, если предоставленные сведения дают повод для подозрения нескольких фактов. Тогда данному концепту ставится в соответствие список показателей частности. В свою очередь, концепты полученных списков показателей частности должны являться родительскими по отношению к концептам, содержащим ещё более уточняющую информацию. Такая детализация должна производится до тех пор, пока не будет достигнуто достаточного количества концептов из I, на основании которых можно строить заключения С. • * d. Связь исходных данных идентифицируемых подзадач с экспертными заключениями. На основании того, что экспертные знания, в большинстве своём, носят методический характер и основываются на фактах предоставляемых пользователем концепты класса С имеют сильную степень связности с элементами классов I(d) и 1(1). е. Связь концептов из области экспертных заключений с описаниями решении. Данные конструкции представляют собой, ничто иное, как решающие правила. На модели M(D) они выражаются преимущественно в виде списков частности, объединяющих наборы концептов класса С с терминальными концептами решениями S. Для того, чтобы на МПЗ M(D) отобразить комбинации элементов списка причинности, приводящие к решения S с 73 высокой степенью достоверности, у концептов класса S имеется свойство «апостериорность». 2.4. Методика формализованного представления знаний в виде визуальной модели знании Перед тем как преступить к описанию процесса формализации экспертных знаний в МПЗ уточним некоторые понятия, используемые в предлагаемой методике разработки моделей знаний путём проведения аналогии с традиционной методикой разработки программных систем. Данное сопоставление представлено в таблице № 2.6 Таблица № 2.6 Сопоставление терминов МВОПЗ с общепринятой терминологией Термин Уточнение значения терСемантика в АСПЭС мина Исходный текст программы МВОПЗ формализованная в соответствии с синтаксическими и семантическими правилами формализации Оператор Команда или серия команд программы______________ Логические отношения, объединяющие концепты Идентификатор Имена, присваиваемые переменным и другим элементам программы Каждый компонент разрабатываемых МВОПЗ имеет уникальный идентификатор Переменная Данные в процессе выполнения программы хранятся в переменных, каждая из которых в свою очередь может принадлежать к одному из определённых (предопределённых или пользовательских) типов данных. Каждый концепт предметной области хранится в структурированной информационной единице, которая в свою очередь является экземпляром некоторого класса. Машинный код исполняемый на ВМ Применяются компиляторы и интерпретаторы с языков. Структурированная БЗ подлежит интерпретации методами, реализованными в библиотеке методов. Процедура (функция) Структурированным образом выделенная часть программы, направленная на решение конкретной подзадачи Совокупность элементов описывающих решение какой-то из подзадач предметной области. 74 После того как конструкции МВОПЗ представить весь процесс формирования МПЗ M(D) начиная с анализа, предлагаемой к формализации, предметной области и кончая построенной моделью знаний, пригодной к генерации в БЗ ЭС. При этом может использоваться одна из двух стратегии проектирования: «Сверху-вниз» (от постановки задачи к её решению); «Снизу-вверх» (от получаемых решений к постановке задач). При принятии стратегии «сверху-вниз» процесс формализации предметных знаний представляет собой, практически линейное, выполнение ряда этапов: Определяются границы той области знаний, для которой создаётся ЭС, состав задач, которые должна решать разрабатываемая ЭС. Формализуемая предметная область D первоначально представляется в виде одного или нескольких объектов, в которых описывается круг задач Z, которые планируется решать с помощью планируемой ЭС. В терминологии МВОПЗ данные объекты сопоставляются с корневыми концептами, которые служат для идентификации решаемых задач. Предметные знания, сопоставляемые с корневыми концептам должны носить обобщенный характер, на уровне целей и задач исследуемой проблемной области. Данный факт обуславливается тем, что знания, хранящиеся корневых концептах, последующем будутв в детализироваться и уточняться данными, хранящимися в концептах нисходящих уровней иерархии знаний МПЗ (см. этапы 4,5). 1. Декомпозиция решаемых задач Z до уровня исходных данных необходимых для их решения Б е I. Для задач диагностирования или прогнозирования технического состояния объекта множество I представляет совокупность параметров характеризующих отклонение свойств объекта в процессе эксплуатации от номинальных значений. 75 |