moteur d'inférence
Sign in to saveAlso known as inference system
component of the system that applies logical rules to the knowledge base to deduce new information
Wikidata facts
- Subclass of
- program
- Part of
- knowledge-based system
- Said to be same as
- rewriting
Show 1 more fact
- manifestation of
- inference
Sources (2)
via Wikidata · CC0
Article · Français
Un moteur d'inférence (du verbe « inférer » qui signifie « déduire ») est un logiciel (processus informatique) correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d'inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des conclusions à partir d'une base de faits et d'une base de connaissances. Les moteurs d'inférence peuvent implémenter : * une logique formelle d'ordre 0 (logique des propositions), d'ordre 0+, d'ordre 1 (logique des prédicats) ou d'ordre 2 avec * une gestion d'hypothèses monotone ou non monotone, * un chaînage avant, chaînage arrière ou , * une complétude déductive ou non.
Abstract from DBpedia / Wikipedia · CC BY-SA