В усіх атрибутів є область During consultation(під час консультації), яка визначає чи атрибут Ask first(отримає значення зразу), чи він Multi-valued(має кілька значень) і встановлюється Default certainty factor(коефіцієнт впевненості по замовчуванні). Якщо Ask First не перевірений і ви не конкретизували Prompt(підказка) для властивості, STRESS робить вивід значення для властивості, і ніколи не вимагатиме значення від користувача. Якщо Ask First не перевірений але ви конкретизували Prompt(підказка) для властивості, STRESS спершу пробує вивести значення для властивості. Якщо це не правильно використовується Prompt(підказка) яка є значенням користувача. If Ask First перевірений, STRESS зразу запитує користувача значення для властивості. Якщо користувач не знає відповіді, STRESS пробує вивести значення для властивості. В цьому випадку ви повинні конкретизувати Prompt(підказка). Коли опція Multi-valued перевірена, властивість може мати більш ніж одне значення протягом консультації в STRESS. Якщо STRESS знаходить більше значень для тієї ж властивості, ці значення призначені для деякого екземпляра об'єкта з такою ж властивістю. Якщо ви не перевіряєте опцію Multi-valued для властивості, вона може мати тільки одне значення. Для кожної властивості STRESS шукає значення, і створюється новий екземпляр з такою властивістю.

Вкладка Rule (правила) утиліти Editor використовується для зв’язування Object(об’єкти) між собою (рис. 3.8).

Рисунок .8 – Діалог вибору правил в STRESS

В даному діалоговому вікні можна створити нове правило, видалити уже існуюче або відредагувати створене правило. Для цього служать кнопки Add(Добавити) Change(Вибрати) Delete(Видалити). Також за допомогою кнопки Sort (Сортувати) можна відсортувати назви правил в алфавітному порядку.

Кожне правило характеризується певними властивостями (рис. 3.9). CF(коефіцієнт впевненості) вказує, чи правильно ви перенесли правило, якщо передумова відповідає дійсності.

Кожне правило в Stress міститься в Scope(контексти). Правило може використовуватися тільки тоді коли його контекст є активований. Умови в передумові правила можуть з'єднуватись з допомогою And чи Or. Коли умови з'єднюються And вони повинні цілком відповідати дійсності для правила яке є активним, коли вони з'єднюються Or тільки одній з умов доведеться відповідати дійсності.

Рисунок .9 – Розробка правил за допомогоюоболонки ЕС STRESS

Правило може виконувати цілий ряд дій, коли воно є правильним: Assert(заявка), Replace(заміна), Retract(витягування), Activate(активність). Assert(заявлена) дія поміщає завершене правило в базу знань STRESS, дія Replace(заміни) поміщає завершене правило в базу даних STRESS. Коли в базі даних вже є факт про властивість, цей факт видаляється з бази даних. Якщо це перший факт про властивість, Replace таке ж саме як Assert. Дія Retract(витягування) видаляє факт що рівний завершенню правила в базі знань STRESS. Якщо не має такого факту то нічого не відбувається. Правило може використовуватися в процесі висновку, тільки коли його контекст Active(активний). Головний контекст бази знань завжди активний, інші контексти активізуються правилами.

Умова в передумові правила складається з object, attribute, option (чи value) для властивості і між властивостями і опцією (Compare). Ви конструюєте умову за допомогою вибору об'єкта, властивості цього об'єкта, компаратора і варіанту або значення у разі цифрової властивості. Ця умова може додаватися передумові за допомогою вибору кнопки Add, або вона може використовуватися, щоб змінити відібрану умову. Для цифрових властивостей ви повинні ввести число в полі Value замість вибору Option, які необхідні для логічних і перерахованих властивостей.

Правила Stress містяться в Scope(контекстах) (рис. 3.10). Кожна база знань має як мінімум один контекст, який викликається головним контекстом.

Рисунок .10 – Контексти в STRESS.

Головний контекст створюється в Editor, але його можна змінити як нам потрібно. Правило може бути підсвічене тільки коли його контекст активний. Головний контекст завжди активний, тоді як інші контексти активуються правилами. За допомогою контекстів можна поділити базу знань на окремі частини де можна керувати типом висновку і вирішенням протиріч. Контекст ідентифікується назвою та має для настройки inference (вивід) і conflict resolution (вирішення протиріч).

Inference(вивід) здійснюється з використанням двох видів висновків, Backward-chaining(прямий пошук) і Forward-chaining(зворотній висновок). Вивід Backward-chaining це мета-керування. Коли мета з'являється в Agenda(програма роботи) висновок пробує знайти гіпотези надання значень цій властивості. Ці гіпотези розміщенні в Agenda і можуть привести до нових цілей. Коли мета розв'язується відміченими правилами або відповіддю від користувача, яка видалена з Agenda. Цей процес виконується поки Agenda порожній.

Conflict resolution (вирішення протиріч). Протягом backward-chaining можливо що буде більше однієї гіпотез даної мети. Якщо ви хочете щоб всі гіпотези були перевірені, ви повинні вибрати варіант No conflict resolution в Scope. Також можна видалити залишок гіпотез з Agenda, якщо гіпотеза визначена як дійсна. Порядок гіпотез в Agenda може залежати від їх порядку в базі правил (Rule order) або їх специфіки (Rule specificity).

Task(задачі) використовується, коли користувач бази знань запускає консультацію і просить вибрати задачу (рис. 3.11). Задача містить одну або більше властивостей, які будуть першою метою в процесі висновку.

Рисунок .11 – Задачі в STRESS.

Мета повинна найти значення для властивості. STRESS розміщує властивість в Agenda, там вона доступна для висновку. Задачі ідентифікуються назвою та містять в собі цілі в вигляді сукупності об’єктів та їх атрибутів.

Вікно Form(форм) містить список питань з типовими відповідями (рис. 3.12). Ця форма показується користувачу бази знань, коли STRESS хоче значення для однієї з властивостей в цій формі.

Коли користувач погоджується з типовим значенням – він натискає кнопку, щоб відповісти на питання. Для створення форм необхідно задати її Title(назву) та заповнити поля Object, Attribute, Default.

Рисунок .12 – Форми в STRESS

Function(функція) складається з обчислень в