Un moteur d'inférence (du verbe "inférer" = déduire) est un logiciel 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érences peuvent implémenter :une logique formelle d'ordre 0 (logique des propositions), 0+, 1 (logique des prédicats) ou d'ordre 2 avecune gestion d'hypothèses monotone ou non monotone,un chaînage avant, arrière ou mixte,une complétude déductive ou non.
Pour la suite, voir Wikipédia.org...
n. m. Partie d'un système expert qui effectue la sélection et l'application des règles en vue de la résolution d'un problème donné. Anglais : inference engine.
Free Download Now!
