一种关于证据推理的逻辑

我们引入了一种用于证据推理的逻辑，该逻辑本质上将证据视为从先验信念（在进行观测之前）到后验信念（在进行观测之后）的函数。我们为该逻辑提供了一个可靠且完备的公理化体系，并考虑了判定问题的复杂度。尽管该逻辑中的推理主要是命题层面的，但我们允许表示数字的变量以及对这些变量的量化。这种表达能力对于刻画证据的重要性质似乎是必要的。