Journal of Logic, Language and Information 15 (1-2):49-63 (2006)
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.
|Keywords||probabilistic logic rational acceptance the lottery paradox System P bounded uncertain reasoning|
|Categories||categorize this paper)|
References found in this work BETA
The Logic of Conditionals: An Application of Probability to Deductive Logic.Ernest W. Adams - 1975 - D. Reidel Pub. Co..
Statistical Reasoning with Imprecise Probabilities.Peter Walley - 1991 - Chapman & Hall.
Probability and the Logic of Rational Belief.Henry Ely Kyburg - 1961 - Middletown, Conn., Wesleyan University Press.
Citations of this work BETA
Similar books and articles
A New Theory of Quantifiers and Term Connectives.Ken Akiba - 2009 - Journal of Logic, Language and Information 18 (3):403-431.
A Resource-Bounded Default Logic.Gregory Wheeler - 2004 - In J. Delgrande & T. Schaub (eds.), Proceedings of NMR 2004. AAAI.
Conjunctive and Disjunctive Combination of Belief Functions Induced by Nondistinct Bodies of Evidence.Thierry Denoeux - 2008 - Artificial Intelligence 172 (2--3):234--264.
Not Every Truth Can Be Known (at Least, Not All at Once).Greg Restall - 2009 - In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press. pp. 339--354.
Rules in Relevant Logic — II: Formula Representation.Ross T. Brady - 1993 - Studia Logica 52 (4):565 - 585.
Added to index2009-01-28
Total downloads36 ( #136,919 of 2,146,884 )
Recent downloads (6 months)1 ( #385,700 of 2,146,884 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.