Attributional calculus is a logic and representation system defined by

Ryszard S. Michalski Ryszard S. Michalski (May 7, 1937 – September 20, 2007) was a Polish-American computer scientist. Michalski was Professor at George Mason University and a pioneer in the field of machine learning. Biography Michalski was born in Kalusz near Lv ...

. It combines elements of predicate logic,

propositional calculus Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations b ...

, and multi-valued logic. Attributional calculus provides a formal language for natural induction, which is an inductive learning process whose outcomes are in human-readable forms.

References

Michalski, R.S., "ATTRIBUTIONAL CALCULUS: A Logic and Representation Language for Natural Induction," Reports of the Machine Learning and Inference Laboratory, MLI 04–2, George Mason University, Fairfax, VA, April, 2004. Artificial intelligence Systems of formal logic {{Compu-AI-stub