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

=> (assert(тварина може літати)))

Невизначеність і нечіткість можуть мати місце одночасно, наприклад:

(deffact Нечіткий І Невизначений Факт (похибка_швидкість більше_або_менше нуль) CF 0.9)

(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 для того, щоб виконувалось порівняння і правило було розміщене на порядку денному.