Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
Piotr Gorczyca, Hannes Strass
立场逻辑为代表多个异构性观点提供了统一的基于模态逻辑的形式主义。 同时,许多非单调推理框架可以使用模态逻辑自然捕获,特别是使用模态逻辑S4F。 在这项工作中,我们提出了一种称为S4F立场逻辑的新形式主义,它概括了S4F和立场命题逻辑,因此能够表达多观点,非单调的语义承诺。 我们定义其语法和语义并分析其计算复杂性,获得S4F Standpoint Logic在计算上并不比其组成逻辑更难计算的结果,无论是单调还是非单调形式。 我们还概述了轻信和怀疑接受的机制,并以一个例子说明了框架。
Standpoint logics offer unified modal logic-based formalisms for representing multiple heterogeneous viewpoints. At the same time, many non-monotonic reasoning frameworks can be naturally captured using modal logics, in particular using the modal logic S4F. In this work, we propose a novel formalism called S4F Standpoint Logic, which generalises both S4F and standpoint propositional logic and is therefore capable of expressing multi-viewpoint, non-monotonic semantic commitments. We define its sy...