Discussion:Moteur d'inférence

	Tâches à accomplir pour Moteur d'inférence	aide
	Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Complétude , Ilog ⇒ Quelques explications pour effectuer ces corrections. -- 12 avril 2023 à 09:33 (CEST)

1. "Monde Fermé" renvoie au lien "http://clipsrules.sourceforge.net/". Cela semble être une erreur ... Zorgi

2. inférer selon le petit Robert ne vient pas de déduire : "inférence [RfeYSs] n. f. • 1765; « conséquence » 1606; de inférer  1¨ Log. Opération logique par laquelle on admet une proposition en vertu de sa liaison avec d'autres propositions déjà tenues pour vraies. Þ déduction, induction. Relation d'inférence (Þ implication). — Par ext. Proposition admise en vertu d'une inférence." et comprend aussi l'induction, quid ?