A Measure-Free Approach to Conditioning
Abstract
In an earlier paper, a new theory of measure-free conditional objects was presented. In this paper, emphasis is placed upon the motivation of the theory. The central part of this motivation is established through an example involving a knowledge based system. In order to evaluate combination of evidence for this system, using observed data, auxiliary attribute and diagnosis variables, and inference rules connecting them, one must first choose an appropriate algebraic logic description pair (ALDP): a formal language or syntax followed by a compatible logic or semantic evaluation (or model). Three common choices-for this highly non-unique choice-are briefly discussed, the logics being Classical Logic, Fuzzy Logic, and Probability Logic. In all three, the key operator representing implication for the inference rules is interpreted as the often-used disjunction of a negation for any events a, b.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1987
- Accession Number
- ADA240417
Entities
People
- I. R. Goodman