Система логического вывода — в информационных технологиях система логического вывода — это программная система, которая делает выводы на основе имеющихся знаний с помощью логических методов, таких как дедукция и индукция. Системы логического вывода играют важную роль в реализации искусственного интеллекта и систем, основанных на знаниях.
[Глоссарий по искусственному интеллекту. (Электронный ресурс). Режим доступа: http:// en.wikipedia.org›wiki/Glossary_of_artificial_intelligence/, свободный.]