- •Основні напрями досліджень в області штучного інтелекту
- •Математика
- •Виробництво
- •Юриспруденція
- •Управління інформацією
- •Обробка зображень
- •Геологія
- •Навколишнє середовище
- •Інженерія
- •Електроніка
- •Комп'ютерні системи
- •1.2.2. Експертні системи
- •КомунікацШі
- •Сільське господарство
- •Транспортні системи
- •Космонавтика
- •Системи управління
- •Гірська промисловість
- •Військова справа
- •Метрологія
- •Медицина
- •1.2.3 Самонавчальні системи
- •Адаптивні інформаційні системи
- •ТехнолоГії розробки експертних систем
- •Відмінності систем штучного інтелекту від звичайних програмних систем
- •Класифікаційні ознаки експертних систем
- •Характеристики наочної області
- •Характеристика інструментальних засобів
- •5. Проблемно/предметно-орієнтовані оболонки і середовища (не вимагають знання програмування):
- •1. Структура процесу отримання рішення:
- •Технологія проектування і розробки експертних систем
- •Література
- •Контрольні питання і завдання
5. Проблемно/предметно-орієнтовані оболонки і середовища (не вимагають знання програмування):
• проблемно-орієнтовані засоби — призначені для вирішення завдань певного класу (завдання пошуку, управління, планування, прогнозування і ін.) і містять відповідні цьому класу альтернативні функціональні модулі;
•предметно-орієнтовані засоби — включають знання про типи наочних областей, що скорочує час розробки БЗ.
При використанні оболонок і середовищ розробник застосувань повністю звільняється від програмування, його основні трудовитрати пов'язані з формуванням бази знань.
Парадигми програмування і механізми реалізації. Способи реалізації механізму виконуваних тверджень часто називають парадигмами програмування. До основних парадигм відносять наступні:
процедурне програмування;
програмування, орієнтоване на дані;
програмування, орієнтоване на правила;
•об'єктно-орієнтоване програмування.
Парадигма процедурного програмування є самою поширеною серед існуючих мов програмування (наприклад, С і Паскаль). У процедурній парадигмі активна роль відводиться процедурам, а не даним, причому будь-яка процедура активізується викликом. Подібні способи завдання поведінки зручні для описів детермінованої послідовності дій одного процесу або декількох взаємозв'язаних процесів.
При використанні програмування, орієнтованого на дані, активна роль належить даним, а не процедурам. Тут із структурами активних даних зв'язують деякі дії (процедури), які активізуються тоді, коли здійснюється звернення до цих даних.
У парадигмі, орієнтованій на правила, поведінка визначається безліччю правил вигляду «умова-дія». Умову задає образ даних, при виникненні якого дія правила може бути виконана. Правила в даній парадигмі грають таку ж роль, як і оператори в процедурній парадигмі. Проте якщо в процедурній парадигмі поведінка задається детермінованою послідовністю операторів, не залежною від значень оброблюваних даних, то в парадигмі, орієнтованій на правила, поведінка не задається заздалегідь заданою послідовністю правив, а формується на основі значень даних, які у нинішній момент обробляються програмно.
Підхід, орієнтований на правила, зручний для опису поведінки, гнучко і різнообразно реагує на велике різноманіття станів даних.
Парадигма об'єктного програмування на відміну від процедурної парадигми не розділяє програму на процедури і дані. Тут програма організовується навколо суті, званої об'єктами, які включають локальні процедури (методи) і локальні дані (змінні). Поведінка (функціонування) в цій парадигмі організовується шляхом пересилки повідомлень між об'єктами. Об'єкт, отримавши повідомлення, здійснює його локальну інтерпретацію, грунтуючись на локальних процедурах і даних. Такий підхід дозволяє описувати складні системи найбільш природним чином. Він особливо зручний для інтегрованих ЕС.
Спосіб представлення знань. Наявність багатьох способів представлення знань викликана прагненням представити різні типи проблемних середовищ з найбільшою ефективністю. Зазвичай спосіб представлення знань в ЕС характеризують моделлю представлення знань. Типовими моделями представлення знань є правила (продукції), фрейми (або об'єкти), семантичні мережі, логічні формули (див. розділ 2). Інструментальні засоби, що мають в своєму складі більш як одну модель представлення знань, називаються гібридними. Більшість сучасних засобів, як правило, використовують об'єктно-орієнтовану парадигму, об'єднану з парадигмою, орієнтованою на правила.
Механізми виводу і моделювання. У статичних ЕС єдиним активним агентом, що змінює інформацію, є механізм виведення експертної системи. У динамічних ЕС зміна даних відбувається не тільки внаслідок функціонування механізму виконуваних тверджень, але також у зв'язку із змінами оточення завдання, які моделюються спеціальною підсистемою або поступають ззовні. Механізми виводу в різних середовищах можуть відрізнятися способами реалізації наступних процедур.
