Oct, 2013

可驳斥的情态

PDF
TL;DR本研究运用 Kripke 模型和偏序理论构建了一族支持缺陷性模态表述的模态逻辑，同时提出的 Tableau 演算能够完备地反映此偏序语义。
发现论文，激发创造
  • 命题性可废弃逻辑具有线性时间复杂度

    使用具有严格和举止性规则以及规则优先关系的可撤销逻辑的命题形式可以在线性时间内进行推理，这与大多数其他命题非单调逻辑形成了鲜明对比。

    May, 2004

  • 将可废除逻辑嵌入到逻辑编程中

    本研究建立了否决逻辑与主流非单调推理方法之间的紧密联系，证明了如果存在决定性状态，则否决逻辑理论的否决推论与自反程序的怀疑性结论完全对应。

    Nov, 2005

  • 在真实世界的环境中，使用可辩证论证和数量数据进行比较和扩展

    本研究选择计算可信度作为应用领域，评估了异议论证推理的推理能力，并将其与模糊推理和专家系统进行了比较。结果表明，与基线相比，基于异议论证的模型表现更为稳健。这项研究扩展了先前工作，从而提高了异议论证作为处理数据和知识不确定性的一种复杂方法的普适性。

    Jun, 2022

  • 非单调推理、偏好模型和累积逻辑

    本文研究了非单调推理的一般模式，并试图通过参考积极属性来绘制非单调推理领域的地图，其中集中关注一些非单调推理的后果关系，并定义和表征了五个这样的后果关系家族。

    Feb, 2002

  • 一种针对可反驳逻辑的模型论语义

    本文研究了可撤销逻辑的模型论语义。该逻辑具有证明论，并且在所提供的语义条件下是准确和完整的。同时，本文还简要概述了这种方法如何扩展到各种可撤销逻辑。

    Jul, 2002

  • 缺陷逻辑的表示结果

    本研究考察了非单调推理 Defeasible Logic 的转化和正则形式，旨在为其深入理解和高效实现提供理论工具。

    Mar, 2000

  • 伦理元规则

    本文针对行为规范方面，将 Meta rules 适用于可撤销逻辑中，提出了两个变体的 Defeasible Deontic Logic，并针对这两个变体提出了高效的算法，此方法可适用于法规和信息技术领域。

    Sep, 2022

  • 认识您的异常：知识表示中的异常本体

    基于例外性和可推翻性的框架，对比四个系统，揭示从本体论角度可能出现的差异。

    Mar, 2024

  • 自动化法律中的可退后推理

    研究纠纷推理在基于规则的系统中的应用，提供了两种推理方法并将规则转换为公式。

    May, 2022

  • KLM 非单调推理的分析表格演算

    介绍一些关于非单调推理的逻辑的表格演算，其中包括了 Kraus, Lehmann 和 Magidor 定义的优先、循环累积、累积和理性逻辑，并为所有的 KLM 逻辑给出了一个演算法。这些演算法包括了适当的模态来解释条件语句，为所研究的逻辑提供了一个决策过程，并研究了它们的复杂性。

    Nov, 2006