"justify"> · Квазідінаміческіе ЕС.
Квазідінаміческіе ЕС інтерпретують ситуацію, яка змінюється з деяким фіксованим інтервалом часу.
· Динамічні ЕС.
Динамічні ЕС працюють в сполученні з датчиками об'єктів у режимі реального часу з безперервною інтерпретацією поступаємих даних.
· Класифікація за типом ЕОМ.
ЕС для унікальних стратегічно важливих завдань на суперЕОМ (Ельбрус, CRA '. CONVEX та ін);
ЕС на ЕОМ середньої продуктивності (типу ЄС ЕОМ, mainframe);
ЕС на символьних процесорах і робочих станціях (SUN, APOLLO);
ЕС на міні-та суперміні-ЕОМ (VAX, micro-VAX та ін);
ЕС на персональних комп'ютерах (IBM PC, MAC II і подібні).
Класифікація за ступенем інтеграції з іншими програмами
· Автономні ЕС.
Автономні ЕС працюють безпосередньо в режимі консультацій з користувачем для специфічно «експертних» завдань, для вирішення яких не потрібно залучати традиційні методи обробки даних (розрахунки, моделювання і т. д.).
· Гібридні ЕС.
Гібридні ЕС представляють програмний комплекс, агрегує стандартні пакети прикладних програм (наприклад, математичну статистику, лінійне програмування або системи управління базами даних) і засоби маніпулювання знаннями. Це може бути інтелектуальна надбудова над ППП або інтегроване середовище для вирішення складної задачі з елементами експертних знань. Незважаючи на зовнішню привабливість гібридного підходу, слід зазначити, що розробка таких систем являють собою завдання, на порядок більш складну, ніж розробка автономної ЕС. Стиковка не просто різних пакетів, а різних методологій (що відбувається в гібридних системах) породжує цілий комплекс теоретичних і практичних труднощів.
Рисунок 1 - Класифікація експертних систем
2. Класифікація програмного забезпечення для розробки експертних систем
Інструментальні засоби поділяються на такі категорії:
a) Мови програмування
b) Мови інженерії знань) Засоби автоматизації розробки експертних систем) Оболонки експертних систем
· Розглянемо мови інженерних знань:
Мови інженерії знань
Мова логічного програмування PROLOG
Пролог (Prolog) - мова логічного програмування, заснований на логіці дізьюнктов Хорна, що представляє собою підмножину логіки предикатів першого порядку.
Вбудований в PROLOG режим управління використовує стратегію зворотного логічного висновку, яка використовується в системах, подібних MYCIN. Таблиці знань та інші дані можна представити за допомогою тверджень. Такі структури даних, як графи та дерева, можна організувати за допомогою фраз мови PROLOG, які містять комплексні терми. Мовні засоби PROLOG дозволять програмісту розробити власний механізм обробки невизначеності, причому не виключається і використання коефіцієнтів впевненості.
Мова функціонального програмування LISP
Лісп (LISP, від англ. LISt Processing - «обробка списків») - сімейство мов програмування, заснованих на уявленні програми системою лінійних списків, які притому є основною структурою даних мови.
Основна особливість...