NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Questions Revisited: A Close Examination of Calculus of Inference and InquiryIn this paper I examine more closely the way in which probability theory, the calculus of inference, is derived from the Boolean lattice structure of logical assertions ordered by implication. I demonstrate how the duality between the logical conjunction and disjunction in Boolean algebra is lost when deriving the probability calculus. In addition, I look more closely at the other lattice identities to verify that they are satisfied by the probability calculus. Last, I look towards developing the calculus of inquiry demonstrating that there is a sum and product rule for the relevance measure as well as a Bayes theorem. Current difficulties in deriving the complete inquiry calculus will also be discussed.
Document ID
20030107658
Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Knuth, Kevin H.
(NASA Ames Research Center Moffett Field, CA, United States)
Koga, Dennis
(NASA Ames Research Center Moffett Field, CA, United States)
Date Acquired
August 21, 2013
Publication Date
January 1, 2003
Subject Category
Statistics And Probability
Meeting Information
Meeting: Maximum Entropy and Bayesian Methods MAXENT 2003
Location: Jackson Hole, WY
Country: United States
Start Date: August 1, 2003
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

There are no available downloads for this record.
No Preview Available