Semantic reasoner

Domaine

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

Discussion:

Pour le moment, le terme privilégié est «moteur de raisonnement».

Anglais

Semantic reasoner

A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a semantic reasoner generalizes that of an inference engine, by providing a richer set of mechanisms to work with. The inference rules are commonly specified by means of an ontology language, and often a description logic language. Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining. There are also examples of probabilistic reasoners, including Pei Wang's non-axiomatic reasoning system,[1] and probabilistic logic networks.[2]