约束答案集编程:集成与转化(或基于 SMT 的)方法
本研究提出了约束应答集编程 Constraint Answer Set Programming (CASP)新研究领域,开发相应的 EZCSP 语言及其解释器并对其进行了系统性的研究,其设计和算法细节清晰地证明了这种混合系统的发展具有挑战性。在此基础上,展开了基于 EZCSP 的案例研究,重点关注其提供的各种集成方式。
Feb, 2017
本研究提出了一种新的方法,将约束处理技术与 Answer Set Programming(ASP)相结合,可以解决 ASP 中的有趣约束满足问题,并显示如何将有限域上的约束分解成逻辑程序,以便使用单元传播实现弧、束或范围一致性,并且对编码进行的实验表明它们的计算影响。
Jul, 2010
该论文介绍了约束逻辑编程和 Answer Set Programming 在混合领域的开发中的成功,以及 CASP 系统的困难之处,认为需要一个评估不同 CASP 方法集成方案的案例研究来解决这一问题。
Dec, 2013
本文提出了用于扩展 ASP 的带限制的顶部 - 向下执行模型 s(CASP), 它可以在执行期间保留逻辑变量,并在答案集中应用约束,与 ASP、CLP 和其他 CASP 系统相比具有更出色的表达能力和性能。
Apr, 2018
使用基于约束的谓词应答集编程的查询驱动自顶向下执行模型 s (CASP) 生成完整解释树,为 ASP 应答集提供最小化且易于转化为自然语言的解释,显著促进了 ASP 程序理解和操作的可行性。
Sep, 2020
本文提出了一种新的基于约束应答集规划的 PDDL + 计划方法,在将 PDDL + 模型编码为 CASP 问题的基础上,处理混合离散 - 连续动力学领域,这是将 PDDL + 计划和逻辑编程联系起来的首次尝试,并以 EZCSP CASP 求解器为案例研究,在一组 PDDL + 基准问题上获得了有希望的结果。
Aug, 2016
该研究使用基于满足性模理论求解器的约束应答集编程工具 EZSMT+,其理论基础是通过所谓的级别排名对逻辑程序的应答集进行推广的 Niemela 的表征。
May, 2019
本文介绍了使用转换系统来建模和分析矛盾性答案集求解器的方法,展示了该方法对于分析、比较和证明搜索算法正确性以及启发新的求解器设计是多么有效。同时,我们引入了通用模板,以设计多种技术在不同求解器中的组合,并证明了它对于捕捉 DLV、GnT 和 Cmodels 等求解器这样的主要技术的能力。
Oct, 2015
本文提出将无环扩展析取逻辑程序转化为分层正向扩展析取逻辑程序的方法并将研究应用于 ASP 中这一强大的工具,扩展了现有策略在编程范式中的应用,进一步提高了处理 NP 问题的方法。
Jan, 2005