Машина висновування: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Рядок 32:
<center><span style='color: red'>рис.2 </span>Стратегії виведення: пряме виведення (а); зворотнє виведення(б)</center><br />
====Проблеми====
[[Продукційна модель]] знімає обмеження, характерні для [[логіка|логіки]], проте з нею пов'язані інші пробеми: нескінченні цикли, можлива суперечність знань і непрозорість поведінки машини виведення.<br />
''Нескінченні цикли'' виникають у тому випадку, коли машина виведення повертається до правил, які вже були переглянуті. Це можливо, наприклад, за наявності таких правил:<br />
<tt>If A then B; If B then C; If C then A.</tt><br />
''Суперечливі знання'' з'являються тоді, коли додавання нових правил призводить до суперченості тим фактам, які можна було отримати раніше.<br />
''Непрозорість поведінки'' обумовлена тим, що немає жодних принципів, які б встановлювали порядок перегляду правил і їхнього застосування в тому випадку, коли може бути застосовано кілька правил. Унаслідок цього досить важко обробляти всі продукційні бази знань великого обсягу, оскільки навіть за умов коректності всіх наявних правил хибний порядок їхнього виконання може привести до помилок, що важко виявляються.<br />
Частково зняти обмеження, характерні для формально-логічної та продукційної моделей, можна шляхом структуризації бази знань. Названі моделі допускають зображення в базі знань лише елементарних фактів. Структуризація фактів приводить до створення груп взаємопов'язаних фактів, тобто певних [[абстракція|абстракцій]]. Структурні абстракції можуть мати свою [[семантика|семантику]], щодо якої застосовуються правила виведення.<br />
[[Семантичні мережі]] та [[фрейми]], найчастіше використовуються у моделях, які підтримують структурні абстракції.<br />
| |||