Онтология диагностики процессов

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

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

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

• ■    интервал времени, прошедший с момента начала развития диагностируемого внутреннего процесса (не присущего объекту/системе);

• ■    влияние событий и факторов на значения признаков и их изменение во времени;

• ■    влияние индивидуальных характеристик объекта (системы) на проявления этого внутреннего процесса;

• ■    степень доверия к признаку (нечёткость признака).

Диагностика в таких ПрО сложна. Для повышения её эффективности используют технологию систем, основанных на знаниях - систем поддержки принятия решений (СППР) и экспертных систем (ЭС), - как средств, позволяющих принять во внимание значительное количество диагностических признаков и минимизировать ошибки, связанные с субъективными (человеческими) факторами. К настоящему времени разработано большое количество диагностических СППР и ЭС в различных ПрО: диагностика неисправностей в механических и электрических устройствах, медицинская диагностика, идентификация состояния сельскохозяйственных культур, диагностика заболеваний в ветеринарной эпидемиологии и др.

Различаются цели диагностических программных систем (ЭС или СППР). Некоторые ориентированы на выдвижение множества полезных гипотез, некоторые - на выдвижение одной наиболее вероятной гипотезы, а в некоторых диагностических ЭС используется принцип построения, основанный на конструктивной критике, выдвинутой пользователем гипотезы. Наиболее распространены программные системы, которые поддерживают задачу диагностики, предлагая специалисту множество полезных гипотез (которое далее должно быть уменьшено).

Для применения на практике от СППР требуются «прозрачность» для специалистов как используемых знаний, так и процесса рассуждения системы с объяснением результатов диагностики. Завоевавший популярность онтологический подход [1-3] позволяет создавать понятные специалистам базы знаний (БЗ) и формировать объяснение процесса работы в привычных профессиональных терминах.

Поскольку трудоёмкость создания «практически полезных» программных систем велика, нужны эффективные технологии снижения затрат. В работах [4, 5] выдвинуто утверждение, что в интеллектуальных системах можно выделить классы задач и для каждого класса разработать метод решения задачи, который будет повторно использоваться в различных системах. Построение универсального решателя диагностики, работающего в терминах универсальной единой онтологии, можно рассматривать как создание ядра эффективной технологии снижения затрат. Такой решатель должен проводить анализ всех типичных видов связей сущностей, важных для диагностики.

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

1    Постановка задачи

Для произвольной ПрО, где важно нормальное функционирование объектов/систем (биологических или технических), сопоставим внутреннему процессу , который не присущ диагностируемому объекту при нормальном его функционировании, понятие отклонение от нормы (или нарушение, поломка, неисправность, сбой, класс отклонений, диагноз ).

В данной работе используется термин диагноз как множество отклонений (например, заболеваний); признаками называются любые свойства объекта/системы, измеряемые или наблюдаемые параметры, значения которых могут отличаться от нормальных (допустимых).

Признаки объекта, изменяющиеся с течением времени (в том числе на протяжении периода диагностики), называются темпоральными или динамическими.

При решении задач диагностики применяются модели знаний разной сложности:

• ■    с учётом временн о й динамики (какие диапазоны значений в какие моменты или периоды ожидаются) или с учётом «временн о го аспекта» (например, температура снизилась; вибрация усиливается) или без таковых;

• ■    с учётом или без учёта влияния факторов на динамику значений признаков (проявлений); ■ с учётом возможности существования нескольких видов отклонений от нормы (т.е.

диагноз есть множество отклонений, например: нескольких заболеваний сразу -«сочетанной патологии» в медицине, загрязнение контактов и обрыв контактов) или с расчётом на то, что объект имеет только одну проблему;

• ■    с учётом разных методов диагностики;

• ■    с группированием схожих отклонений от нормы или выделением подклассов отклонений (уточнением диагнозов).

Соответственно, в БЗ вносят причинные связи:

• ■    отношения между внешними проявлениями и их причинами - диагнозами (нарушениями/отклонениями от нормы);

