Характеристика інструментальних засобів

Трудомісткість розробки ІІС в значній мірі залежить від використовуваних інструментальних засобів. Інструментальні засоби для розробки інтелектуальних застосувань можна класифікувати по наступних основних параметрах:

• рівень використовуваної мови;

• парадигми програмування і механізми реалізації;

• спосіб представлення знань;

• механізми виводу і моделювання;

• засоби придбання знань;

• технології розробки застосувань.

Рівень використовуваної мови. Потужність і універсальність мови програмування визначає трудомісткість розробки ЕС.

1. Традиційні (зокрема об'єктно-орієнтовані) мови програмування типу С, C++ (як правило, вони використовуються не для створення ЕС, а для створення інструментальних засобів).

2. Спеціальні мови програмування (наприклад, мова LISP, орієнтована на обробку списків; мова логічного програмування PROLOG; мова рекурсивних функцій РЕФАЛ і так далі). Їх недоліком є слабка пристосованість до об'єднання з програмами, написаними на мовах традиційного програмування.

3. Інструментальні засоби, що містять багато, але не всі компоненти ЕС (наприклад, система OPS 5, яка підтримує продукційний підхід до представлення знань; мови KRL і FRL, використовувані для розробки ЕС з фреймовим представленням знань). Таке програмне забезпечення призначене для розробників, що володіють технологіями програмування і що уміють інтегрувати різнорідні компоненти в програмний комплекс.

Оболонки ЕС загального призначення, що містять всі програмні компоненти, але що не мають знань про конкретні наочні середовища. Засоби цього типу і подальшого, не вимагають від розробника застосування знань програмування. Прикладами є Leonardo, Nexpert Object, Kappa EXSYS, GURU, ART, KEE і ін. Останнім часом все рідше вживається термін «оболонка», його замінюють ширшим терміном «середовище розробки». Якщо хочуть підкреслити, що засіб використовується не тільки на стадії розробки застосування, але і на стадіях використання і супроводу, то використовують термін «повне середовище» (complete environment). Для підтримки всього циклу створення і супроводу програм використовуються інтегровані інструментальні системи типу Work Bench, наприклад KEATS [18], Shelly [16], VITAL [19]. Основними компонентами системи KEATS є: ACQUIST — засоби фрагментації текстових джерел знань, що дозволяють розбивати текст або протокол бесіди з експертом на безліч взаємозв'язаних, анотованих фрагментів і створювати поняття (концепти); FLIK — мова представлення знань засобами фреймової моделі; GIS — графічний інтерфейс, використовуваний для створення гіпертекстів і концептуальних моделей, а також для проектування фреймових систем; ERI — інтерпретатор правив, що реалізовує процедури прямого і зворотного виводу; TRI — інструмент візуалізації логічного виводу, що демонструє послідовність виконання правил; Tables — інтерфейс маніпулювання таблицями, використовуваними для зберігання знань в БЗ; CS — мова опису і розповсюдження обмежень; TMS — немонотонна система підтримки істинності.

При використанні інструментарію даного типу можуть виникнути наступні труднощі:

а) стратегії, які управляються, закладені в механізм виводу, можуть не відповідати методам рішення, які використовує експерт, що взаємодіє з даною системою, що може привести до неефективних, а можливо, і неправильних рішень;

б) спосіб представлення знань, що використовується в інструментарії, мало підходить для опису знань конкретної наочної області.

Велика частина цих труднощів дозволена в проблемно/предметно-орієнтованих засобах розробки ІІС.