10. Моделі представлення знань в ЕС. Продукційні моделі.
Під висловленням розуміють пропозицію людської мови, про яку можна сказати, істинна вона або хибна. Висловлення позначаються заголовними літерами латинського алфавіту, можливо з індексами: . Якщо висловлення А є істинним то пишуть А=1, інакше пишуть А=0. Висловлення "хибність, що А" називається запереченням А и позначається як (або , або ). Висловлення "А і В" називається кон’юнкцією висловлень А і В. Кон’юнкція має багато позначень: , , , . Висловлення "А або В" називається диз'юнкцією висловлень А и В і позначається . Висловлення "А рівносильне В" називається еквівалентністю висловлень А і В і позначається як , , . Висловлення "якщо А, то В" називається імплікацією висловлень А, В і позначається як , .
В традиційному програмуванні команди слідують в жорстко фіксованій послідовності. Всі місця розгалуження задаються в явному вигляді. Такий спосіб програмування є зручним, коли послідовність обробки мало залежить від даних, які обробляються, тобто коли розгалуження є виключенням, а не нормою. В іншому випадку програму зручніше розглядати як сукупність незалежних модулів, які управляються зразками. Така програма на кожному крокові аналізує поточну ситуацію і визначає шляхом аналізу зразків, який саме модуль більш за інших підходить для її обробки. Кожний з модулів, які управляються зразками, складається з механізмів дослідження і модифікації однієї або кількох структур даних. Системи, що створюються на основі модулів, які управляються зразками, називають системами виведення, які управляються зразками. Функції управління в таких системах виконує інтерпретатор. Як правило, в системах що розглядаються, модуль розділяють на дві частини: передумову і дію. Модулі, які мають таку структуру називають правилами, а відповідні системи, системами, що засновані на правилах. Системи, що створюються з правил, в яких співставлення і управління є явними функціями системи зафіксованими в інтерпретаторі, називають продукційними системами. В найбільш загальному вигляді продукцією називають такий вираз:
r - ім’я продукції, за допомогою якого дана продукція виділяється серед інших.
Q - характеризує сферу застосування продукції, яка легко визначається людиною.
Р – умова можливості застосування ядра продукції. N – післяумови продукції.
АВ – ядро продукції.
Одним з основних недоліків продукційних систем, поряд з такими перевагами як модульність і простота реалізації та модифікації, є