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

CFc є підрахований фактор визначеності консеквенту.

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

Якщо тип правила є CRISP, тоді A’ повинен бути рівним A для того, щоб це првило запалити. В цьому випадку заключення C’ доррівнює C, і CFc = CFr * CFf.

Якщо тип правила є FUZZY-CRISP, тоді A’ повинен бути нечітким фактом з тими ж нечіткими змінними, що описані в A для того, щоб виконувалось порівняння і правило було розміщене на порядку денному.

не повинні бути рівними, а повинні перетинатись. Наприклад, нечіткі факти (температура висока) та (тиск високий) не порівнюються, тому що нечіткі змінні температура і тиск не одні і ті ж. Однак, якщо дані нечіткі факти (тиск низький), (тиск середній) і (тиск високий), як показано на мал.2, ясно, що (тиск низький) і (тиск середній) перетинаються і порівнюються, в той час, як (тиск низький) and (тиск високий) не порівнюються.





тиск

мал. 2 Порівняння нечітких фактів.

(з яким порівнюється факт A’).

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



в іншому випадку





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

.

є нечіткою множиною, яка представляє значення нечіткого консеквента.

.

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

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

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

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

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

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

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

Нечіткі множини Нечітка множина консеквенту Затверджена

нечітка множина