« Raisonneur sémantique » : différence entre les versions
m (Remplacement de texte — « <small> masculin </small> » par « ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 9 : | Ligne 9 : | ||
==Français== | ==Français== | ||
'''Raisonneur sémantique''' | '''Raisonneur sémantique''' | ||
'''moteur de raisonnement''' | '''moteur de raisonnement''' | ||
'''moteur d'inférence''' | '''moteur d'inférence''' | ||
'''raisonneur''' | '''raisonneur''' | ||
| Ligne 21 : | Ligne 21 : | ||
==Sources== | |||
[https://www.24pm.com/117-definitions/492-raisonneur-semantique Source : 24pm Academy] | [https://www.24pm.com/117-definitions/492-raisonneur-semantique Source : 24pm Academy] | ||
Dernière version du 28 janvier 2024 à 11:41
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
Contributeurs: Imane Meziani, wiki, Sihem Kouache
