确定性模态贝叶斯逻辑:在模态逻辑 T 内导出贝叶斯
逻辑
2016-09-07 v1 计算机科学中的逻辑
概率论
摘要
本文定义并研究了一种条件逻辑。这一条件逻辑 DmBL 被构造得尽可能接近贝叶斯且不受限制,即能够无限制地使用任意算子。逻辑独立性这一概念也在该逻辑内部被定义。该逻辑被证明是非平凡的且并不归约为经典命题。我们为该逻辑构造了一个模型。完备性结果得到证明。我们证明了任意无条件概率都可扩张到整个逻辑 DmBL。随后贝叶斯从概率化的 DmBL 中恢复。最后,我们说明了 DmBL 为何与 Lewis 平凡性相容。
引用
@article{arxiv.math/0509248,
title = {Deterministic modal Bayesian Logic: derive the Bayesian within the modal logic T},
author = {Frederic Dambreville},
journal= {arXiv preprint arXiv:math/0509248},
year = {2016}
}
备注
The revised version of "Definition of a Deterministic Bayesian Logic". The formalism, proofs, and models have been enhanced and simplified