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


m (Remplacement de texte — « <small> nom masc. </small> » par « <small> masculin </small> »)
m (Remplacement de texte — « loc. nom. masc. » par « masculin »)
Ligne 5 : Ligne 5 :


==Français==
==Français==
'''Raisonneur sémantique'''    <small>loc. nom. masc. </small>
'''Raisonneur sémantique'''    <small>masculin </small>


'''moteur de raisonnement''' <small>loc. nom. masc. </small>
'''moteur de raisonnement''' <small>masculin </small>


'''moteur d'inférence''' <small>loc. nom. masc. </small>
'''moteur d'inférence''' <small>masculin </small>


'''raisonneur''' <small> masculin </small>
'''raisonneur''' <small> masculin </small>

Version du 5 novembre 2020 à 09:30

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 masculin

moteur de raisonnement masculin

moteur d'inférence masculin

raisonneur masculin

Anglais

Semantic reasoner


Source : 24pm Academy

Source : Wikipedia, Semantic reasoner

Source : qwe.wiki



Contributeurs: Imane Meziani, wiki, Sihem Kouache