条件对象与条件事件的时间计算
人工智能
2007-05-23 v1 计算机科学中的逻辑
摘要
我们考虑定义条件对象 (a|b) 的问题，以便将条件概率 Pr(a|b) 视为一个明确定义的事件的概率，而不仅仅是 Pr(ab)/Pr(b) 的简写。下一个问题是定义条件对象的布尔组合，可能还包括进一步的条件化运算符。这些问题至少自乔治·布尔时代就被研究过，导致提出了许多用于条件对象的形式化方法，主要是语法的、证明论的倾向。我们提出了一种统一的语义方法，其中条件事件是（投影的）马尔可夫链，可在命题线性时序过去时分片的三值扩展中定义，或等价地，通过三值无计数 Moore 机定义。因此，我们的条件对象确实是随机过程，这是现代概率论的核心概念之一。我们的模型实现了布鲁诺·德·芬涅提的早期思想，而且，我们在另一篇论文中展示，所有之前提出的条件事件代数都可以同构地嵌入我们的模型中。
引用
@article{arxiv.cs/0110003,
title = {The temporal calculus of conditional objects and conditional events},
author = {Jerzy Tyszkiewicz and Arthur Ramer and Achim Hoffmann},
journal= {arXiv preprint arXiv:cs/0110003},
year = {2007}
}
备注
34 pages, 8 figures