关于一阶逻辑中具有动作和元lief的测度

逻辑和概率的统一一直被视为哲学和数理逻辑中长期关注的问题。在本文中，我们提出了一个新的一般概率模态逻辑的信念和只相信情形演算。我们的逻辑既可以表达连续的信念程度，也可以表达离散的信念程度。更重要的是，首次可以在动态环境中表达任意一阶公式的置信度，这远远超出了之前的建议，因为之前的建议假设fluents为nullary或discrete。我们表明，我们的信念概念保留了从先前相关工作中已知的许多特性。