MMAug, 2018

非安全底部 ASP 程序的调试：技术和图形化工具

PDF
TL;DR提出了一种新的 ASP 程序调试方法，该方法基于非基础程序中所涉及的非基础规则，通过问答能够精确定位程序中的错误。这种调试器集成在 ASPIDE 中，使用 WASP 进行实现。
answer set programmingdebuggingnon-ground programsaspidewasp
发现论文，激发创造
  • 面向答案集程序调试的集成图形用户界面

    本研究基于 DWASP 方法提供了非极限答案集程序的图形化调试界面，并将其整合到了一个完整的 ASPIDE IDE 中，以提供调试支持。

    Nov, 2016

  • 捉住 Ouroboros：关于调试非基本答案集程序

    本研究的重要问题是如何支持编程人员的调试工作，尤其是针对变量的非基础解释程序，通过元编程技术提供基于非基础程序的调试方法，并支持包含比较谓词和整数算术运算的语言类，覆盖了现有 ASP 解决器的常见范畴。

    Jul, 2010

  • 非基础规则在答案集编程中的威力

    该论文提出了一种新的 ASP 编码模式，通过利用实际问题的大规则来编码难题，尤其针对 NP 问题能提供更强的表达能力，并且提供基于规则分解技术的解决方案，初步的基准测试表明，放弃固定程序的简便方式可以显著提高速度。

    Aug, 2016

  • 基于启发式分解的答案集计算优化

    该研究提出了一种新的优化方法，基于树分解技术和启发式算法，可以将一个输入的逻辑程序转化为一个等价的程序以提高 ASP 系统的求解效率，并在实验中验证了其有效性。

    Dec, 2018

  • 答案集程序的逐步调试

    介绍了基于规则逐步应用的步进方法来进一步支持 answer-set 程序的调试，并基于此方法发展了一个计算框架来支持不同的求解器语言。

    May, 2017

  • 一种多引擎的答案集编程方法

    本文提出了一种在现有 ASP 求解器基础之上通过应用机器学习方法，通过识别 ASP 程序的一组易于计算的句法特征，并对这些实例上的性能表现进行归纳学习算法选择策略，从而能够比第三届 ASP 竞赛的任何求解器都更有效地解决实例。

    Jun, 2013

  • 验证答案集编程的工具和方法

    该研究的目标是扩展支持 ASP 程序验证的工具和理论，旨在促进知识表示和推理的发展，并解决人工智能中的可靠性和可解释性问题。

    Aug, 2022

  • ASP 程序的部分编译

    本文提出了一种扩展的 ASP 系统结构，其中将输入程序的部分编译为特定的二进制，并可能不受基础步骤的限制。我们提出了相关的部分编译技术，并在一个著名的 ASP 求解器上实现了新方法。结果表明，基于编译的方法对于各种用例都有改进。

    Jul, 2019

  • 模块化答案集编程作为正式规范语言

    本篇论文研究了 ASP 的形式验证问题，通过使用基于 ASP 模块的形式化规范语言，将 ASP 模块与问题实例正确地相对应，从而证明了逻辑程序 P 的正确性，这种模块化的规范语言包含了可能嵌套的一阶程序模块，可以在不同层次上包含本地隐藏原子。

    Aug, 2020

  • 第七届答案集编程竞赛：设计与结果

    本文介绍了关于 Answer Set Programming 的比赛，并讨论了设计和结果。

    Apr, 2019