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

Для правила FUZZY-CRISP, заключення C’ дорівнює C, а Cfc = CFr * CFf * S, де S є міра подібності між нечіткими множинами (що визначається нечітким паттерном A) і (з яким порівнюється факт A’).

Міра подібності базується на мірі можливості P і мірі необхідності N. Вона обчислюється у відповідності з формулою, що приведена в [12]

є доповненням до , яка описується такою функцією належності:

.

Якщо тип правила є FUZZY-FUZZY, і нечіткий факт та нечіткий паттерн антецедента порівнюються так же, як і в правилі типу FUZZY-CRISP rule, тоді, як показано в [13], антецедент і консеквент такого правила пов’язані нечітким відношенням , де є нечіткою множиною, яка представляє значення нечіткого антецедентного паттерна, є нечіткою множиною, яка представляє значення нечіткого консеквента.

Обчислення заключення базується на композиційному правилі виводу [16], яке яке може бути описане наступним чином: , де є нечіткою множиною, яка представляє значення нечіткого об’єкту консеквента. Функція належності обчислюється так само, як і в [17]: , де .

Фактор визначеності заключення обчислюється так CFc = CFr * CFf.

Приклад правила типу FUZZY-FUZZY:

(defrule правило- fuzzy-fuzzy ; антецедент і консеквент- є нечіткі об’єкти.

(температура висока)

(assert (зміна- температури мала)))

(температура середня) ; факт з бази даних.

Графічна ілюстрація порівняння нечіткого факту та нечіткого паттерну, генерація нечіткого заключення показані на

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

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

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

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

If and then CF

CFf

CFf

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

C CFc