• ■   отношения между событиями (или факторами) и (вызванными) диагнозами;

• ■   цепочки (нарушения-диагнозы ^ внутренние состояния)   (примером внутренних

состояний являются клинические и патофизиологические состояния живых организмов [6]) и (состояния ^ проявления (значения измеримых параметров)).

В некоторых случаях для диагностики могут представлять интерес и более простые связи: (причинный фактор ^ внешнее проявление) (например, разрыв контакта - погасшая лампочка).

Иногда для проявлений и диагнозов в БЗ вводят временн ы е свойства (а также для их вза-имозависимостей - согласования протяжённости, задержки и т.п.). Характерны такие временн ы е ограничения и временн ы е свойства (проявлений и причин), как: диапазон времени до начала эффекта наблюдаемости ( Onset ), диапазон времени, когда эффект останется, если причина прекратится ( Persist ), максимальное время присутствия причины ( Max-exist ), задержка ( Delay ), самоограничение ( Self-limiting ), неустойчивость ( Intermittent ) - см. рисунок 1а [7].

Нередко представляют пошаговое развитие каждого проявления признака, соответствующего одному известному отклонению , с определённым времен ы м шагом (отрезок разбивается на N равных интервалов) - см. рисунок 1б [8]. Часто вводят временн ы е ограничения для попарно не пересекающихся интервалов, позволяющие определить разрешённую дистанцию между соответствующими моментами времени, используя выражения метрической точечной временн о й логики [8].

Чтобы «в полной мере» представлять динамику проявлений и состояний в БЗ (так, чтобы рассматривать варианты поэтапных изменений значений признаков), используют разные упрощения. Например, составляют временные шаблоны для последовательностей ожидаемых значений параметра   состояния,   интерпретируемые как более компактные последовательности (рисунок 1в) или «совокупные» узлы с качественным описанием (например, hyponatremia, hyperonatremia), временные «скопления» для описания процесса как единого понятия [6].

Иногда вводят «интервалы постоянства значений признаков на некоторых характерных интервалах» [9], превращая один динамический признак в несколько «постоянных» признаков (со средним значением). Например, анализ значения признака билирубина первых двух дней усреднены в первый диагностический признак, а значение второго признака берётся как усреднённое значение тех измерений билирубина, что сделаны в дни с 3-й по 7-й [10]. Другой вариант - один и тот же признак, определённый в два разных дня, понимается как два абсолютно разных и независимых признака (билирубин в первый день – это один диагностический признак, билирубин во второй день…, билирубин в пятый день – также новые признаки и т.д.) [9].

Иногда вводятся интервалы, представляющие устойчивые состояния, где уже нет изменения ни в одном из параметров [11]. На рисунке 1г показан пример множества соотношений между установившимися интервалами.

	ma®—e®ist
cause
		observable
	OflSft

б)

а)

SERUM-NA

HYPONATREMIA

SERUM-NA

HYPERNATREMIA <

SERUM-NA

SERUM-NA

SERUM-NA

г)

(sby означает «следует») в)

sby^

NORMAL-NA

Рисунок 1 – Способы упрощения представления динамики проявлений

Параметр 1

Параметр 3

Параметр 1

Параметр 3

130.0	day 1
132.0	day 2
145.0	day3
142.0	day 4
140.0	day 5

Часто динамику учитывают на «качественном уровне», а не в виде последовательностей; с использованием параметров для описания симптомов («периодически», «усиление» и т.п.), из них формируются симптомы: «усиление головной боли при движении», «периодически отмечался слабо выраженный абдоминальный болевой синдром» [12, 13].

В причинных связях учитываются различные аспекты причины (серьёзность, продолжительность и т.д.) [6], вводятся элементы нечёткой логики [14], факторы уверенности [15] или модальность как степень доверия к признаку. К причине добавляют факторы (возраст, вес и т.д.). В БЗ может быть заложена возможность учёта реакции на воздействие событий или факторов («реакция на определённое терапевтическое действие станет ключом к разгадке диагноза» [6]).

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

