« Raisonneur sémantique » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (12 versions intermédiaires par 3 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==Définition== | ||
Un raisonneur sémantique | 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 . | ||
De nombreux raisonneurs utilisent | 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== | ==Français== | ||
'''Raisonneur sémantique''' | '''Raisonneur sémantique''' | ||
'''moteur de raisonnement''' | |||
'''moteur d'inférence''' | |||
'''raisonneur''' | |||
==Anglais== | ==Anglais== | ||
| Ligne 11 : | 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] | ||
| Ligne 19 : | Ligne 29 : | ||
[https://fr.qwe.wiki/wiki/Semantic_reasoner Source : qwe.wiki] | [https://fr.qwe.wiki/wiki/Semantic_reasoner Source : qwe.wiki] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
[[Catégorie: | |||
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
