Definition of a Deterministic Bayesian Logic

Frederic Dambreville (1)

1 DGA/CTA/DT/GIP - Centre Technique d'Arcueil

The Bayesian logic is generally associated to the definition of a prior probabilistic law. Conditional algebra have been investigated by some authors though, but somehow the background framework is still probabilistic and the entire logic is not specified. In this paper, the definition of a Deterministic Bayesian Logic is proposed. This logic is completely independent of any notion of probability. The coherence of this logic is proven and various logical theorems are derived. It is shown that this logic is probabilizable and avoids the negative result of Lewis. At last the probabilistic Bayesian rule is recovered by posteriorly probabilizing our logic.

Mots clés: Probability; Bayesian inference; Logic; Bayesian Logic; Probabilized Logic

Domaines: Logique en informatique [cs.LO]; Probabilités [math.PR]; Logique [math.LO]

Frederic Dambreville. Definition of a Deterministic Bayesian Logic. 2004. ⟨hal-00003388v1⟩