Введём обозначения:

• ■    R ex ( t о ,..., t k ) для признаков, значения которых могут изменяться;

• ■    R O для наблюдаемых индивидуальных характеристик объекта / системы;

• ■   R ev ( t u ,..., t v ) для факторов и событий, наблюдаемых в некоторые моменты времени.

Пусть F in - множество отклонений от нормы. Тогда в зависимости от цели диагностики (в конкретных ЭС или СППР) диагноз есть А = f in - одна наиболее вероятная гипотеза о классе отклонений - или множество полезных гипотез (которое в последующем должно быть уменьшено) А = {f in }, f in с F in .

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

Дано:

• ■    результаты наблюдения признаков, характеристик объекта и произошедших событий на некотором интервале времени: R = R ex ( 1 ₀,..., t k ) + R O + R ev ( t u ,..., t v );

• ■    база знаний.

Найти:

• ■    все возможные причинно-следственные модели S ( А , R ) объекта/системы, относительно которых все предложения из БЗ истинны.

Причинно-следственные модели S(A, R) объекта связывают результаты наблюдений R и диагностированные отклонения A. S - объяснение решения, степень подробности которого зависит от онтологии проблемной области . В диагностических методиках отмечается поиск объяснения наблюдений (в ненормальном состоянии) и реконструкция вероятного «сценария», который произвел наблюдаемое состояние , чтобы «сценарий» последовательно объяснил наблюдения [7].

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

• ■    развитии произвольного внутреннего процесса объекта/системы и изменчивости внешних его проявлений;

• ■    влиянии событий и факторов на значения признаков и их изменение во времени;

• ■    влиянии индивидуальных характеристик объекта/системы на вариант развития произвольного внутреннего процесса (и значения признаков);

• ■    промежутке времени, прошедшем с момента начала диагностируемого внутреннего процесса;

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

2 Обобщённая онтология проблемной области «Диагностика процессов»

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

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

Один внутренний процесс (причина) вызывает несколько внешних проявлений (значений следствий), объединяемых в комплекс диагностических признаков (КДП); но он может вызывать разные совокупности таких проявлений - альтернативные КДП. Например, разрушение инерциальной навигационной системы автономного подводного робота (АПР) может характеризоваться следующими альтернативными признаками: активным маневрированием со стороны движительно-рулевого комплекса (ДРК), повышенным энергопотреблением со стороны ДРК, перегрузкой и отключением батарейного модуля, остановкой двигателя [16].

Типы значений проявляемых признаков могут быть числовыми или качественными. По мере развития (во времени) процесса проявления признаков изменяются в рамках своих областей значений.

Значения признаков в рассматриваемые моменты или периоды могут быть точными числами или попадать в характерные числовые диапазоны, быть значениями из чётко определяемой качественной шкалы (сухой, влажный) или нечётко различаемой (розоватый, красноватый; повышенное энергопотребление), отражающей термины конкретных экспертов. Признаки могут быть простыми, состоящими из имени признака и множества его значений (например, температура), или составными.

Для указания меры нечёткости признака (диагностируемого процесса) используются:

• ■   модальность, значения которой достаточны для рекомендаций по подтверждению или

• опровержению гипотезы, например: необходимо, характерно, возможно;

• ■    шкала вероятностей соответствия признаков гипотезе о диагнозе, которая может быть использована, если эксперты ПрО имеют соглашении о том, какие её значения целесообразно использовать при принятии решений.

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

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

Например, при диагностике состояния сельскохозяйственных культур в качестве условия может выступать время, прошедшее после обработки растений пестицидами и гербицидами, климатические особенности региона выращивания; при диагностике некоторого заболевания - перенесённые травмы и заболевания, приём лекарственных препаратов. Внешними факторами для таких объектов могут быть время года (сезон), температура воздуха, индивидуальные характеристиками - возраст (растения, человека), пол. Для системы технической диагностики внешними событиями являются удары (например, удар АПР о препятствия), факторами - магнитные аномалии вблизи АПР.

