Представлення неточних знань та стратегії неточного виводу в умовах невизначеності, Детальна інформація

Z

Температура середня зміна невелика зміна

Температура висока затверджена ???



Мал.3.Композиційне правило виводу(max-min)

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

Складні правила

з неявною кон’юнкцією між ними. Вони трактуються як множина правил з єдиним консеквентом. Якщо консеквентне твердження є нечіткий факт, нечітке значення обчислюється за допомогою слідуючого базового алгоритму, що приведений в [14]:

CF





- - - - - - - - - - - - - - - - - -

CFc

показує перетин двох нечітких множин, а функція належності визначається так



then C.

then C.

Фактор визначеності заключення обчислюється відповідно з моделлю системи MYCIN’S

) * CFr.

Приведений вище алгоритм може застосовуватись повторно, щоб управляти будь-якою комбінацією антецедентних паттернів, тобто

) *CFr.

Загальний вклад

-значення нечіткого факту, що затверджений .

Невизначеності також агрегуються, формуючи загальну невизначеність за такою формулою CFg = maximum(CFf, CFc).

Можливо затверджувати факт в правій частині правила зі специфічним фактором визначеності. Замітимо, що фактор визнпченості буде також обчислюватись відповідно з природою правила і будь-яким глобальним вкладом. Обчислений фактор визначеності потім буде перемножатись з фактором визначеності, який заданий в стверджувальному виразі.Це корисний метод, який встановлює зважений фактор визначеності для правила з багатьма консеквентами.

2.5.Дефазифікація

Виходом нечіткого виводу є нечітка множина, яка описує нечіткий розподіл заключення. Однак, в деяких випадках, таких як застосування в управлінні, потрібно вибирати єдину точку, яка відображатиме найкраще значення множини. Цей процес редукції нечіткої множини в єдину точку називається дефазифікацією. Широко застосовується метод, який обчислює центр ваги (або момент) всієї множини. Метод центру ваги може бути формально записаний так

,

- універс.

В системі СИКОН нечітка множина визначається множиною точок, що розглядаються за допомогою лінійних сегментів. Тоді інтеграл редуцюється до простого сумування