их частин. Взаємозв'язок між частинами може бути складною, що залежить від природи і організації знань, а також від методів і цілей виводу.
Бази знань і способи подання
Продукційна модель
Це один з найбільш часто використовуються в експертних системах способів подання знань. Основна ідея полягає в асоціювання з відповідними діями набору умов у вигляді правил типу "якщо-то", званих також продукціям:
ЯКЩО умова ТО дії
"Якщо щось"-правила зазвичай виявляються досить природним виразним засобом представлення знань. Крім того, вони володіють наступними привабливими властивостями:
- модульність: кожне правило описує невеликий, відносно незалежний фрагмент знань;
- можливість інкрементного нарощування: додавання нових правил
в базу знань відбувається відносно незалежно від інших правил;
- зручність модифікації (як слідстві модульності): старі правила можна змінювати і замінювати на нові відносно незалежно від інших правил;
- застосування правил сприяє прозорості системи, тобто здібності до пояснення прийнятих рішень та отриманих результатів.
Однак продукційні системи не вільні від недоліків:
- процес виведення менш ефективний, ніж в інших системах, оскільки більша частина часу при виведенні витрачається на непродуктивну перевірку застосовності правил;
- цей процес важко піддається управлінню;
- складно представити родовидові ієрархію понять.
Фрейми
Представлення знань, засноване на фреймах, є альтернативним по відношенню до систем продукцій: воно дає можливість зберігати родовидові ієрархію понять у базі знань в явній формі. Фреймом називається структура для опису стереотипної ситуації, що складається з характеристик цієї ситуації і їх значень, характеристики називаються слотами, а значення - заповнювачами слотів. Слот може містити не тільки конкретне значення, а й ім'я процедури, що дозволяє обчислити його за заданим алгоритмом, а також одну або кілька продукцій (евристик), за допомогою яких це значення можна знайти. У слот може входити не одне, а кілька значень. Іноді слот включає компонент, званий фасетів, який задає діапазон або перелік його можливих значень. Фасета вказує також граничні значення заповнювача слота. p> Сукупність фреймів, що моделює якусь предметну область, являє собою ієрархічну структуру, в яку фрейми з'єднуються з допомогою родовідових зв'язків. На верхньому рівні ієрархії знаходиться фрейм, що містить найбільш повну інформацію, справжню для всіх інших фреймів. Фрейми мають здатність успадковувати значення характеристик своїх батьків, що перебувають на більш високому рівні ієрархії. Значення характеристик фреймів можуть передаватися за замовчуванням фреймах, що знаходяться нижче них в ієрархії, але якщо останні містять власні значення даних характеристик, то в якості істинних прийм...
