Procédé par lequel un système informatique effectue un enchaînement logique, à partir de propositions de départ et d’une base de connaissances, afin d’arriver à une conclusion.

Source: Office québécois de la langue française