align="justify"> З
? -
завдань ? < b align="justify"> РАКЗ-методом розроблені відповідні
? PAKЗ-моделі вивода рішень в ІКЗ: Для B ? - завдання :
1) модель індуктивного виведення ідентифікаційної Б ? kЗ ( Bv ) з Спозі (B ? ) IND -оператор з алгоритмами ? АЛОБУЧ, ? vАЛАКВА, ? АЛУПР:
(3.26)
2) модель дедуктивного виведення ідентифікаційного рішення з Б ? kЗ ( Bv ) DED -оператор з алгоритмами АЛ ( B ? ) і ? АЛУПР по спостережуваних ? k -знание ? k1YВ:
(3.27)
Для C ? - завдання :
1) модель індуктивного висновок прогнозної Б ? kЗ ( С < b>? ) з Спозі (C ? ) IND -оператор з алгоритмами ? АЛОБУЧ, ? АЛУПР і заданими періодами прогнозу :
(3.28)
2) модель дедуктивного виведення прогнозної рішення з БvkЗ ( С ? ) DED -оператор з алгоритмами АЛ ( С ? ) і ? АЛУПР по спостережуваних ? k -знание ? k1YС:
(3.29)
=
Формули (3.26) - (3.29) представлені в операторном вигляді моделей виведення на ? k - знаннях за допомогою запропонованих спеціальних алгоритмів
Методика обчислення ПД р (*) виведеного рішення-слідства в умовах v-невизначеності
Логіка міркувань в v-КСВр представляється у ортогональної диз'юнктивній нормальній формі ( ОДНФ ), що дозволяє еквівалентно висловити показник достовірності ( ПД ) слідства як ймовірність р залежних v - квантових подій через р независимо подій, що відповідають змінним ОДНФ, тобто іменах v - квантів .
Нехай подія e:=«ОПР має ознакою x » вчиняється з імовірністю, а подія c: =« ЯКЩО має ознакою x , ТО відноситься до категорії A » настає с умовною ймовірністю , званої ймовірністю імплікації. . Тоді ймовірність одночасного настання подій e і c (як іншої події z ) визначається співвідношенням:
(3.30)
Якщо , і, тобто булеві змінні, то при заданих імовірностях появи істинних значень і ПД (ес).
Для більш складної події z1:= «ЯКЩО ОПР має ознакою АБО , АБО ... АБО ознакою , ТО належить класу A », маємо
ПД (z1)
(3.31)
ТЕОРЕМА 1. Нехай логіка цільового укладення по імені С вихідного v-кванта в v-КСВр описується булевої функцією F в ДНФ:
(3.32)
де - вхідні змінні мережі;
-внутрішні змінні мережі з відомими показниками достовірності та. Якщо функцію F (3.32) подати в еквівалентної ОДНФ F0:
(3.33)
Де (3.34)
то показник достовірності ПД ( С ) цільового укладення-рішення С в визначається за формулою :
(3.35)
отриманої з формули (3.33) шляхом ...