|
Balises : Nouvelle redirection Éditeur de wikicode 2017 |
| (3 versions intermédiaires par le même utilisateur non affichées) |
| Ligne 1 : |
Ligne 1 : |
| | | #REDIRECTION[[Raisonneur sémantique]] |
| == en construction ==
| | [[Catégorie:ENGLISH]] |
| | |
| <!-- Vocabulary2 --><br/>
| |
| [[Category:Intelligence artificielle]]Intelligence artificielle<br/> | |
| [[Category:Coulombe]]Coulombe<br/>
| |
| | |
| == Définition ==
| |
| | |
| Un moteur de raisonnement, un moteur de règles, système de production, ou simplement un moteur d'inférence, est un logiciel capable d'inférer des conséquences logiques à partir d'un ensemble de faits ou d'axiomes. Le moteur de raisonnement est une généralisation du moteur d'inférence dont il enrichit les mécanismes de raisonnement. Les règles d'inférence sont généralement spécifiées au moyen d'une ontologie, et souvent d'un langage de représentation de la logique. De nombreux moteurs de raisonnement utilisent la logique des prédicats du premier ordre pour effectuer le raisonnement; l'inférence se fait par enchaînement avant, arrière ou mixte. Il existe également des moteurs de raisonnement probabilistes. Enfin, il est permis de faire un parallèle entre un moteur de raisonnement et un moteur de simulation.
| |
| | |
| Source:<br/>
| |
| | |
| Traduction et adaptation libre de l'article de Wikipédia en anglais<br/>
| |
| https://en.wikipedia.org/wiki/Semantic_reasoner<br/>
| |
| | |
| == Français ==
| |
| | |
| '''moteur de raisonnement'''
| |
| | |
| '''moteur de raisonnement sémantique'''
| |
| | |
| '''moteur d'inférence'''
| |
| | |
| | |
| <h3>Discussion:</h3>
| |
| Pour le moment, le terme privilégié est «moteur de raisonnement». Remarquez, que c'est beaucoup une question de mode, car les moteurs d'inférence sont associés aux systèmes à base de connaissances et systèmes-experts de la fin des années 80 et des années 90.
| |
| <br/>
| |
| | |
| == Anglais ==
| |
| | |
| '''Semantic reasoner '''
| |
| | |
| [[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]] | |
