确定性模态贝叶斯逻辑：在模态逻辑 T 内推导贝叶斯推理
逻辑
2007-05-23 v1 计算机科学中的逻辑
概率论
摘要
本文定义并研究了一种条件逻辑。该条件逻辑 DmBL 作为贝叶斯条件的确定性对应物而构造。该逻辑不受限制，从而允许任意逻辑运算。逻辑独立性的概念也在逻辑内部定义。该逻辑被证明是非平凡的且不归约为经典命题。为该逻辑构造了一个模型。证明了完全性结果。证明了任意无条件概率可扩张到整个逻辑 DmBL。随后从概率化 DmBL 中恢复出贝叶斯条件。最后，说明了 DmBL 为何与 Lewis 的平凡性相容。
引用
@article{arxiv.math/0701801,
title = {Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T},
author = {Frederic Dambreville},
journal= {arXiv preprint arXiv:math/0701801},
year = {2007}
}
备注
Second revision of: Definition of a Deterministic Bayesian Logic