Rational Acceptance and Conjunctive/Disjunctive Absorption
- 61 Downloads
A bounded formula is a pair consisting of a propositional formula φ in the first coordinate and a real number within the unit interval in the second coordinate, interpreted to express the lower-bound probability of φ. Converting conjunctive/disjunctive combinations of bounded formulas to a single bounded formula consisting of the conjunction/disjunction of the propositions occurring in the collection along with a newly calculated lower probability is called absorption. This paper introduces two inference rules for effecting conjunctive and disjunctive absorption and compares the resulting logical system, called System Y, to axiom System P. Finally, we demonstrate how absorption resolves the lottery paradox and the paradox of the preference.
Keywordsprobabilistic logic rational acceptance the lottery paradox System P bounded uncertain reasoning
Unable to display preview. Download preview PDF.
- Adams, E., 1975, The Logic of Conditionals, Dordrecht: Reidel.Google Scholar
- Fagin, R. and Halpern, J.Y., 1991, “Uncertainty, belief and probability”, Computational Intelligence 6, 160–173.Google Scholar
- Halmos, P.R., 1950, Measure Theory, Berlin: Springer-Verlag.Google Scholar
- Halpern, J.Y., 2003. Reasoning about Uncertainty, Cambridge, Mass: MIT Press.Google Scholar
- Kyburg, H.E. Jr., 1961, Probability and the Logic of Rational Belief, Middletown, CT: Wesleyan University PressGoogle Scholar
- Kyburg H.E. Jr., Teng, C.M., and Wheeler, G., “Conditionals and consequences,” Journal of Applied Logic, forthcoming.Google Scholar
- Pearl, J., 1990, System Z: A natural ordering of defaults with tractable applications to default reasoning. In Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufman: San Francisco, pp. 121–135.Google Scholar
- Ruspini, E.H., 1987 The logical foundations of evidential reasoning. Research note 408, SRI International, Stanford, CA.Google Scholar
- Walley, P., 1991, Statistical Reasoning with Imprecise Probabilities, London: Chapman and Hall.Google Scholar
- Wheeler, G., 2004, A resource bounded default logic, Delgrande J. and Schaub, T., (eds). Proc. of NMR 2004, pp. 416–422.Google Scholar