ВУН використовують, коли висловлювання та відношення мають вірогідність їх дії або присутності.
Надійність тверджень. Щоб надійність ВУН була гарантована, необхідно розрізняти залежні і незалежні твердження, мати інтервальні значення імовірності тверджень. При інтервальній оцінці невпевненості твердження А кажуть, що імовірність Р(А) лежить в інтервалі {Pmin(A), Pmax(A)}. Pmin(A) характеризує ступінь довіри (Р(А)≥Pmin(A)), Pmax(A) – ступінь недовіри (Р(~А)≥1-Pmax(A)), Pmin(A)-Pmax(A) – невпевненість. Якщо Pmin(A)=Pmax(A), то знання абсолютно надійні, і навпаки, якшо Pmin(A)=0 і Pmax(A)=1, то значення твердження невідоме. Чим менший інтервал, тим більша надійність твердження.
Надійність (сила) правил.Коли є правило (якщо А, то С) з умовною ймовірністю Р(С/А)=Х і Р(~С/~А)=Y, то Pmax(C)=1-Y*(1- Pmax(A)), Pmin(C)=X* Pmin(A). Числа X і Y характеризують силу правила. Якщо X і Y малі, то правило називають слабким, якщо великі – сильним. Величина X вказує на ступінь зниження лівої, а Y підвищення правої межі інтервалу для висновку порівняно з інтервалом умови.
Комбінація висновків.Коли для одержання висновків використовують декілька правил, то для підсумкової оцінки використовують наступну схему: ; .
Для двох незалежних подій:
;
Для конфлікту (Pmin(A1)>0, Pmax(A1)=1 і Pmin(A2)=0, Pmax(A1)<1):
; ;
Для правил, що мають складні твердження із різними логічними операторами:
Оператор
Незалежні твердження
Залежні твердження
АБО
І
НЕ
;
Показник визначеності висновку (ПВ) складається з результуючого показника (РП) (добутку показника визначеності передумови (наймінімальніший з показників складових тверджень)і правила) і початкового показника (ПП) визначеності факту, якщо такий існував:
при РП, ПП>0;
при РП, ПП<0;
при ПП, РП<0.
Виведення в семантичних мережах(СМ)
На СМ в основному реалізуються функції пошуку. Для виконання інших операцій застосовують продукцій ні або логічні системи.
Пошук оформлюється у вигляді запитів двох видів:
- запит на існування, коли можливі відповіді “так” чи “ні”;
- запит на перелік, коли відшукуються всі можливі вкладення.
Для реалізації інших, наприклад, логічних, виведень мережа повинна мати елементи пізнавальної активності, реалізовані за допомогою віртуальних відношень, що мають правила побудови фактів.