БЗ могут содержать любую совокупность из следующих предложений-утверждений [17]:

• 1)    множество признаков с их ожидаемыми однократно выявленными значениями для (каждого) КДП для диагноза A i или множество признаков с ожидаемыми изменениями своих значений по периодам развития для каждого КДП для диагноза A i ( вариантами динамики ).

Пример 1. Для диагноза «пневмококковый конъюнктивит» характерны признаки [18]: покраснение глаз.Присутствие = «имеется», покраснение глаз.Локализация с вариантами динамики:

• (1)    «справа, слева, справа И слева постоянно »;

• (2)    «справа 1-2 суток , затем справа И слева»;

• (3)    «слева 1-2 суток , затем справа И слева».

Пример 2 . Несанкционированное выключение питания двигателя АПР характеризуют следующие признаки с модальностью «возможность»: [короткое замыкание] И [ошибка аналого-цифрового преобразователя двигателя] И [ошибка датчика положения двигателя] И [превышено время ожидания ответа со стороны контроллера двигателя] И [контроллер двигателя не инициализирован] И [вода в двигателе] И [перегрев двигателя].

• 2)    множество вариантов КДП (включающих признаки проявления отклонения от нормы для рассматриваемой категории объектов или при проводимом методе диагностики) для диагноза A i ;

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

Пример 1. При диагнозе «пневмококковый конъюнктивит» его «возможные причины»: через 1 -2 суток после начала предшествующего заболевания, такого как грипп; через 1-2 суток после загрязняющего воздействия окружающей среды, такого как: «попадание в глаз пыли», «купание в непроточном водоеме».

Пример 2. При диагнозе «Перегрев двигателя АПР» причиной возникновения может быть длительная работа двигателя на больших токах.

• 4)    множество признаков с их значениями и изменяющие их события, которые характерны для каждого диагноза, или варианты развития внутреннего процесса, изменённого воздействием события, связывающие диагноз и событие с некоторым значением признака.

Пример 1. Острый аппендицит, перфоративная язва: обезболивающие таблетки приводят к временному устранению боли (что искажает клиническую картину).

Пример 2. Перегрузка двигателя АПР может быть вызвана пограничными режимами движения, характеризующимися повышенной нагрузкой на винт либо заклиниванием вала двигателя вследствие того, что попала рыба, намоталась рыболовная сеть или трава.

• 5)    варианты развития внутреннего процесса при воздействии события (варианты реакции на воздействие события), связывающие значение некоторого события с некоторым значением или изменением значения признака.

Например, для АНПА перегрузка двигателя, вызванная заклиниванием вала двигателя, может быть устранена при вращении двигателя в обратную сторону [16].

Могут существовать варианты развития процесса, изменённого воздействием события, не только учитывающие признаки и диагноз, но и связывающие: (признак, диагноз, событие, временн о й интервал начала такого воздействия, результирующее значение признака) или (признак, исходное значение признака, событие, временн о й интервал начала такого воздействия, результирующее значение признака).

Каждый из вариантов 1) - 5) может содержать и связи со значениями воздействующих факторов или индивидуальных характеристик.

• 6)    связи между диагнозом и «совокупным признаком» (синдромом или патологическим состоянием - в медицине), элементом которого может быть и событие [17, 19]. Иногда для элементов в этой совокупности требуется соблюдение частичного порядка: порядок появления признаков у объекта диагностики, чтобы событие предшествовало внешнему признаку, в том числе с указанным интервалом [17, 18].

Например , диарея: время принятия внутрь «подозрительной еды» равняется 3±3 ч до времени начала диареи [19, 20]; стафилоккоковый конъюнктивит : через 1-2 суток после начала предшествующего заболевания: грипп; „. через 2-4 суток после контакта с больным конъюнктивитом, с предметами общего пользования больного [18].

