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

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

В реальному світі існує багато знань, які є неточні, невизначені, двозначні і ймовірностні по своїй природі. Багато із сучасних БПЗ-систем використовують різні підходи для керування невизначенністю знань, такі як фактори визначенності [4] , Байєсовські моделі або моделі Дебстера-Шафера [5]. Деякі системи, такі як Fault [6], Flops [7], FRIL [8] та FLISP [9] підтримують нечіткий вивод, але вони не можуть керувати невизначенністю. Нечіткість і невизначенність- це два неточних поняття, які використовуються в системі СИКОН. Далі ми будемо обговорювати загальну теорію нечіткості і невизначенності та їх вплив на оцінку правил.

Нечіткість.

Нечіткість [10] має місце, коли границі інформації не ясно визначені. Представлення цього типу інформації в системі СИКОН базується на теорії нечітких множин [11]. В цій теорії належність елемента множині може бути частковим з відповідною ступінню (можливість).

в інтервалі [0,1], яке представляє ступінь належності x нечіткій множині A. Наприклад, нечіткий термін молодий міг би бути визначеним за допомогою нечіткої множини представленої в таблиці 1 і на малюнку 1.

Ступінь належності

25 1.0

30 0.8

35 0.6

40 0.4

45 0.2

50 0.0



Табл. 1. Нечіткий термін МОЛОДИЙ. Мал. 1. Розподіл можливості

Значення ступені належності відповідає розподілу можливості терміну МОЛОДИЙ. Всі нечіткі змінні повинні бути визначені перед використанням в конструкціяхтипу deftemplates таким чином:

)) ; список первинних термінів

- специфікація нечітких термінів(таких як гарячий,холодний,теплий),які вико-

), з допомогою стандартної функції, або як лінгвістичний вираз, що використовує наперед визначені терміни з допомогою бінарних операторів and і or.

Приклад :

(deftemplate вік ; визначення нечіткої змінної ’вік’

0 120 років ; універс

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

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

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

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

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

Приклади:

(deftemplate персона

(slot ім’я (type SYMBOL))

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