« Raisonneur sémantique » : différence entre les versions
(Annulation des modifications 33411 de Sihem (discussion)) Balise : Annulation |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (3 versions intermédiaires par 2 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 de raisonnement''' | ||
'''moteur d'inférence''' | '''moteur d'inférence''' | ||
'''raisonneur''' | '''raisonneur''' | ||
==Anglais== | ==Anglais== | ||
| Ligne 17 : | 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 26 : | Ligne 30 : | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 28 janvier 2024 à 12: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
