Система рассуждения — программное обеспечение, которое формирует выводы из доступных знаний с использованием deduction, induction, правил или semantic inference. Такие системы являются центральными для knowledge-based AI, expert systems и приложений, которым требуется явное рассуждение над фактами и отношениями.
In information technology a reasoning system is a software system that generates conclusions from available knowledge using logical techniques such as deduction and induction. Reasoning systems play an important role in the implementation of artificial intelligence and knowledge-based systems.