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