用命题可计算性逻辑扩充和自动化基本概率论
Extending and Automating Basic Probability Theory with Propositional Computability Logic
摘要：
经典概率论是用集合来表述的。本文用命题可计算性逻辑扩展了经典概率论。与其他形式主义不同，可计算性逻辑建立在事件/博弈的概念上，这是概率论的核心。因此，基于CoL的概率理论是有用的{ \it自动化}不确定性推理。我们描述了这个新的概率论的一些基本性质。我们还讨论了一种新的集合运算和可计算性逻辑运算之间的同构。
英文摘要：
Classical probability theory is formulated using sets. In this paper, we extend classical probability theory with propositional computability logic. Unlike other formalisms, computability logic is built on the notion of events/games, which is central to probability theory. The probability theory based on CoL is therefore useful for {\it automating} uncertainty reasoning. We describe some basic properties of this new probability theory. We also discuss a novel isomorphism between the set operations and computability logic operations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
