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. Proposition admise en vertu d'une inférence.
Relation d'inférence
2. Inform.
Moteur d'inférence, qui exploite la base de connaissances dans un système expert*. Inférence par seconde (