Extension of Boolean algebra by a Bayesian operator; application to the definition of a Deterministic Bayesian Logic

Frederic Dambreville (1, 2)

1 DGA/UMESIO
2 Ensieta - Ecole Nationale Supérieure des Ingénieurs des Etudes et Techniques d'Armement

This work contributes to the domains of Boolean algebra and of Bayesian probability, by proposing an algebraic extension of Boolean algebras, which implements an operator for the Bayesian conditional inference and is closed under this operator. It is known since the work of Lewis (Lewis' triviality) that it is not possible to construct such conditional operator within the space of events. Nevertheless, this work proposes an answer which complements Lewis' triviality, by the construction of a conditional operator outside the space of events, thus resulting in an algebraic extension. In particular, it is proved that any probability defined on a Boolean algebra may be extended to its algebraic extension in compliance with the multiplicative definition of the conditional probability. In the last part of this paper, a new bivalent logic is introduced on the basis of this algebraic extension, and basic properties are derived.

Mots clés: Boolean algebra; Bayesian inference; Lewis' triviality; Hahn series; Logic

Domaines: Logique [math.LO]; Logique en informatique [cs.LO]; Intelligence artificielle [cs.AI]

Frederic Dambreville. Extension of Boolean algebra by a Bayesian operator; application to the definition of a Deterministic Bayesian Logic. 2011. ⟨hal-00627551v2⟩