іпотеза під час свого виникнення (за умови наявності причин, що породжують цю гіпотезу) має ступінь своєї істинності, залежну від ступеня виконання породжують причин, тобто міри «спрацьовування» даних правил. Значення істинності виробляються на безперервній шкалою [0, 1]; 0 - абсолютно хибно, 1 - абсолютно істинне.
Наприклад, існує правило, що вихід з ладу лінії механічної обробки (без наявності резервних потужностей) зменшує вихід зібраних агрегатів в підсистемі складання агрегатів, причому достовірність цього правила дорівнює 60%. Нехай далі в якості вихідної інформації задано, що рівень виходу з ладу однієї з ліній механічної обробки дорівнює 70. Тоді буде породжена гіпотеза про збільшення рівня ситуації, пов'язаної із зменшенням виходу зібраних агрегатів зі ступенем істинності 60 * 70/100 (%)=42% =0,42.
Для обчислення підсумкового прогнозованого рівня в системі використовуються дві формули обліку гіпотез. Перша формула еквівалентна формулі умовної ймовірності Шортліффа, з її допомогою здійснюється перерахунок підсумкового прогнозованого рівня для гіпотез, що підвищують рівень даного чинника:
С=С0 + е * (100-С0) (1)
Тут Со - поточний рівень (з інтервалу [0, 100]); е - ступінь істинності черговий гіпотези (з інтервалу [0, 1]); С - результуючий рівень (з інтервалу [0, 100]).
Аналогічно для гіпотез, що знижують рівень даного чинника, використовується формула
С=С0 * (1-е) (2)
Як видно з наведених вище формул, вони не взаємно симетричні в тому сенсі, що залежно від порядку, в якому ці дві формули застосовуються, результат буде різним. Для обліку цієї асиметрії всі зв'язки з пакету правил, що підвищують рівень даного чинника, «активізуються» раніше зв'язків, понижуючих його рівень. Таким чином, на початку породжуються всі гіпотези про підвищення (і діє формула (1)), потім - всі гіпотези про зниження (і діє формула (2)).
Отже, кожен пакет правил має чотири компоненти: 1) правило, що відбиває самодінаміку фактора-слідства (стабільність); 2) групу правил, що породжують гіпотези про збільшення рівня фактора-слідства; 3) групу правил, що породжують гіпотези про зменшення рівня фактора-слідства; 4) два правила, що містять формули обліку гіпотез (1) і (2).
Як відомо, в експертних системах знання, що описують предметну область, як правило, винесені за межі основного програмного тексту і становлять якісно самостійний елемент - базу знань. Якщо вміст БЗ піддається однакової структуризації і може бути уніфіковано, то з'являється можливість автоматизувати процес вилучення знань і формування моделі, що дуже важливо при БЗ з великим числом правил.
Так як всі правила описаної моделі мають незмінну і змінну частини, завдання автоматизації полягає в тому, щоб позбавити користувача від надлишкового введення повторюваних частин, виключити помилки і спростити процес введення змінних частин правил.
Спеціальна програма за допомогою запитів дозволяє вводити змінні частини правил. Щоб процес відповіді на запит не був трудомістким і щоб уникнути помилок при введенні компонентів, що мають фіксований список значень, на екрані висвічується набір можливих відповідей («меню»). При цьому користувач має можливість за допомогою клавіш управління ...
