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

(slot вага (type FUZZY-VALUE нч-вага))

(defrule велика персона

(персона (ім’я ?n)

(вага важкий)

(зріст високий)) => (print t ?n “є велика персона”))

Невизначеність.

Невизначеність має місце, коли хтось не має абсолютної впевненості про частину інформації. Ступінь невизначеності звичайно представляється точним числовим значенням на шкалі від 0 до 1. Невизначені факти мають в системі СИКОН таку форму: (факт) [CF фактор визначеності]. CF діє як обмежувач між фактом і фактором визначеності, а [ ] показують опціональну частину. Наприклад (прогноз СОНЯЧНИЙ) CF 0.8 є факт, який показує, що погода буде сонячною з визначеністю 80%. Але якщо CF пропущений, тоді СИКОН вважає, що погода буде сонячною з визначеністю 100%.

Фактор визначеності може бути також зв’язаний з усім правилом, як показує такий приклад:

(defrule літаюча-тварина

(declare (CF 0.95)) ; об’являє фактор визначеності правила

(тип тварини птиця)

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

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

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

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

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

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

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

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

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

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

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

if A then C CFr

A’ CFf

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

C’ CFc

де:

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

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

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