Моделирование рассуждений в системе MIR

Введем следующие обозначения:

• О — опрос признаков из множества S;

• П — порождение множества гипотез Г;

• И — исключение множества гипотез Г.

Элементы данных типа «стрелка», соответствующие отношению R_l2, будем называтьотрицательными связями, остальные - положительными.

Работа системы MIR начинается с работы модуля О, затем модуль П строит множество гипотез Г на основе анализа положительных связей S с Г для подтвержден­ных признаков S. Множество гипотез Г используется модулем О для порождения нового множества признаков S₁ связанных с гипотезами из Г положительными связями, и осуществления их тестирования. К подтвержденным признакам из S₁ применяется модуль П для порождения нового множества гипотез Г₁. Выполняются операции Г: = Г Г₁, S: = S S₁. Этот процесс продолжается итеративно до стабилизации множества S и Г. Затем выполняется модуль И исключения гипотез изГ на основе анализа отрицательных связей для подтверждения симптомов и анализа положительных связей для обусловленных признаков, то есть таких неподтвержденных признаков; отсутствие которых имеет большее значение для принятия решения, чем их присутствие.

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

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

Дата добавления: 2015-07-02