La logique du premier ordre (également appelée logique des prédicats et calcul des prédicats du premier ordre) est un ensemble de systèmes formels utilisés en mathématiques, en philosophie, en linguistique et en informatique.

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 .