Машина висновування: відмінності між версіями

'''Машина ви́ведення''' — [[програма]], яка виконує логічний вивід з попередньо побудованої бази фактів і правил в відповідності з законами формальної логіки.

 

Правила [[Продукційна модель|продукційної моделі]] не впорядковані. Кожне з них існує незалежно від інших правил. У зв'язку з цим потрібний спеціальнй механізм, який керуватиме перебиранням правил. Такий механізм і є машиною виведення.<br />