A reasoning system is software that generates conclusions from available knowledge using techniques such as deduction, induction, rules, or semantic inference. Such systems are central to knowledge-based AI, expert systems, and applications that require explicit reasoning over facts and relationships.
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.