Raisonneur sémantique


(Redirigé depuis Moteur de raisonnement)

Définition

Un raisonneur sémantique, aussi appelé moteur de raisonnement, moteur de règles, ou tout simplement un raisonneur, est un logiciel capable de déduire les conséquences logiques d'un ensemble de faits affirmés ou axiomes .

La notion de raisonnement sémantique généralise celle de moteur d'inférence, en fournissant un ensemble plus riche de mécanismes avec lesquels travailler.

Les règles d'inférence sont généralement spécifiées au moyen d'un langage d'ontologie, et souvent d'un langage logique de description.

De nombreux raisonneurs utilisent une logique de prédicat de premier ordre pour effectuer le raisonnement; l'inférence procède généralement par chaînage avant et chaînage arrière. Il existe également des exemples de raisonneurs probabilistes, y compris des systèmes de raisonnement non axiomatiques et des réseaux logiques probabilistes.

Français

Raisonneur sémantique

moteur de raisonnement

moteur d'inférence

raisonneur

Anglais

Semantic reasoner


Sources

Source : 24pm Academy

Source : Wikipedia, Semantic reasoner

Source : qwe.wiki



Contributeurs: Imane Meziani, wiki, Sihem Kouache