Відмінність експертних систем від традиційних програм

ЕС має певні особливості, що відрізняють її від звичайних програм:

1) компетентність. Це здатність:

– досягати експертного рівня рішень (тобто в конкретній предметній галузі мати той же рівень професіоналізму, що й експерт-людина);

– застосовувати знання ефективно й швидко, уникаючи непотрібних обчислень;

– лише поступово знижувати якість роботи з наближенням до меж діапазону роботи ЕС чи меж допустимої надійності даних;

2) здатність до символьних міркувань. Зокрема, система може здійснювати:

– подання знань у символьному вигляді;

– переформулювання символьних знань. Символи поєднують, щоб виразити відношення між ними. Відношення, подані в ЕС, називають символьними структурами;

3) глибина. Ця особливість системи виявляється в тому, що вона може:

– працювати в предметній галузі, яка містить складні завдання;

– застосовувати складні правила (тобто застосовувати або складні конструкції правил, або велику їх кількість);

4) самосвідомість. Це здатність системи:

– досліджувати свої міркування (тобто перевіряти їх правильність);

– пояснювати свої дії.

Існує ще одна важлива відмінність ЕС. Якщо звичайні програми розробляють так, щоб вони щоразу породжували правильний результат, то ЕС розроблено для того, щоб вони поводилися як експерти. Вони, як правило, дають правильні відповіді, але іноді, як і люди, здатні помилятися.

Традиційні програми для розв’язання складних задач теж можуть робити помилки. Але їх дуже важко виправити, оскільки алгоритми, що лежать у їх основі, явно в них не сформульовані. Отже, помилки нелегко знайти й виправити. ЕС подібно до людей мають потенційну можливість учитися на своїх помилках.

2. Основи програмування мовою Visual Prolog

2.1. Загальний огляд мови Пролог

Пролог – це мова логічного програмування, назву якої утворено від скорочення „програмування в термінах логіки”. Перший розроблений інтерпретатор Прологу було написано мовою Фортран, він працював досить повільно. У 1977 р. в Единбурзькому університеті було створено ефективний інтерпретатор/компілятор мови Пролог для комп’ютера DEC-10, що сприяло підвищенню її популярності. Відтоді було створено багато діалектів мови Пролог: СProlog, Turbo Prolog, Strawberry Prolog, Visual Prolog та ін.

Visual Prolog 5.2 – це середовище програмування для мови Visual Prolog, створене фірмою „Prolog Development Center A/S” (Данія). Воно містить усі необхідні засоби для створення великих комерційних додатків, включаючи компілятор, компонувальник і велику бібліотеку підпрограм.

Пролог значно відрізняється від інших традиційних мов програмування, таких як Бейсик, Паскаль чи Сі. Програміст, створюючи програму, наприклад, мовою Сі, указує, як програма повинна працювати, щоб уможливити досягнення бажаної мети (тобто визначає процедуру розв’язання задачі). Якщо програміст пише програму мовою Пролог, він спочатку описує структуру прикладної задачі, а потім указує, що треба знайти, тобто зазначає мету. Його не цікавить, яким чином ця задача буде розв’язана, це питання він перекладає на Пролог-систему. Тому Пролог належить до декларативних (описувальних) мов програмування, а Бейсик, Паскаль та Сі – до процедурних мов. Якщо класифікувати мови програмування за рівнем, то Асемблер можна віднести до мов низького рівня, Сі – до мов середнього рівня, Фортран, Бейсик, Паскаль – до мов високого рівня, Пролог – до мов надвисокого рівня.