基于 SE - 模型的语义规则更新的兴衰
本文提出了一种基于答案集语义下的逻辑程序修订方法,通过三种评价方式确定用程序 P 修订后的答案集,同时满足了 AGM 修订原则和更新逻辑程序的特征。
Jul, 2010
通过研究 Eiter 等人定义的无公式更新序列的更新算子,我们发现它满足一个有趣的特性,我们称之为 “句法弱独立性”,它类似于 Alchourron,Gardenfors 和 Makinson 提出的一个公设,但在这种情况下是适用于非单调逻辑,我们还通过考虑其他五个关于更新程序的基本性质,展示了 Eiter 等人的算子满足这些性质。同时,我们通过将 Nelson 逻辑视为单调逻辑来继续分析 AGM 公设,并扩展了对答案集的理解。此外,Nelson 逻辑还帮助我们推导出 Eiter 等人定义的算子的另一种定义,避免了使用不必要的额外原子。
Sep, 2006
本文介绍了现有应答集程序更新的语义学,指出两种方法存在的限制,并主张弱否定和强否定应该在更新的上下文中是平等的。我们确定了约束它们交互作用的原则。最后,我们扩展了最先进的语义,直接支持强否定,并展示了它满足所概述的原则,以及一系列其他的优秀特性。
Apr, 2014
提出了一种用于计算逻辑程序稳定模型语义的算法,强调使用有效的实现技术,特别地,提出了一种展望的实现和一种通过最小化搜索空间来产生良好的启发式方法。结果表明,稳定模型语义的逻辑程序具有更紧凑的逻辑程序表示,因此在某些问题上比命题逻辑优越。
May, 2000
通过稳定模型语义重新审视逻辑编程在约束满足问题中的角色定义,提出一种函数符号被消除的新型逻辑编程系统,基于约束来描述问题的解决方案。该方法具有良好的应用范围、有力的计算算法和新型编程方法。
Sep, 1998
本文介绍了关于稳定模型语义的一种另类的认识论方法,探讨了稳定模型语义可以完全定义为 Kripke-Kleene 语义的扩展,证明了封闭世界假设可以看作是要累加到 Kripke-Kleene 语义上的一个 “虚假” 的附加来源。
Mar, 2004
本文探讨了一种更新非单调知识库的方法,并在理论改变和非单调性推理的领域中考虑了更新和修订算子的公设及其新属性,从而提出了一种更好的因果拒绝原则。研究还包括我们提出的语义的细化。同时,我们还研究了与其他方法的关系,证明了我们的方法等同于 Buccafurri 等人的继承程序,并且与某些类的动态逻辑程序一致。最后,文章还着重探讨了我们的方法的计算复杂度,并概述了更新语义及其细化如何在现有逻辑编程引擎上实现。
Sep, 2001
本文提出了一种构建 LP 修订算子的细致方法,并以广义逻辑程序为例,证明了所有合理的广义逻辑程序修订算子均源自满足 AGM 公理的命题修订算子。同时,将广义逻辑程序修订算子嵌入布尔格结构中,并引入两个类别的广义逻辑程序修订算子,并将结果扩展到了多种形式的逻辑程序的修订算子。
Jun, 2015
研究 AGM 信念修正,通过构造优先量图实现对 iterated 信念修正理论的很好的特征化,并提出在动态认识逻辑中的信念变化运算符的一种新的句法表示。
Feb, 2019