• 7)    обобщение (классификация) диагнозов, так что у классов диагнозов указываются общие признаки.

Например , для множества болезней гепатобилиарной системы и ряда гематологических расстройств определён общий признак «желтушность»; подкатегориями заболеваний гепатобилиарной системы являются заболевания гепатоцеллюлярной системы, печёночнососудистые, желчных протоков и т.д. Для заболевания гепатоцеллюлярной системы и гематологической подгруппы на уровне «анемии» определён общий признак «бледность» [20]. В комплекс диагностических признаков для группы заболеваний «болезни желчного пузыря, желчевыводящих путей и поджелудочной железы» входят характерные признаки: боль в животе, тошнота, - а в КДП для подгруппы холециститов дополнительно входят повышение температуры тела, напряжение мышц передней брюшной стенки, лейкоциты (клинический анализ крови) [21].

Таким образом, онтология проблемной области включает следующие типы отношений (утверждений):

• ■    результаты наблюдения признака, характеризующие проявление диагноза - (диагноз, имя признака, значения по периодам развития);

• ■    значения по периодам развития - последовательность пар <значение, период >;

• ■    описание важных факторов - (диагноз, название характеристики, значение), (диагноз, название фактора, интервал времени), (диагноз, название события, момент совершения);

• ■    для возможных значений признака могут быть описаны изменения значения этого признака под воздействием некоторых событий (внешних воздействий на объект) на разных этапах процесса - (диагноз, имя признака, (имя характеристики), период развития, название события, момент совершения, значение);

• ■    для формирования альтернативных КДП с разными подходами к выявлению достоверных проявлений (признаков) диагноза каждый диагноз связан с некоторым набором КДП) - (диагноз, КДП) , а результаты наблюдения будут соответственно связаны с ними - ([диагноз,] КДП, имя признака, значения по периодам развития), в том числе составные признаки (содержащие множество своих характеристик и множество вариантов значения каждой характеристики) - ([диагноз,] КДП, имя признака, имя характеристики, значение характеристики по периодам развития);

• ■    в каждом периоде своей динамики признак может иметь несколько вариантов значений -(значения по периодам развития, {номер периода, диапазон значений});

• ■    значения признаков и характеристик описываются в форматах числовых и символьных элементов, для них предусмотрено также указание элемента «модальность» со значениями: возможно, характерно, необходимо;

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

3 Варианты применения онтологии «Диагностика процессов»

На рисунке 2 представлен фрагмент онтологии «Диагностика процессов» средствами платформы IACPaaS [22]. Характерными вариантами применения этой онтологии являются: 1) получение конкретных онтологий диагностики в различных ПрО (например, медицинской диагностики), когда создаётся копия онтологии проблемной области и вводятся некоторые уточнения, характерные для ПрО;

• 2)    создание БЗ на основе исходной или уточнённой онтологии проблемной области;

• 3)    создание решателя - компонента сервиса, который будет предлагать гипотезы о диагнозах - отклонениях на основе динамики развития признаков.

▼ Диагнозы {СПИСОК} (= 'copy') (ref-new) ф 0

" ' >• J.iBi -юз и азе стк. j-ен / : {С ИСОК} ([+] 'setmm') (ref-new) ^ 0

'▼ Важные условия {СПИСОК} ( = 'copy') (ref-new) ^

► условие (+ 'set') (clone)

