n. f.
[intelligence artificielle] * La réalisation d'une déduction logique, utilisée par un système expert pour paraître intelligent. Voir aussi moteur d'inférence.
* Inférence de type : déduction du type des sorties d'une fonction par l'analyse du type des entrées et des transformations qu'on leur fait subir.