« Raisonneur sémantique » : différence entre les versions
(Annulation des modifications 33411 de Sihem (discussion)) Balise : Annulation |
Aucun résumé des modifications |
||
| 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== | ||
| Ligne 26 : | Ligne 30 : | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 7 janvier 2021 à 12:16
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 masculin
moteur de raisonnement masculin
moteur d'inférence masculin
raisonneur masculin
Anglais
Semantic reasoner
Contributeurs: Imane Meziani, wiki, Sihem Kouache
