MMJul, 2015

针对抽象论证的改进答案集编程编码

PDF
TL;DR本文使用 ASP 系统 clingo 提供的条件量词的析取形式，提供了三种著名的辩论语义的新编码，这些编码不仅比以前的版本更简洁，而且在标准基准测试中也表现优异，从而为高级辩论系统的高效解决方案的设计提供了一步关键。
发现论文，激发创造
  • 利用答案集程序设计的技术提升抽象论证系统

    本文通过实验比较了原有编码与新的 metasp 编码，提供了最近引入的基于解析的基础语义的新编码，结果表明 metasp 方法在编码问题的复杂性适当反映的情况下表现良好。

    Aug, 2011

  • 答案集编程的成就

    本文介绍了一种应答集编程的方法论，该方法可以促进易于理解且可以证明正确的编码方案的设计。通过向正在形成的程序追加一个规则或一小组规则，并在其中包含一条陈述已经 “实现” 的注释，使我们能够以数学上精确的方式描述程序设计的细节。

    Aug, 2016

  • 利用增量式答案集求解在基于假设的论证中进行推理

    本文研究了基于假设的论证（ABA）中逻辑编程碎片中比第二层多项式分层难度的理性推理和优先推理问题的有效算法，利用增量 ASP 求解器中的非平凡反例引导的抽象精化程序。

    Aug, 2021

  • 用答案集编程解决高级论证问题

    本文介绍了从抽象辩论框架 (ADF) 和 GRAPPA 到解答集编程 (ASP) 的新型有效转化，并提供了 ADF 的五种主要语义 (包括允许的、完整的、首选的、基本的和稳定的解释) 的降低。

    Dec, 2019

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

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

    Dec, 2018

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

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

    Aug, 2016

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

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

    Jun, 2013

  • 面向答案集编程中猜测和检查程序的自动集成：元解释器和应用

    本文提出将无环扩展析取逻辑程序转化为分层正向扩展析取逻辑程序的方法并将研究应用于 ASP 中这一强大的工具，扩展了现有策略在编程范式中的应用，进一步提高了处理 NP 问题的方法。

    Jan, 2005

  • 目标导向的约束答案集程序设计的证明

    使用基于约束的谓词应答集编程的查询驱动自顶向下执行模型 s (CASP) 生成完整解释树，为 ASP 应答集提供最小化且易于转化为自然语言的解释，显著促进了 ASP 程序理解和操作的可行性。

    Sep, 2020

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

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

    Aug, 2022