本文提出一种参数化的等价概念,同时限制了规则头和规则体中允许出现的原子,该方法是用于逻辑编程中应对强等价和一般等价的一种新的实现方式。
Dec, 2007
提出了一种基于命题连词的比喻来定义aggregates的方法,可以在ASP范式下,对任意命题理论进行扩展,将aggregates定义为基础构造,并且结合了表达能力和简洁性。该定义还继承了关于具有嵌套表达式的程序的许多定理,例如强等价性和拆分定理。
Dec, 2008
本文研究了具有(抽象的)约束原子的逻辑程序的稳定模型语义及其性质,并提出了简洁的抽象表示方法,该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法,并进一步扩展了用于普通原子逻辑程序的标准特征和性质。
Apr, 2009
通过扩展正常逻辑编程的概念和结果,我们研究了具有单调和凸约束条件的程序的性质,这些结果为一些最近扩展的逻辑编程提供了抽象的概述,并应用这些结果进一步提出了通过伪布尔约束的通用求解器计算lparse程序稳定模型的方法,这种方法通常比smodels系统更快。
Sep, 2011
本文提出了两种方法来定义任意类型抽像限制原子(c-atoms)的逻辑程序的答案集,这些定义泛化了正常逻辑程序的修正点和级别映射基础的答案集语义,其中包括四种不同的答案集定义,这四种在应用于正常逻辑程序时是相等的。
Oct, 2011
本文分析了规则体中拥有凸广义原子的程序类,发现对于大部分语义,这个类中提出的许多语义是一致的。这是一个有趣的结果,因为最近已经表明,这个类是FLP语义的确切复杂性边界。
Dec, 2013
本文探讨了基于Vicious Circle Principle的新型稳定模型语义,用于建立逻辑程序和聚合物的新语义,分析了整体一致的测试和谨慎的推理复杂性,并报告了应用于现有ASP解算器的编译技术的设计,最终实现了一个原型系统,使用户可以实验Gelfond-Zhang的聚合物。
Jul, 2015
该研究在近似不动点理论的观点下重新考虑了选择用于回答集编程(ASP)中聚合的适当形式化问题,介绍了一种等同于基本ASP程序的Gelfond-Lifschitz规约的AFT形式化,并将其扩展到聚合处理。
Apr, 2021
调查了建议用于命题ASP程序的主要聚合语义。重点是计算复杂性,表达能力以及不同方法的能力和局限性。
Sep, 2021
通过对非平面ABA的扩展,我们建立了假设为LP中的不可行否定的稳定模型语义,以及在LP中的否定失效头部的集合稳定ABA语义之间的对应关系。
May, 2024