|
Balises : Nouvelle redirection Éditeur de wikicode 2017 |
| (12 versions intermédiaires par 2 utilisateurs non affichées) |
| Ligne 1 : |
Ligne 1 : |
| | | #REDIRECTION[[Raisonneur sémantique]] |
| == Domaine ==
| | [[Catégorie:ENGLISH]] |
| [[Category:Vocabulary]]<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 ==
| |
| <h3><poll>
| |
| Choisissez parmi ces termes proposés :
| |
| moteur de raisonnement
| |
| moteur de raisonnement sémantique
| |
| moteur d'inférence
| |
| </poll></h3>
| |
| <h3>Discussion:</h3>
| |
| Pour le moment, le terme privilégié est «moteur de raisonnement».
| |
| <br/>
| |
| | |
| == Anglais ==
| |
| | |
| ===Semantic reasoner ===
| |
| A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a semantic reasoner generalizes that of an inference engine, by providing a richer set of mechanisms to work with. The inference rules are commonly specified by means of an ontology language, and often a description logic language. Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining. There are also examples of probabilistic reasoners, including Pei Wang's non-axiomatic reasoning system,[1] and probabilistic logic networks.[2]
| |
| | |
| <br/>
| |
| <br/>
| |
| <br/>
| |
| <br/>
| |
| <br/>
| |
| <br/>
| |
| <br/>
| |
