ПРИНЦИПЫ РЕАЛИЗАЦИИ НЕЧЕТКОГО РЕШАТЕЛЯ ДЛЯ ИНСТРУМЕНТАЛЬНОГО КОМПЛЕКСА АТ-ТЕХНОЛОГИЯ

Г.В. Рыбина, Р.В. Душкин, Е.Н. Кабанова
(Московский государственный инженерно-физический институт (технический университет), Россия)

Автоматизированное построение баз знаний (БЗ) средствами комплекса АТ-ТЕХНОЛОГИЯ осуществляется в несколько этапов, наиболее важным из которых является процесс приобретения знаний на базе специальных компьютерных методов извлечения знаний из экспертов. Однако знания, извлеченные из экспертов, как правило, содержат различные виды так называемых НЕ-факторов, которые проявляются в умолчаниях, неточных сравнениях, подсознательных знаниях и др. Для представления таких знаний в БЗ требуется точная формализация, например, широко используется аппарат нечетких множеств и др. методы.

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

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

В настоящее время реализована бета-версия нечеткого решателя, которая находится в стадии тестирования в составе комплекса АТ-ТЕХНОЛОГИЯ.