西蒙·克莱默;卡图西亚帕拉米德斯;罗伯特·塞加拉;安德烈亚·图里尼;克里斯特尔·布劳恩 概率过程的定量多弹性逻辑及其在信息挖掘中的应用。 （英语） Zbl 1186.68325号 J.应用。非类别。日志。 19，第4期，489-516（2009）。 摘要：我们介绍了一种新的模态逻辑，即带错误控制的多沙演算（D（mu）-CEC），并提出了逻辑中概率匿名性和不经意传输的形式化，以及这些形式化在概率CCS中形式化实现的验证。我们逻辑的显著特点是，为信念（属性“doxastic”）提供了一个动态操作符组合，并对理解感知现实的可能错误和内在概率进行了控制。这两个算子都是动态的（非单调的），这要归功于将它们与时间算子相结合的可能性，并且都是用概率下界和概率上界（误差控制）参数化的。 引用于2文件 MSC公司： 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 03B45号 模态逻辑（包括规范逻辑） 03B70号 计算机科学中的逻辑 68T42型 Agent技术与人工智能 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 关键词：匿名性与信息隐藏;具有错误控制的多塞性\（\mu\）-微积分;不经意转移;概率过程计算;多智能体系统 PDF格式BibTeX公司 XML格式引用 \textit{S.Kramer}等人，J.Appl。非类别。日志。19，第4号，489--516（2009；Zbl 1186.68325） 全文： 内政部 参考文献： [1] Beauxis R.，第三届可信全球计算研讨会论文集（TGC 2007）4912 pp 347–·doi:10.1007/978-3-540-78663-4_23 [2] Bhargava M.，CONCUR 3653会议记录，第171页– [3] DOI:10.1016/j.tcs.2007.09.006·Zbl 1132.68026号 ·doi:10.1016/j.tcs.2007.09.006 [4] Chatzikokolakis K.，2007年CONCUR会议记录4703第42页– [5] Chatzikokolakis K.，《信息与计算》（2009年） [6] 内政部：10.1007/BF00206326·Zbl 0654.94012号 ·doi:10.1007/BF00206326 [7] DOI:10.2168/LMCS-3（3:2）2007年·Zbl 1125.68046号 ·doi:10.2168/LMCS-3（3:2）2007年 [8] Dechesne F.，《第十四届国际逻辑编程人工智能与推理会议论文集》（LPAR’07）4790页226–·Zbl 1137.68445号 ·doi:10.1007/978-3-540-75560-9_18 [9] Desharnais J.，第17届IEEE计算机科学逻辑研讨会论文集，第478页- [10] 内政部：10.1145/3812.3818·数字对象标识代码：10.1145/3812.3818 [11] 内政部：10.3233/JCS-2005-13305·doi:10.3233/JCS-2005-13305 [12] DOI:10.2168/LMCS-1（3:1）2005年·Zbl 1125.68116号 ·doi:10.2168/LMCS-1（3:1）2005年 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。