Управління та безпека: відмінності між версіями
Вилучено вміст Додано вміст
Рядок 41:
===Система можливостей===
Система можливостей - це множина <math>X</math> систематизованих документів, у яких дається докладний і вичерпний опис можливостей та знань у певній формі. Іншими словами, це реляційна система <math>\langle X,\leq\rangle,</math> у якій відношення часткового порядку визначає класифікацію на множині <math>X.</math> Можливість - це така властивість предмета чи об'єкта оточуючого середовища, яка дозволяє використовувати її для досягнення певної мети. Мета називається досяжною, якщо її можна реалізувати за наявних можливостей.
На множині цілей <math>\mathfrak{T}</math>, що визначають діяльність системи, визначається відношення підпорядкування "надціль-ціль" (тобто відношення часткового порядку <math>\geq</math>), де досягнення надцілі є безпосереднім наслідком досягнення підцілей (підцілі деталізують надціль). Надцілі, що не підпорядковані жодній іншій цілі, називаються основними, а підцілі, яким не підпорядковані жодні інші цілі - початковими цілями.
В залежності від головної цілі з множини <math>X</math> обирається підмножина <math>A\subset X</math> можливостей, комбінація та виконання яких означає досягнення поставленої мети. Оскільки можливостей може бути дуже багато, то виникає необхідність побудови експертних систем, що допомагають приймати рішення. При цьому мова, на якій користувач спілкується із експертною системою, повинна відрізнятися від розмовної мови. Вона збагачена додатковою термінологією й полишена від маловживаних конструкцій. Разом із тим, така мова є недостатньо точною, а деяких випадках багатозначною. Внаслідок цього мова зазнає нормалізації. Нормалізована мова - створена на основі природної мови мова, обмежена з точки зору граматики й семантики. Обмеження визначаються рамками предметної області й множиною вирішуваних у ній задач.
Порядок на підмножині частково впорядкованої множини є індукованим порядком надмножини. Підмножина <math>A</math> називається кофінальною у частково впорядкованій множині <math>\langle\mathfrak{A},\leq\rangle,</math> якщо для будь-якого <math>x\in \mathfrak{A}</math> існує <math>\tilde{x}\in A</math> таке, що <math>\tilde{x}\geq x.</math>
Якщо <math>\langle\mathfrak{A}_{1},\leq_{1}\rangle</math> та <math>\langle\mathfrak{A}_{2},\leq_{2}\rangle</math> - частково впорядковані множини, то через <math>\langle\mathfrak{A}_{1},\leq_{1}\rangle + \langle\mathfrak{A}_{2},\leq_{2}\rangle</math> позначається часткове впорядкування <math>\leq</math> множини <math>\mathfrak{A}_{1}\cup\mathfrak{A}_{2}</math> (за припущення, що <math>\mathfrak{A}_{1}\cap\mathfrak{A}_{2}\neq\emptyset</math>), яке співпадає на <math>\mathfrak{A}_{i}</math> із <math>\leq_{i},</math> та таке, що для будь-яких <math>x_{i}\in\mathfrak{A}_{i}</math> маємо <math>x_{1}\leq x_{2}.</math>
===Система документації===
| |||