Abstract
Conditional propositions do for logic what fractions do for the integers. The resulting system allows systematic simplification and probabilistic determination of complex conditional expressions used extensively in expert systems and other information processing. The distinction between wholly true versus partially true propositions and the resulting distinction between conditional propositions that are true, false or inapplicable (undefined) leads to various plausible forms of deduction in the realm of conditionals, thus illustrating the non-monotonicity of conditional logic and probability.

This publication has 8 references indexed in Scilit: