ому до природного). Паралельно такому В«людськомуВ» поданням існує база знань у внутрішньому В«машинномуВ» уявленні. p align="justify"> Вирішувач - програма, що моделює хід міркувань експерта на підставі знань, наявних в базі знань.
Підсистема пояснень - програма, що дозволяє користувачеві отримати відповіді на питання: В«Як була отримана та чи інша інформація?В» і В«Чому система прийняла таке рішення?В». Відповідь на питання В«Як?В» - Це трасування всього процесу отримання рішення із зазначенням використаних фрагментів бази знань, тобто всіх кроків ланцюга умовиводи. Відповідь на питання В«Чому?В» - Посилання на умовивід, безпосередньо передувала отриманому рішенням, тобто відхід на один крок назад. p align="justify"> Інтелектуальний редактор бази знань - програма, що представляє інженеру по знаннях можливість створювати бази знань в діалоговому режимі.
Інструментальні засоби побудови експертних систем: пов'язано з тим, що парадигма об'єктно-орієнтованого програмування тісно пов'язана з фреймовою моделлю представлення знань, крім того, традиційні мови використовуються для створення інших класів інструментальних засобів штучного інтелекту.
Мови штучного інтелекту. Lisp, Prolog. Універсальність цих мов менша, ніж у традиційних мов, але це компенсується багатими можливостями по роботі з символьними і логічними даними, що вкрай важливо для задач штучного інтелекту. На основі мов штучно го інтелекту створюються спеціалізовані комп'ютери (наприклад, Лісп-машини). p align="justify"> В«ОболонкиВ» (shells) - В«порожніВ» версії існуючих експертних систем, тобто готові експертні системи без бази знань. Вони взагалі не вимагають роботи програмістів для створення готової експертної системи. Потрібні тільки фахівці в предметній області для заповнення бази знань. Однак якщо деяка предметна область погано вкладається в модель, використовувану в деякій оболонці, заповнити базу знань у цьому випадку досить непросто. p align="justify"> Семантичні мережі
Спосіб представлення знань за допомогою мережевих моделей найбільш близький до того, як вони представлені в текстах на природній мові. У його основі лежить ідея про те, що вся необхідна інформація може бути описана як сукупність трійок (arb), де а і b - об'єкти чи поняття, а r - бінарне відношення між ними. Формально мережеві моделі подання знань можуть бути задані у вигляді H = , де I - безліч інформаційних одиниць,
З 1, ..., Сп - безліч типів зв'язків між елементами, відображення Г задає між інформаційними одиницями, що входять до I, зв'язку із заданого набору типів зв'язків {Із i}.
Залежно від типів зв'язків {Із i} розрізняють:
класифікують мережі - в них використовуються відносини структуризації, вони дозволяють вводити в бази знань різні ієрархічні відносини між ...
