Moteur d'inférence

Carte Commune · n° 266183

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 puis aux modèles d'intelligence artificielle 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[Quoi ?] ; 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.

Lire sur Wikipédia