>
В· Можливість інкрементного нарощування: додавання нових правил в базу знань відбувається відносно незалежно від інших правил.
В· Зручність модифікації (як наслідок модульності): старі правила можна змінювати і замінювати на нові відносно незалежно від інших правил.
В· Застосування правил сприяє прозорості системи.
Остання властивість - це важливе, відмітна властивість експертних систем. Під прозорістю ми розуміємо здатність системи до пояснення прийнятих рішень та отриманих результатів. Застосування "якщо-то"-правил полегшує отримання відповідей на наступні основні типи питань користувача:
(1) Питання типу "як": Як ви прийшли до цього висновку?
(2) Питання типу "чому": Чому вас цікавить ця інформація?
Якщо
тип інфекції - це первинна бактеріємія і
матеріал для посіву був відібраний стерильно, і
передбачувані ворота інфекції - шлунково-кишковий тракт
То
є вагомі аргументи (0.7) за те,
що інфекційний агент є бактерією
Рис. 14. 2. "Якщо щось"-правило медичної консультативної системи MYCIN (Shortliffe, 1976). Параметр 0.7 показує ступінь довіри цьому правилу. br/>
"Якщо щось"-правила часто застосовують для визначення логічних відносин між поняттями предметної області. Про чисто логічні відносини можна сказати, що вони належать до "категоричним знань", "категоричним" - тому, що відповідні твердження завжди, абсолютно вірні. Проте в деяких предметних областях, таких, як медична діагностика, переважають "м'які" або імовірнісні знання. Ці знання є "м'якими"; в тому сенсі, що говорити про їх застосовності до будь практичних ситуацій можна тільки до певної міри ("часто, але не завжди"). У таких випадках використовують модифіковані "якщо-то"-правила, доповнюючи їх логічну інтерпретацію ймовірнісної оцінкою. Наприклад:
якщо умова А то висновок У з упевненістю F
Правила, що містяться в базі знань, мають вигляд
ІмяПравіла: якщо Умова то Висновок
де Висновок - це просте твердження, а Умова - це набір простих тверджень, з'єднаних між собою операторами і і або. Ми також дозволимо в частині умови використовувати оператор не, хоча і з деякими застереженнями. Зауважимо, що оператор і пов'язує операнди сильніше, ніж або, що відповідає звичайними угодами. p align="justify"> Розглянемо ще одну невелику базу знань, яка може допомогти локалізувати несправності в простій електричної схемою, що складається з електричних приладів і запобіжників. Електрична схема показана на рис. 14.6. Ось одне з можливих правил:
Якщо
лампа1 включена і
лампа1 не працює і
предохранітель1 завідомо цілий
то
лампа1 завідомо несправна.
Ось інший приклад правила:
Якщо
радіатор працює
то
предохранітель1 завідомо цілий.
Ці два правила спираються на деякі факти (що відносяться до нашої конкретної схемою), а саме що лампа1 з'єднана з предохранітель1 і що лампа1 і радіатор мають загальний запобіжник. Для іншої схеми нам знадобиться ще один набір правил. Тому було б краще сформулювати правила в більш загальному вигляді (використовуючи прологовскіе змінні) так, щоб вони були застосовні до будь-якій схемі, а потім вже доповнювати їх інформацією про конкретну схемі. Наприклад, ось одне з корисних правил: якщо прилад включений, але не працює, а відповідний запобіжник цілий, то прилад несправний. <В
Рис. 14. 6. З'єднання між запобіжниками і приладами в простій електричній схемі. br/>
На наш формальний мову це транслюється так:
правіло_поломкі:
якщо
Прилад включений і
ні (Прилад працює) і
Прилад з'єднаний з Запобіжник і
Запобіжник завідомо цілий
То
Прилад завідомо несправний.
База знань такого роду показана на рис. 14. 7. br/>
13. Тризначна семантика для модальної логіки предикатів. Приклад
Семантику для модальної логіки предикатів можна визначити, як для класичної. Проілюструємо модальну семантику, ввівши апроксимацію (замін...