« Raisonneur sémantique » : différence entre les versions

Version du 1 mai 2020 à 16:54

en construction

Définition

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

De nombreux raisonneurs utilisent la logique du prédicat premier ou inférieur pour effectuer le raisonnement; inférence procède généralement par chaînage avant et arrière Enchaînement de service.

Français

Raisonneur sémantique loc. nominale. masc.

Anglais

Semantic reasoner

Source : 24pm Academy

Source : Wikipedia, Semantic reasoner

Source : qwe.wiki

@@ Ligne 3 : / Ligne 3 : @@
 [[Catégorie:Intelligence artificielle]]
 [[Catégorie:24pm]]
+[[Catégorie:Scotty]]
 ==Définition==
 Un raisonneur sémantique (ou moteur de raisonnement, moteur de règles ou 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 raisonneur sémantique génère celle d'un moteur d'inférence, en fournissant un ensemble plus riche de mécanismes pour travailler avec. Les règles d'inférence sont généralement spécifiées au moyen d'un langage ontologique et souvent d'un langage logique de description.
+De nombreux raisonneurs utilisent la logique du prédicat premier ou inférieur pour effectuer le raisonnement; inférence procède généralement par chaînage avant et arrière Enchaînement de service.
-De nombreux raisonneurs utilisent la logique du prédicat premier ou inférieur pour effectuer le raisonnement; inférence procède généralement par chaînage avant et arrière Enchaînement de service. Il existe également des exemples de raisonneurs probabilistes, y compris le système de raisonnement non axiomatique de Pei Wang ,  et les réseaux logiques probabilistes
 ==Français==
@@ Ligne 23 : / Ligne 21 : @@
 [https://en.wikipedia.org/wiki/Semantic_reasoner  Source : Wikipedia, ''Semantic reasoner'']
+[https://fr.qwe.wiki/wiki/Semantic_reasoner  Source : qwe.wiki]