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

Серед правил рівного пріорітету використовується поточна стратегія розв”язування конфліктів, яка визначає розміщення серед інших правил рівного пріорітету.

СИКОН забезпечує сім стратегій розв”язування конфліктів подібних стратегіям системи OPS5 [3]. Поточна стратегія може бути установлена використовуючи команду set-strategy (яка буде перевпорядковувати порядок денний з допомогою нової стратегії).

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

2.1Нечіткість.

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

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

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

251.0

300.8

350.6

400.4

450.2

500.0

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

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

(deftemplate<ім”я>[“<коментар>]<від>< до> [<вимір>] ; універсум ( ; … ; )) ; список первинних термінів

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

рuстовуюься для опису нечіткої змінної. Первинний термін (i=1, …n) має форму (<ім’я> <опис нечіткої множини>),де < опис нечіткої множини > визначає функцію належності даного первинного терміну.Функція належності може бути описана або як сінглетонне представлення(списком пар ), з допомогою стандартної функції, або як лінгвістичний вираз, що використовує наперед визначені терміни з допомогою бінарних операторів and і or.