уктури за допомогою алгоритму? АЛОПТ і формування робочих? - КСВр (B?) І? - КСВр (C?).
7. Висновок ідентифікаційного рішення? ksRCw з Б? kЗ (B?) і прогнозного рішення? ksRCw з Б? kЗ (C?) за допомогою DED-оператора і синтезованих алгоритмів АЛ (B?), АЛ (C?) і АЛУПР відповідно.
векторні-матричне подання ? k-знань у вигляді векторно-матричних ? PАКЗ-моделей).
Елементні ? k -знання 1- го порядку містять в доменах тільки один «1» - ий компонент, наприклад, в vk1 A і в vk1 B при ?= v : Інтервальні ? k - знання 1- го порядку містять хоча б в одному домені більш одиного «1» - го компонента, наприклад, у точній tk1 C (при ?= t ) та імовірнісний vk1 C (?= v ): (3.13)
Матричний ? - квант 2- го порядку
має вигляд:
(3.14)
У наведених формулах (3.13) і (3.14) відображена в основному інформаційна складова ? k -знание (без повних семантичної і процедурної складових? k- знань).
Повна векторно-матрична запись? k1 с1 з вихідним доменом включає і наступну семантику ? - кванта 1 го порядку:
(3.15)
Семантика ? k1c1: «ЯКЩО ОПР володіє 2- м | p21 АБО 3- м | p31 значенням ознаки x1 І 1 м | p12 значенням ознаки x2 , ТО категорія ОПР визначається 1- м | p13 значенням ознаки x3 ; з ПД р 3ц= p ( c1 ), який обчислюється алгоритмом А ( с1 ) із заданим ПД імплікації p ( c1 ), де ПД вказує на ПД i- го значення j- го ознаки ».
АНАЛІТИЧНЕ предикатні уявлення ? k-знань
(3.16)
Таким чином, визначення 3.2, що породжує алгоритмічну процедуру виду (3.12), а також просторове, векторно-матричне та аналітичне уявлення ? PАКЗ - моделей визначає рішення поставленої А ? - завдання.
машинна АЛГЕБРА маніпулювання ? K-ЗНАННЯМИ
(3.17)
Лемма 3.1. Елементний - квант знань належить інтервального - кванту , тобто тоді і тільки тоді, коли
(3.18)
де Ok є 0-квант , який містить лише « 0 » - Перші компоненти.
Лемма 3.2. Інтервальний - квант міститься в интервальном - кванті , тобто тоді і тільки тоді, коли
(3.19)
Лемма 3.3. Інтервальний - квант не перетинається з інтервальним - квантом , то є? тоді і тільки тоді, коли
(- квант ), (3.20)
де - квант містить хоча б один домен з « 0 » - ми компонентами.
Лемма 3.4. Мінімальний інтервал, що містить задану сукупність елементів представляється інтервальним - квантом знань виду:
(3.21)
Оператори традукция ( < b align="justify"> висновок приватного з приватного ):
, () (3.22)
в шести варіантах:
де а1 , а2 , ..., а6 - операторні алгоритми.
Оператор індукції (висновок загального з окремих випадків ):
(3.23)
Оператори дедукції ( висновок приватного із загального ):
(3.24)
(3.25)
де - -квант спостережуваних знань про ОПР, - результат дедуктивного виводу як нові ? k - знання ...
