MMJun, 2021

通过 Datalog$^ eg$ 进行可辩驳推理

PDF
TL;DR通过将可防御理论编译成 Datalog 程序，为 DL（||）中的可防御逻辑证明了编译的正确性，并确定了 DL（||）的结构属性，从而支持与其他可防御逻辑相比，在逻辑中高效实现和 / 或近似可防御理论的结论，并利用逻辑程序的已知结构属性来适应不完整的 Datalog 实现。
发现论文，激发创造
  • 在良基语义下，可反驳逻辑和逻辑编程的相互定义

    本文提出将 Nute's Defeasible Logic 理论转化为逻辑程序的方法，并提供相应的相反方向翻译。通过某些自然限制，使得 Defeasible Logic ADL 的推理结论与 Logic Program 的 Well-Founded Semantics 相一致，这样就可以证明这两种形式语言是密切相关的。

    Jun, 2011

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

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

    Nov, 2005

  • 可否推翻的逻辑编程：一种论证方法

    这篇论文介绍了一种名为 Defeasible Logic Programming（DeLP）的形式化方法，它将 Logic Programming 和 Defeasible Argumentation 的结果结合起来，提供了一种在动态领域中处理不完整和矛盾信息的代理人知识表示和基于论证的推理机制。

    Feb, 2003

  • 基于 ASP 的具有缺陷性的 DL-Lite_R 推理

    本文基于正当例外的方法，对 DL-Lite_R 知识库进行了建模，并研究了其语义和计算特性，提出一种较简单的 ASP 编码来管理负信息，从而实现了对其带有例外公理的实例检查的完整推理过程。

    Jun, 2021

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

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

    Jul, 2002

  • 一种灵活的缺陷推理框架

    本文针对知识表示方面的问题提出了一种解决方法，即选择多个统一框架内的推理逻辑，并通过逻辑元程序进行组合。在此框架下，作者支持了所有满足强否定原则的可废除逻辑。

    Mar, 2000

  • 不相交 Datalog 程序的 Datalog 改写性及其在本体推理中的应用

    研究了将一个分离的 Datalog 程序重写为普通的 Datalog 的问题，并提出了一种新的基于规则的知识表示语言（KR language）—— 弱线性分离 Datalog，以及在本文的框架下对本体推理问题的应用，结果表明许多非 Horn 本体可以被简化为弱线性程序，并可以用 Datalog 引擎在实践中进行查询回答。

    Apr, 2014

  • 命题性可废弃逻辑具有线性时间复杂度

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

    May, 2004

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

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

    May, 2022

  • 带继承的分离逻辑程序

    该论文提出了一种新的知识表示语言 DLP <，通过继承扩展了具有强否定的分段逻辑编程。文中提供了 DLP < 的声明性模型论语义，并通过将经典的非单调问题编码为 DLP < 来说明其知识建模功能，证明了继承不会导致任何计算开销。

    May, 2001