Entailment with near surety of scaled assertions of high conditional probability
Journal of Philosophical Logic 29 (1):1-74 (2000)
| Abstract | An assertion of high conditional probability or, more briefly, an HCP assertion is a statement of the type: The conditional probability of B given A is close to one. The goal of this paper is to construct logics of HCP assertions whose conclusions are highly likely to be correct rather than certain to be correct. Such logics would allow useful conclusions to be drawn when the premises are not strong enough to allow conclusions to be reached with certainty. This goal is achieved by taking Adams" (1966) logic, changing its intended application from conditionals to HCP assertions, and then weakening its criterion for entailment. According to the weakened entailment criterion, called the Criterion of Near Surety and which may be loosely interpreted as a Bayesian criterion, a conclusion is entailed if and only if nearly every model of the premises is a model of the conclusion. The resulting logic, called NSL, is nonmonotonic. Entailment in this logic, although not as strict as entailment in Adams" logic, is more strict than entailment in the propositional logic of material conditionals. Next, NSL was modified by requiring that each HCP assertion be scaled; this means that to each HCP assertion was associated a bound on the deviation from 1 of the conditional probability that is the subject of the assertion. Scaling of HCP assertions is useful for breaking entailment deadlocks. For example, it it is known that the conditional probabilities of C given A and of ¬ C given B are both close to one but the bound on the former"s deviation from 1 is much smaller than the latter"s, then it may be concluded that in all likelihood the conditional probability of C given A B is close to one. The resulting logic, called NSL-S, is also nonmonotonic. Despite great differences in their definitions of entailment, entailment in NSL is equivalent to Lehmann and Magidor"s rational closure and, disregarding minor differences concerning which premise sets are considered consistent, entailment in NSL-S is equivalent to entailment in Goldszmidt and Pearl"s System-Z +. Bacchus, Grove, Halpern, and Koller proposed two methods of developing a predicate calculus based on the Criterion of Near Surety. In their random-structures method, which assumed a prior distribution similar to that of NSL, it appears possible to define an entailment relation equivalent to that of NSL. In their random-worlds method, which assumed a prior distribution dramatically different from that of NSL, it is known that the entailment relation is different from that of NSL. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDavid E. Over & Jonathan St B. T. Evans (2003). The Probability of Conditionals: The Psychological Evidence. Mind and Language 18 (4):340–358.
James Hawthorne (1996). On the Logic of Nonmonotonic Conditionals and Conditional Probabilities. Journal of Philosophical Logic 25 (2):185-218.
Richard Dietz (2010). On Generalizing Kolmogorov. Notre Dame Journal of Formal Logic 51 (3):323-335.
Mandy Simons (2006). Foundational Issues in Presupposition. Philosophy Compass 1 (4):357–372.
Philip Hugly & Charles Sayward (1981). Completeness Theorems for Two Propositional Logics in Which Identity Diverges From Mutual Entailment. Notre Dame Journal of Formal Logic 22 (3):269-282.
James Hawthorne (1988). A Semantic Approach to Non-Monotonic Conditionals. In J. F. Lemmer & L. N. Kanal (eds.), Uncertainty in Artificial Intelligence 2. Elsevier.
Fred Seymour Michael (2002). Entailment and Bivalence. Journal of Philosophical Logic 31 (4):289-300.
Lou Goble (2003). Neighborhoods for Entailment. Journal of Philosophical Logic 32 (5):483-529.
Angelo Gilio (2005). Probabilistic Logic Under Coherence, Conditional Interpretations, and Default Reasoning. Synthese 146 (1-2):139 - 152.
Thomas Lukasiewicz (2005). Nonmonotonic Probabilistic Reasoning Under Variable-Strength Inheritance with Overriding. Synthese 146 (1-2):153 - 169.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads15 ( #78,648 of 549,087 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
