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