本文介绍了 Answer Set Programming 的发展历程、技术进展及其在解决相关问题中的应用,以比赛形式,特别是 ASP 竞赛,验证了 ASP 的优势和成就。该竞赛的第五届为了加入 FLoC 奥林匹克事件于维也纳逻辑学夏季活动 2014,预计是逻辑史上最大规模的事件。竞赛还推广了 ASP-Core-2 标准。
May, 2014
本文报道了第三届 (开放式) ASP 竞赛的格式以及结果。该竞赛旨在比较不同基于声明性编程的系统在一系列基准问题上的表现,并讨论了竞赛与第二届 ASP 竞赛以及一些基准领域的最新解决方案的比较。
Jun, 2012
本文提出了一种在现有 ASP 求解器基础之上通过应用机器学习方法,通过识别 ASP 程序的一组易于计算的句法特征,并对这些实例上的性能表现进行归纳学习算法选择策略,从而能够比第三届 ASP 竞赛的任何求解器都更有效地解决实例。
Jun, 2013
该论文提出了一种新的 ASP 编码模式,通过利用实际问题的大规则来编码难题,尤其针对 NP 问题能提供更强的表达能力,并且提供基于规则分解技术的解决方案,初步的基准测试表明,放弃固定程序的简便方式可以显著提高速度。
Aug, 2016
该研究的目标是扩展支持 ASP 程序验证的工具和理论,旨在促进知识表示和推理的发展,并解决人工智能中的可靠性和可解释性问题。
Aug, 2022
本篇论文研究了 ASP 的形式验证问题,通过使用基于 ASP 模块的形式化规范语言,将 ASP 模块与问题实例正确地相对应,从而证明了逻辑程序 P 的正确性,这种模块化的规范语言包含了可能嵌套的一阶程序模块,可以在不同层次上包含本地隐藏原子。
Aug, 2020
该研究提出了一种新的优化方法,基于树分解技术和启发式算法,可以将一个输入的逻辑程序转化为一个等价的程序以提高 ASP 系统的求解效率,并在实验中验证了其有效性。
Dec, 2018
该研究论文介绍了一种将 Answer Set Programming(ASP)的知识表示和推理能力整合到通用应用程序中的框架,并且展示了在不同平台的 ASP 系统中,特定化该框架的正确方法,包括移动平台和教育场景,并开发了几个基于 ASP 的应用程序。
Jul, 2017
提出了一种新的 ASP 程序调试方法,该方法基于非基础程序中所涉及的非基础规则,通过问答能够精确定位程序中的错误。这种调试器集成在 ASPIDE 中,使用 WASP 进行实现。
Aug, 2018
本文介绍了一种应答集编程的方法论,该方法可以促进易于理解且可以证明正确的编码方案的设计。通过向正在形成的程序追加一个规则或一小组规则,并在其中包含一条陈述已经 “实现” 的注释,使我们能够以数学上精确的方式描述程序设计的细节。