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