Information algebras in the theory of imprecise probabilities

In this paper, we show that coherent sets of gambles and coherent lower and upper previsions can be embedded into the algebraic structure of information algebra. This leads firstly, to a new perspective of the algebraic and logical structure of desirability and imprecise probabilities and secondly, it connects imprecise probabilities to other formalism in computer science sharing the same underlying structure. Both the domain free and the labeled view of the resulting information algebras are presented, considering product possibility spaces. Moreover, it is shown that both are atomistic and therefore they can be embedded in set algebras.

[1]  Jürg Kohlas.  Information algebras - generic structures for inference , 2003, Discrete mathematics and theoretical computer science.

[2]  C. Żdanowicz.  Compatibility. , 2018, Nursing & health care : official publication of the National League for Nursing.

[3]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[4]  P. Alam.  ‘G’ , 2021, Composites Engineering: An A–Z Guide.

[5]  Prakash P. Shenoy,et al.  A valuation-based language for expert systems , 1989, Int. J. Approx. Reason..

[6]  P. M. Williams,et al.  Notes on conditional previsions , 2007, Int. J. Approx. Reason..

[7]  Gert de Cooman,et al.  Exchangeability and sets of desirable gambles , 2009, Int. J. Approx. Reason..

[8]  Marco Zaffalon,et al.  Compatibility, desirability, and the running intersection property , 2020, Artif. Intell..

[9]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[10]  Juerg Kohlas,et al.  Commutative Information Algebras: Representation and Duality Theory , 2020, ArXiv.

[11]  Gert de Cooman,et al.  Independent natural extension , 2010, Artif. Intell..

[12]  Marco Zaffalon,et al.  Information algebras of coherent sets of gambles in general possibility spaces , 2021, ISIPTA.

[13]  Marco Zaffalon,et al.  Algebras of Sets and Coherent Sets of Gambles , 2021, ECSQARU.

[14]  Prakash P. Shenoy,et al.  Axioms for probability and belief-function proagation , 1990, UAI.

[15]  P. Walley.  Statistical Reasoning with Imprecise Probabilities , 1990 .

[16]  Gert de Cooman,et al.  Belief models: An order-theoretic investigation , 2005, Annals of Mathematics and Artificial Intelligence.