по знаннях - фахівець з розробки експертних систем
програміст - спеціаліст з розробки інструментальних засобів створення експертної системи.
Експерт визначає відповідний коло знань, забезпечує їх повноту та правильність введення експертної системи.
Інженер по знаннях виявляє спільно з експертом структурованість знань, вибір інструментального засобу, програмує стандартні функції, які будуть використовуватися в правилах експертної системи.
Програміст розробляє інструментальні засоби, що містять всі компоненти створення експертних систем. Здійснює пару експертних систем з користувачем. У використанні експертних систем беруть участь фахівці:
. Кінцевий користувач, має можливість тільки використання експертних систем. p align="justify">. Клерк, може додавати, модифікувати базу знань експертної системи. p align="center"> 2.6 СПОСОБИ ОПИСУ ЗНАНЬ
При розробці експертних систем найбільше застосування знайшли такі способи опису знань:
логічні моделі
мережеві моделі
продукційні моделі
фреймові моделі
Логічні моделі. В основі їх опису лежить формальна система з чотирма елементами:
М = <Т, Р, А, В>,
де Т - безліч базових елементів різної природи з відповідними процедурами,
Р - безліч синтаксичних правил. З їх допомогою з елементів Т утворюють синтаксично правильні сукупності. Процедура П (Р) визначає, чи є ця сукупність правильною. p align="justify"> А - підмножина безлічі Р, званих аксіомами. Процедура П (А) дає відповідь на питання про приналежність до безлічі А.
В - безліч правил виводу. Застосовуючи їх до елементів А, можна отримати нові синтаксично правильні сукупності, до яких можна застосувати ці правила знову. Процедура П (У) визначає для кожної синтаксично правильної сукупності, є вона виведеної. Найбільш прийнятний даний тип моделей для знань типу геометрії. p align="justify"> У даній системі безліч А вводиться в базу знань. У базу знань вводяться також правила виводу. Використовуючи дані бази знань і умови поставленого завдання, можна визначити, чи є поставлена ​​задача синтаксично правильної сукупністю, тобто є вона виведеної з цієї бази знань. p align="justify"> Мережеві моделі. До мережевих моделей належать знання, формально задаються в наступному вигляді:
H = 1 , C 2 , ..... C
