« Raisonneur sémantique » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==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. | 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. | ||
| Ligne 23 : | Ligne 18 : | ||
[https://fr.qwe.wiki/wiki/Semantic_reasoner Source : qwe.wiki] | [https://fr.qwe.wiki/wiki/Semantic_reasoner Source : qwe.wiki] | ||
[[Catégorie:Vocabulaire]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:24pm]] | |||
[[Catégorie:Scotty]] | |||
Version du 3 mai 2020 à 22:54
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 loc. nom. masc.
Anglais
Semantic reasoner
Contributeurs: Imane Meziani, wiki, Sihem Kouache
