Semantic reasoner
en construction
Intelligence artificielle
Coulombe
Définition
Un moteur de raisonnement, un moteur de règles, système de production, ou simplement un moteur d'inférence, est un logiciel capable d'inférer des conséquences logiques à partir d'un ensemble de faits ou d'axiomes. Le moteur de raisonnement est une généralisation du moteur d'inférence dont il enrichit les mécanismes de raisonnement. Les règles d'inférence sont généralement spécifiées au moyen d'une ontologie, et souvent d'un langage de représentation de la logique. De nombreux moteurs de raisonnement utilisent la logique des prédicats du premier ordre pour effectuer le raisonnement; l'inférence se fait par enchaînement avant, arrière ou mixte. Il existe également des moteurs de raisonnement probabilistes. Enfin, il est permis de faire un parallèle entre un moteur de raisonnement et un moteur de simulation.
Source:
Traduction et adaptation libre de l'article de Wikipédia en anglais
https://en.wikipedia.org/wiki/Semantic_reasoner
Français
moteur de raisonnement
moteur de raisonnement sémantique
moteur d'inférence
Discussion:
Pour le moment, le terme privilégié est «moteur de raisonnement». Remarquez, que c'est beaucoup une question de mode, car les moteurs d'inférence sont associés aux systèmes à base de connaissances et systèmes-experts de la fin des années 80 et des années 90.
Anglais
Semantic reasoner
Contributeurs: Claude Coulombe, wiki
