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

((молодий (25 1) (50 0)) ; опис теміну МОЛОДИЙ

(старий (50 0) (65 1)))); опис теміну СТАРИЙ

Нечіткий слот має форму

Slot <ім’я слоту> (type FUZZY-VALUE <ім’я_нечіткий_ deftemplate >)

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

Приклади:

(deftemplate персона

(slot ім’я (type SYMBOL))

(slot зріст (type FUZZY-VALUE нч-зріст))

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

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

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

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

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

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

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

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

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

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

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

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

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

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