stify">
3. Додаткові модулі Засоби цієї категорії являють собою автономні програмні модулі, призначені для виконання специфічних завдань в рамках обраної архітектури системи вирішення проблем.
2.2 Оболонки експертних систем
Клас програм, які називаються оболонкою експертної системи, створювався з метою дозволити непрограмістів скористатися результатами роботи програмістів, що вирішували аналогічні проблеми. Так, програма EMYCIN дозволяє використовувати архітектуру системи MYCIN в додатку до іншим областям медицини (нагадаємо, що програма MYCIN була орієнтована тільки на захворювання крові). На базі EMYCIN були розроблені експертні системи як для медицини (наприклад, система PUFF для діагностики легеневих захворювань), так і для інших галузей знань, наприклад програма структурного аналізу SACON.
Цілком очевидно, що оболонки експертних систем є програмами, орієнтованими на досить вузький клас завдань, хоча і більш широкий, ніж та програма, на основі якої була створена та чи інша оболонка. Автор системи EMYCIN Ван Мелле одним з перших підкреслив, що оболонки експертних систем аж ніяк не є універсальною архітектурою для вирішення проблем. Розроблена ним система EMYCIN орієнтована на ті проблеми діагностування з великими обсягами даних, які піддаються вирішенню за допомогою дедуктивного підходу в припущенні, що простір діагностичних категорій стаціонарно.
На жаль, не можна занадто довіряти рекомендаціям про можливість використання оболонки експертної системи для вирішення конкретних проблем. Справа в тому, що ми ще не маємо настільки чіткого уявлення про класифікацію завдань, що вирішуються експертними системами, щоб можна було точно уявити, до якого саме класу слід віднести конкретну систему.
Більшість комерційних продуктів типу оболонок експертних систем підходить тільки для тих проблем, в яких простір пошуку невелике. Як правило, в них застосовується метод вичерпного пошуку з побудовою зворотного ланцюжка виводу і обмеженими можливостями управління процесом. Але деякі сучасні оболонки, як стверджують їхні творці, можуть застосовуватися для вирішення широкого кола завдань, оскільки вони підтримують безліч функцій подання знань та управління, включаючи і моделювання прямий ланцюжка логічного висновку, процедури, передачу повідомлень тощо.
Простота мов представлення знань, застосовуваних у більшості оболонок експертних систем, є, з одного боку, гідністю, а з іншого «недоліком такого роду систем. На це звернула увагу Ейкінс в критичному зауваженні з приводу реалізації експертної системи PUFF на базі оболонки EMYCIN:
Використаний в EMYCIN формалізм породжують правил ускладнює поділ різних видів знань - евристичних, керуючих, знань про очікувані значеннях параметрів.
Недостатня структурованість набору породжують правил в EMYCIN також ускладнює і сприйняття нових знань, оскільки додавання в базу знань нового правила вимагає внесення змін до різні компоненти системи. Наприклад, потрібно вносити зміни до таблиці знань, що містять інформацію про медичні параметрах. Це одна з проблем, рішенням якої пишаються творці системи TEIRESIAS.
Інша критичне зауваження Ейкінс стосується не стільки конкретної системи PUFF або EMYCIN, скільки функціональних можливостей систем, що базуються на правилах, загалом, а, отже, і всіх оболонок експертних систем, в яких породжують правила використовуються як основного мови представлення знань. Значна частина експертність - це знання про типових випадках, тобто досить часто зустрічаються в предметної області. Експерти легко розпізнають відомі типові випадки і здатні без особливих зусиль класифікувати їх в термінах ідеальних прототипів навіть за наявності певних перешкод або неповних даних. Вони інтуїтивно розрізняють підходящі нагоди або незвичайні значення вихідних даних і приймають адекватне рішення про те, як вчинити в подальшому при вирішенні проблеми. Такі знання практично неможливо уявити в експертній системі, якщо користуватися тільки правилами у формі «умова-дія». Для цього буде потрібно значно складніший формалізм, який зведе нанівець одне з головних достоїнств використання породжують правил в якості основного засобу прийняття рішень.
В оболонках експертних систем існує також проблема з реалізацією механізму обробки невизначеності. Деякі оболонки вже включають в себе певний формальний механізм роботи з невизначеністю, наприклад заснований на використанні коефіцієнтів впевненості. Однак більшість, якщо не всі використані в оболонках експертних систем механізми такого роду, не узгоджуються з висновками теорії ймовірностей і мають властивості, які насилу піддаються аналізу. Звичайно, конкретного методу о...
