Extending the standard format of adaptive logics to the prioritized case
Extending the standard format of adaptive logics to the prioritized case
复制标题
将自适应逻辑的标准格式扩展到优先级情况
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Christian Straßer
中科院分区：
文献类型：
--
作者：
Frederik Van De Putte;Christian Straßer
本文介绍了一种新的推理格式，具有优先的正态性标准。它适用于多种情况，例如处理（可能冲突的）优先信念基础或以优先方式组合不同的推理方法。该格式是自适应逻辑标准格式的概括（参见[4]）。其中制定的每个逻辑都具有 Shoham 选择语义（参见 [22]）风格的简单语义和动态证明理论。此外，它可以依靠丰富的元理论，继承标准格式的有吸引力的特征，例如健全性和完整性、自反性、幂等性、谨慎的单调性和许多其他属性。
This paper introduces a new format for reasoning with prioritized standards of normality. It is applicable in a broad variety of contexts, e.g. dealing with (possibly conflicting) prioritized belief bases or combining different reasoning methods in a prioritized way. The format is a generalization of the standard format of adaptive logics (see [4]). Every logic that is formulated within it has a straightforward semantics in the style of Shoham's selection semantics (see [22]) and a dynamic proof theory. Furthermore, it can count on a rich meta-theory that inherits the attractive features of the standard format, such as soundness and completeness, reflexivity, idempotence, cautious monotonicity, and many other properties.