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

Z

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

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

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

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

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

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

If and then CF

CFf

CFf

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

C CFc

де і є факти (crisp or fuzzy), якіпорівнюються з антецедентами відповідно і . В цьому випадку нечітка множина, яка описує значення нечіткого твердження в заключенні, обчислюється відповідно з формулою , де показує перетин двох нечітких множин, а функція належності визначається так

, для

є результатом нечіткого виводу для факту і простого правила If then C.

є результатом нечіткого виводу для факту і простого правила if then C.

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

CFc = min(Cf ,Cf ) * CFr.

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

Fc = Fc Fc … Fc , CFc = min(CFf ,CFf ,…CFf ) *CFr.

2.4Загальний вкладКоли затверджується нечіткий факт, цей факт трактується як вкладв заключення про нечітку змінну (він вкладає глобально). Якщо інформація про нечітку змінну вже була затверджена, тоді нове підтвердження про нечітку змінну комбінується з існуючою інформацією в нечіткому факті. Існує багато методів конбінування підтверджень. Ми використаємо таку формулу для обчислення нового значення нечіткого факту Fg = Ff Fc , де Fg є новим значенням нечіткого факту, Ff є існуючим значенням нечіткого факту, Fc -значення нечіткого факту, що затверджений .