可废止的模式
Defeasible Modalities
摘要：
非单调逻辑的特征通常是存在一些“条件”的概念，而这些概念不具有单调性。因此，对非单调逻辑的研究主要关注的是论证形式的可废止性及其组成部分的相关正规性（或反常性）。相反，可废止的推理模式旨在形式化模态概念的可废止方面，如行动，义务和知识。在这项工作中，我们丰富了标准的可能世界语义与世界上的Kripke模型的偏好排序。由此产生的模态逻辑家族允许可废止模态的优雅表达。我们还提出了一个表演算，这是健全的和完整的关于我们的优惠语义。
英文摘要：
Nonmonotonic logics are usually characterized by the presence of some notion of 'conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms and the associated normality (or abnormality) of its constituents. In contrast, defeasible modes of inference aim to formalize the defeasible aspects of modal notions such as actions, obligations and knowledge. In this work we enrich the standard possible worlds semantics with a preference ordering on worlds in Kripke models. The resulting family of modal logics allow for the elegant expression of defeasible modalities. We also propose a tableau calculus which is sound and complete with respect to our preferential semantics.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
