论逻辑程序更新中的强否定与默认否定(扩展版)
本文探讨了一种通过借鉴信仰更新领域的成果来解决更新 Logic 程序的问题的方法,证明了一种表示定理并定义了一种特定操作,从而更好地管理 Logic 程序的演变。
Jun, 2013
该研究使用 Bartholomew 和 Lee 的函数稳定模型语义,提供了关于强否定的另一种描述方式,并表明非布尔内涵函数可以用强否定表示以计算函数稳定模型语义。
Dec, 2013
本文研究了 Answer Set Programming 中的 explicit negation 可以与 nested expressions 相组合,并证明可以通过扩展 Equilibrium Logic 来捕获这种组合,同时将其与 Nelson's strong negation 进行比较。
Jul, 2019
本文介绍了基于先验偏好的逻辑程序的扩展,使用保留谓词符号和命名技巧动态推导出有关规则之间优先级的偏好信息,并能在多项式时间内计算有限制的逻辑程序的良基结论,同时通过合法推理示例说明了该方法的实用性。
Feb, 1996
本文提出了一种基于答案集语义下的逻辑程序修订方法,通过三种评价方式确定用程序 P 修订后的答案集,同时满足了 AGM 修订原则和更新逻辑程序的特征。
Jul, 2010
本文探讨了一种更新非单调知识库的方法,并在理论改变和非单调性推理的领域中考虑了更新和修订算子的公设及其新属性,从而提出了一种更好的因果拒绝原则。研究还包括我们提出的语义的细化。同时,我们还研究了与其他方法的关系,证明了我们的方法等同于 Buccafurri 等人的继承程序,并且与某些类的动态逻辑程序一致。最后,文章还着重探讨了我们的方法的计算复杂度,并概述了更新语义及其细化如何在现有逻辑编程引擎上实现。
Sep, 2001
本文探讨了优先默认推理的两个特性,揭示了优先逻辑程序的互斥性和唯一性之间的密切关系,并探讨了将扩展逻辑程序的分裂技术推广到优先逻辑程序的可能性,证明了可以在一定条件下简化优先逻辑程序的评估。
Mar, 2002
通过研究 Eiter 等人定义的无公式更新序列的更新算子,我们发现它满足一个有趣的特性,我们称之为 “句法弱独立性”,它类似于 Alchourron,Gardenfors 和 Makinson 提出的一个公设,但在这种情况下是适用于非单调逻辑,我们还通过考虑其他五个关于更新程序的基本性质,展示了 Eiter 等人的算子满足这些性质。同时,我们通过将 Nelson 逻辑视为单调逻辑来继续分析 AGM 公设,并扩展了对答案集的理解。此外,Nelson 逻辑还帮助我们推导出 Eiter 等人定义的算子的另一种定义,避免了使用不必要的额外原子。
Sep, 2006
本文提出了两种方法来定义任意类型抽像限制原子(c-atoms)的逻辑程序的答案集,这些定义泛化了正常逻辑程序的修正点和级别映射基础的答案集语义,其中包括四种不同的答案集定义,这四种在应用于正常逻辑程序时是相等的。
Oct, 2011