A logic for reasoning about coherent conditional probability: A modal fuzzy logic approach

Abstract

In this paper we define a logic to reason about coherent conditional probability, in the sense of de Finetti. Under this view, a conditional probability μ(· | ·) is a primitive notion that applies over conditional events of the form "φ given φ", where φ is not the impossible event. Our approach exploits an idea already used by Hajek and colleagues to define a logic for (unconditional) probability in the frame of fuzzy logics. Namely, in our logic for each pair of classical propositions φ and φ, we take the probability of the conditional event "φ given φ", φφ for short, as the truth-value of the (fuzzy) modal proposition P(φ | φ), read as "φ|φ is probable". Based on this idea we define a fuzzy modal logic FCP(ŁΠ), built up over the many-valued logic ŁΠ1/2 (a logic which combines the well-known Lukasiewicz and Product fuzzy logics), which is shown to be complete with respect to the class of probabilistic Kripke structures induced by coherent conditional probabilities. Finally, we show that checking coherence of a probability assessment to an arbitrary family of conditional events is tantamount to checking consistency of a suitable defined theory over the logic FCP(ŁΠ).