>
? - квант 0-го рівня :
(3.5)
де - функція вибору k-го Елемети із сукупності.
Термінальний векторний ?- квант 1-го рівня:
(3.6)
де dj - домени зі значенням ознак;
«:» - роздільник доменів.
- Термінальний характеристичний ?- квант 1-го рівня:
(3.7)
де з наступною семантикою : « фіксується мн-во Y j спостережень, якщо значення j-го ознаки ОПР в даний момент спостерігається з ПД, то значення характеристичної функції; інакше, спостереження відсутній і значення ».
(б) алгоритмічні оператори:
Оператор суперпозиції (П-оператор):
(3.8)
Рядковий оператор конкатенації ( -оператор):
(3.9)
Матричний оператор конкатенації ( -оператор):
CONi=1m [ei]=[e1 e2 ... em] T. (3.10)
Спираючись на постуліруемие термінальні -знання (а) і алгоритмічні оператори (б) визначимо аксіоматично строго -знання як? РАКЗ - моделі подання знань.
Визначення 3.2 . Алгоритмічні структури , одержувані з термінальних елементів множини ( 3.4) шляхом кінцевого числа застосувань до них П -оператора (3.8),-оператора (3.9) і-оператора (3.10), називаються різнотипними k - знаннями (? PАКЗ -Моделі), в умовах описаної раніше ? - невизначеності .
3.2.3 Визначення ключових понять інженерії квантів знань (ІКЗ)
· ? Спозі - сценарні приклади навчальних знань:
інформація від експертів предметної області, описи об'єктивних фрагментів сценарію прийняття рішень у вигляді висловлювань продукційного типу з урахуванням умов ? - невизначеності:
«ЯКЩО (логічна комбінація посилок ) ТО ( наслідок )»
· ? ТЕД - таблиця емпіричних даних в умовах ?- невизначеності.
У первісному вигляді містить m рядків (спостережень) і n стовпців (ознак ОПР); останній стовпець стандартно відповідає цільовим ознакою ОПР.
· ЛСВР - логічна мережу можливих міркувань:
Визначення 3.3. навчати логічною мережею можливих міркувань (ЛСВР) називається орієнтований граф, що синтезується по заданих ? Спозі або ? ТЕД допомогою алгоритму ? АЛОБУЧ і володіє порядкової функцією , визначеної на подмножествах-рівнях вершин, і наступними властивостями :
1) всі вершини ( вузли мережі ) відповідають висловлювань з ? Спозі конкретної предметної області, а < b> дуги з вказують на причинно-наслідкові зв'язки між вузлами з логічними зв'язками « І », « АБО », « НЕ »;
2) всі вузли при відповідають вхідний посилкової інформації щодо деяких наслідків із заданими ПД і;
3) всі вузли при є цільовими (вихідними) узламі- висновками з обчислюваними ПД , а всі вершини проміжних рівнів між і
відповідають проміжним следствиям .
· ? - КСВр - ? - квантова мережу виводу рішень
Визначення 3.4. Цілеспрямованої ? - квантової мережею виведення рішень ( < b>? - КСВр) називається результат перетворення графа допомогою алгоритму ? АЛАКВА в граф, що володіє наступними властивостями:
1) всі вершини відповідають сгенерованими різнорівневим ? -квантів, що містить ? Спозі конкретної предметної області, а дуги указують на логічні зв'язки ?- квантових подій;
2) всі відповідають вхідним ? k - знанням-посилкам з іменами щодо ? k- знань-наслідків з іменами із заданими показниками достовірності;
3) всі є цільовими ? k - знаннями-висновками з іменами і обчислюваними ПД , а всі проміжні вершини графа відповідають проміжним ? k - знан...