▼ >• Комплекс диагностических признаков {СПИСОК} ([^Л] seqmm')(new) ф <>

▼ Признак наблюдаемый (ипи измеряемый){АЛЬТЕРНАТИВА} ([+] 'setmm') (ref-new) ^ р |т Простой признак {СПИСОК} (= 'copy') (ref-new) Q

▼ вариант значений признака {СПИСОК} (^л 'seq') (new) ф 0

▼ Тип значений {АЛЬТЕРНАТИВА} (- 'proxy') j>

► Качественные значения (= 'copy') (new)

► Числовые значения (= 'copy') (ref-new)

▼ Значения в динамике {СПИСОК} (= 'copy") (ref-new) г? т Период динамики {СПИСОК} (л 'seq') (new) ^

О верхняя граница длительности (сорт Вещественное) (! 'one') (all)

О нижняя граница длительности (сорт: Вещественное) (1 'one') (all)

10 единица измерения длительности (сорт: Строковое)(! 'one')(all)

]▼ Вариант значений (для этого периода){СПИСОК} (А 'seq') (new) ^

iv Тип значений {АЛЬТЕРНАТИВА} ( - 'proxy') ^

▼ Качественные значения {СПИСОК} ( = 'copy') (new) ^

10 значение (сорт: Строковое) (* 'list') (all)

▼ >• Числовые значения {СПИСОК} ( = 'copy') (ref-new) ^ 0

io нижняя граница (сорт: Вещественное) (! 'one') (new) О верхняя граница (сорт: Вещественное) (! 'one') (new) k> единица измерения (сорт: Строковое) (! 'one') (new)

▼ Тренд изменения значений {АЛЬТЕРНАТИВА} (= 'copy') (ref-new) ф

О увеличение (тип: Строковое) (= 'copy') (ref-new)

О уменьшение (тип: Строковое) (= 'copy') (ref-new)

► модальность (= 'copy') (ref-new)

►■ Составной признак (элемент = характеристика) ( = 'copy') (ref-new)

► Дизъюнкция признаков * ([+] 'setmm') (ref-new)

► >* Вызываемое отклонение * ([+] 'setmm') (ref-new)

▼ Классификация по стадии процесса {СПИСОК} ([=] 'copymm') (ref-new) ^ 0

▼ Стадия {СПИСОК} (+ 'set) (ref-new) ^ 0

▼ Комплекс диагностических признаков {СПИСОК} ([+] 'setmm') (ref-new) ^

► Признак наблюдаемый (или измеряемый) ([+] 'setmm') (ref-new)

Рисунок 2 - Фрагмент онтологии диагностики процессов

В первом варианте среда разработки на платформе предоставляет возможность получения копии онтологии для добавления в неё особенностей в виде дополнительных элементов (терминов) и структурных связей этих элементов с уже зафиксированными диагностическими терминами.

Во втором варианте среда разработки на платформе предоставляет штатный редактор для формирования знаний, структура которых соответствует каждому из типов, приведённых в разделе 2. Эксперт вносит известные ему закономерности и факты в БЗ с помощью редактора.

В третьем варианте среда разработки предоставляет инструменты для построения решателя, выдвигающего гипотезы на основе (онтологической) БЗ [23]. К числу этих инструментов относятся:

• ■    редактор структуры представления результата и объяснения поиска гипотез;

• ■    среда кодирования и отладки программных единиц для решателя с библиотеками методов доступа и обработки онтолого-ориентированных знаний, данных и результатов;

• ■    средство поиска и выбора готовых программных единиц для решателя;

• ■    средство интеграции программных единиц и формирования решателя.

Заключение

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

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

Универсальная онтология проблемной области позволяет снизить трудоёмкость создания онтологии для конкретной ПрО либо её раздела; при использование разработанной проблемной онтологии требуется лишь уточнить некоторые её термины, характерные для ПрО. Решатель, ориентированный на данную онтологию, позволит существенно сократить время создания ЭС диагностики или СППР с интерпретируемым обоснованием полученных решений.

Онтология реализована на платформе IACPaaS и доступна по запросу всем заинтересованным пользователям. Наличие на платформе редактора онтологии и автоматическая генерация редактора БЗ обеспечивает процесс создания онтологии и БЗ на её основе инженерам знаний и экспертам ПрО.

Работа выполнена при частичной финансовой поддержке РФФИ (проекты №№ 18-0701079 и 18-29-03131) и ДВО РАН (проект № 18-МНТ-009).