A quantitative doxastic logic for probabilistic processes and applications to information-hiding
A quantitative doxastic logic for probabilistic processes and applications to information-hiding
复制标题
DOI：
10.3166/jancl.19.489-516
复制
发表时间：
2009-01
影响因子：
--
通讯作者：
S. Kramer;C. Palamidessi;R. Segala;Andrea Turrini;Christelle Braun
中科院分区：
文献类型：
--
作者：
S. Kramer;C. Palamidessi;R. Segala;Andrea Turrini;Christelle Braun
介绍了一种新的模态逻辑--具有错误控制的doxastic μ-演算（DμCEC），给出了该逻辑中概率匿名性和不经意传输的形式化描述，并在概率CCS的实现上验证了这些形式化描述.我们的逻辑的显着特点是提供了一个组合的动态运营商的信念（从属性“doxastic”）与控制的可能错误的理解感知的现实，并为内在的概率。这两个算子都是动态的（非单调的），这要归功于将它们与时间算子相结合的可能性，并且用上下概率界（误差控制）进行参数化。
We introduce a novel modal logic, namely the doxastic μ-calculus with error control (DμCEC), and propose a formalization of probabilistic anonymity and oblivious transfer in the logic, and the validation of these formalizations on implementations formalized in probabilistic CCS. The distinguishing feature of our logic is to provide a combination of dynamic operators for belief (whence the attribute “doxastic”) with a control on the possible error of apprehension of the perceived reality, and for internalized probability. Both operators are dynamic (non-monotonic) thanks to the possibility of combining them with temporal operators, and are parameterized with a lower and upper probability bound (the error control).