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 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 .