Moteur d'inférence
De Wikipedia, l'encyclopédie encyclopedia
Un moteur d'inférence (du verbe « inférer » qui signifie « 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é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 mixte,
- une complétude déductive ou non.