Attributional calculus
Encyclopedia
Attributional calculus is a logic and representation system defined by Ryszard S. Michalski. It combines elements of predicate logic
, propositional calculus
, and multi-valued logic
. Attributional calculus provides a formal language for natural induction, an inductive learning process whose results are in forms natural to people.
Predicate logic
In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulae contain variables which can be quantified...
, propositional calculus
Propositional calculus
In mathematical logic, a propositional calculus or logic is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules and axioms allows certain formulas to be derived, called theorems; which may be interpreted as true...
, and multi-valued logic
Multi-valued logic
In logic, a many-valued logic is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values for any proposition...
. Attributional calculus provides a formal language for natural induction, an inductive learning process whose results are in forms natural to people.