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

(defrule Невизначене_правило (declare (CF 0.8)) (вік_ Джона молодий )

=> (assert (Джон відвідує школу)))

де похибка_швидкість і вік_ Джона є нечіткі змінні, нуль і молодий є нечіткими термінами, більше_або_менше - модифікація нечіткого терміну, а 0,9 і 0,8 є фактори визначеності, які зв’язані відповідно з фактом і правилом.

2.3Стратегії виводу.

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

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

2.3.1Прості правила.

Розглянемо просте правило, яке має форму

if A then C CFr

A’ CFf

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

C’ CFc

де:A є антецедент правила; A’ є факт бази даних, з яким проводиться порівняння антецеденту;

C є консеквент правила; C’ є фактично підрахований консеквент;

CFr є фактором визначеності правила; CFf є фактор визначеності факту;

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

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

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

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

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

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