12.4. Приклади використання пм

MYCIN - система для діагностики та лікування інфекційних захворювань.

Був розроблений кістковий мову, інакше - оболонка ЕС. Декларативні знання системи MYCIN описуються у вигляді "об'єкт-атрибут-значення" і кожній трійці приписується коефіцієнт впевненості, що визначає ступінь надійності знань. Процедурні знання описані у вигляді класичного правила продукції. Механізм логічного виведення заснований на зворотному ланцюжку міркувань. Пошук проводиться в ієрархічно упорядкованому просторі станів.

У системі EMYCIN (оболонка) посилена предметної області стосовно MYCIN функція редагування БЗ, доведена до високого рівня система пояснення ходу рішення завдання, а також апарат навчання системи. Написаний на ФОРТРАНе.

OPS-5. Універсальна мова інженерії знань, призначений для розробки ЕС, що використовуються в комерційних додатках. Розробник - університет Корнегі-Меллон. Декларативні знання в системі описані у вигляді "Об'єкт-атрибут-значення". Процедурні знання описані у вигляді класичних правил продукції. У механізмі логічного висновку використовується стратегія прямої ланцюжка міркувань, реалізується метод застосування одного і того ж правила в різних контекстах; для формування конфлікту набору та вирішення конфлікту використовуються спеціальні методи (RETELEX), які дозволяють домогтися високої ефективності за рахунок керуючої структури, де перевага віддається правилами з посиланням на самий останній згенерований елемент "об'єкт-атрибут-значення".

Тема 13. Технологія проектування експертних систем на основі логічної моделі подання знань

План

13.1. Поняття логічної моделі знань.

13.2. Характеристика мови предикатів першого порядку. Особливості подання знань.

13.3. Апарат логічного висновку.

13.4. Особливості машинної реалізації мови предикатів першого порядку.

13.1. Поняття логічної моделі знань

В основі логічної моделі знань лежить поняття формальної теорії та відносини, які існують між одиницями знань можна описувати тільки за допомогою синтаксичних правил, допустимих в рамках цієї теорії.

Формальна теорія задається завжди четвіркою символів S = <B, F, A, R>, де

В - кінцеве безліч базових символів, інакше - алфавіт теорії S;

F - підмножина виразів теорії S, званих формулами теорії. Зазвичай є ефективна процедура, яка представляє собою сукупність правил, які дозволяють з елементів множини У будувати синтаксично правильні вирази.

А - виділене безліч правил, які називаються аксіомами теорії, тобто безліч апріорно істинних формул.

R - кінцеве безліч відносин {r1, r2, ... , Rn} між формулами, званими правилами виводу. Для будь-якого ri існує ціле позитивне число j, таке, що для кожного безлічі, що складається з j формул, і для кожної формули F ефективно вирішується питання про те, чи знаходяться ці j-формули щодо ri з формулою F. Якщо ri виконується, то F називають безпосереднім наслідком F-формул за правилом ri.

Наслідком (висновком) формули в теорії S називається така послідовність правил, що для будь-якого з них представлена ​​формула явл-ся або аксіомою теорії S, або безпосереднім наслідком.

Правила виводу, які розробляються проектувальниками, позволдяют розширити безліч формул, які явл-ся аксіомами теорії.

Формальна теорія зв. розв'язною, якщо існує ефективна процедура, що дозволяє дізнатися для будь-якої заданої формули, чи існує її висновок в теорії S.

Формальна теорія S зв. Непротіаворечівой, якщо не існує такої формули А, що і А, і не А виведені в цій теорії.

Найбільш поширеною формальною теорією, що використовується в системах штучного інтелекту являється числення предикатів, тобто функцій, які можуть приймати тільки 2 значення.

До достоїнств логічної моделі відносять:

- Наявність стандартної типової процедури логічного висновку (докази теорем). Проте така уніфікація тягне за собою основний недолік моделі - складність використання в процесі логічного виведення евристик, що відбивають специфіку ПЗ.

До інших недоліків логічної моделі відносять:

- "Монотонність";

- "Комбінаторний вибух";

- Слабкість структурованості описів.