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

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Addbot (обговорення | внесок)
м Вилучення 9 інтервікі, відтепер доступних на Вікіданих: d:q1341685
IvanBot (обговорення | внесок)
м replaced: в відповідності з → згідно з
Рядок 1:
'''Машина ви́ведення''' — [[програма]], яка виконує логічний вивід з попередньо побудованої бази фактів і правил в відповідностізгідно з законами формальної логіки.
 
== Компоненти машини виведення ==