Un système de raisonnement est un système logiciel qui génèrent des conclusions en exploitant les connaissances disponibles en utilisant des techniques logiques telles que la déduction et l’induction.