inférence

Une définition du Jargon Français.
Aller à : Navigation, rechercher

nom féminin.

1.  [intelligence artificielle]. La réalisation d'une déduction logique, utilisée par un système expert pour paraître intelligent.

Direction.png Voir aussi : moteur d'inférence, système expert.

2.  [type de donnée]. L'« inférence de type » est une caractéristique de certains langages de programmation par laquelle durant l'exécution d'un programme le type d'une expression (donc par exemple d'une variable, de ce que retourne une fonction...) est déterminé lors de la compilation (ou interprétation) en analysant le contexte, en particulier les traitements effectués, les types des variables et immédiates impliquées...

C'est utile car cumule les avantages d'un typage fort sans le gros de ses inconvénients.