在Belnap-Dunn逻辑上使用信念函数的推理
摘要：用信念和可信度函数扩展Belnap-Dunn逻辑，允许在不完全和不一致的概率信息下进行非平凡推理。我们还以两种方式形式化非标准概率和信念函数的推理。第一种方式是使用线性不等式的演算，类似于~cite{FaginHalpernMegiddo1990}中提出的方法。第二种方式是作为一个双层模态逻辑，其中使用L{}ukasiewicz逻辑的可自洽扩展进行证据的推理（外层）。第二种方法受到~cite{BaldiCintulaNoguera2020}的启发。我们证明了这两种演算的完备性，并通过建立双向忠实翻译来证明它们的等价性。
作者：Marta B''ilkov''a and Sabine Frittella and Daniil Kozhemiachenko and Ondrej Majer and Sajad Nazari
论文ID：2203.01060
分类：Logic
分类简称：math.LO
提交时间：2023-07-19