Управління та безпека: відмінності між версіями
Вилучено вміст Додано вміст
Рядок 45:
На множині цілей <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>
| |||