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 des prédicats, de calcul propositionnel et de logique à valeurs multiples. Le calcul d'attribution fournit un langage formel pour l'induction naturelle, un processus d'apprentissage inductif dont les résultats sont sous des formes naturelles .