A Logic with Kolmogorov Style Conditional Probabilities
نویسندگان
چکیده
In this paper we investigate a probability logic with conditional probability operators. The logic (denoted LPP ) allows making statements such as CP≥s(α | β), with the intended meaning ”the conditional probability of α given β is at least s”. Conditional probabilities are defined in the usual Kolmogorv style: P (α | β) = P (α∧β) P (β) , P (β) > 0. A possible-world approach is used to give semantics to probability formulas. An infinitary axiomatic system for our logic is given and the corresponding strong completeness theorem is proved. It is proved that the logic is decidable.
منابع مشابه
Conditioning using conditional expectations: the Borel-Kolmogorov Paradox
The Borel-Kolmogorov Paradox is typically taken to highlight a tension between our intuition that certain conditional probabilities with respect to probability zero conditioning events are well defined and the mathematical definition of conditional probability by Bayes’ formula, which looses its meaning when the conditioning event has probability zero. We argue in this paper that the theory of ...
متن کاملThe concept of logic entropy on D-posets
In this paper, a new invariant called {it logic entropy} for dynamical systems on a D-poset is introduced. Also, the {it conditional logical entropy} is defined and then some of its properties are studied. The invariance of the {it logic entropy} of a system under isomorphism is proved. At the end, the notion of an $ m $-generator of a dynamical system is introduced and a version of the Kolm...
متن کاملAlternative axiomatizations of elementary probability theory
1 Outline In this paper I offer some new axiomatizations of elementary (finite) probability theory. The new axiomatizations have the following distinctive features. First, both conditional and unconditional probabilities are simultaneously axiomatized. Second, the axiomatizations are extensions of Kolmogorov probability theory, and have the usual definitions linking conditional and unconditiona...
متن کاملClassification of Style-Constrained Pattern-Fields
In some classification tasks, all patterns in a field, such as digits in a ZIP-code image, originate from the same, but unknown, source (writer/print style). The class-conditional feature distributions depend on the source of the patterns. Several sources may share the same distribution, or style. The style-conditional distributions are estimated from the training set. The optimal field-classif...
متن کاملBell’s inequality for conditional probabilities and nonexistence of a realistic model for the two dimensional Hilbert space
We perform the analysis of probabilistic assumptions of Bell’s approach. We emphasize that J. Bell wrote about probability without to specify the concrete axiomatics of probability theory. The careful analysis demonstrated that (surprisingly) J. Bell did not apply the classical probability model (Kolmogorov) to describe “classical physical framework.” In fact, he created his own probabilistic m...
متن کامل