Машина висновування: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
Рядок 1:
'''Машина
Правила [[Продукційна модель|продукційної моделі]] не впорядковані. Кожне з них існує незалежно від інших правил. У зв'язку з цим потрібний спеціальнй механізм, який керуватиме перебиранням правил. Такий механізм називається
Машина виведення Машина виведення складається з двох компонентів:<br />
• ''Компонент виведення'' реалізує власне дедуктивне виведення. Тобто, якщо в базі фактів є факт <tt>A</tt>, а в базі правил є правило <tt>If A then B</tt>, то робиться висновок про необхідність застосування дії <tt>B</tt>.<br />
|