In this paper, we show that coherent sets of gambles 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 secondly, it connects desirability, hence imprecise probabilities, to other formalism in computer science sharing the same underlying structure. Both the domain free and the labeled view of the information algebra of coherent sets of gambles are presented, considering a special case of possibility space.
翻译:在本文中,我们表明,一致的赌博可以嵌入信息代数的代数结构中,这首先导致对可取性的代数和逻辑结构的新视角,其次,它将可取性(因此不精确的概率)与共享相同基本结构的计算机科学中的其他形式主义联系起来。