Attributional Calculus (AC) is a logic and representation system defined by Ryszard S. Michalski. It combines elements of predicate logic, propositional calculus, and multi-valued logic. AC is a typed logic system that facilitates both inductive inference (hypothesis generation) and deductive inference (hypothesis testing and application). It serves as a simple knowledge representation for inductive learning and as a system for reasoning about entities described by attributes.
AC can be used to represent and reason about the attributes of objects in a domain. For example, AC can be used to represent the attributes of cars, such as color, make, model, and engine size, and perform logical operations on these attributes to generate hypotheses about the properties of the cars.