calcul d’attribution

Le calcul d’attribution est un système de logique et de représentation défini par Ryszard S. Michalski. Il combine des éléments de logique de prédicats, de calcul propositionnel et de logique à valeurs multiples. Le calcul attributaire fournit un langage formel pour l’induction naturelle, un processus d’apprentissage inductif dont les résultats sont sous des formes naturelles.

Français

calcul d’attribution n.m.
calcul attributaire n.m.

Anglais

Attributional calculus

Wikipedia