Sep, 2022

在答案集规划中指定和利用非单调领域特定的声明性启发式

HTML
PDF
TL;DR本研究提出一种新的语法和语义，声明性地说明ASP中具有领域特定的启发式方法，这些启发式方法直接依赖于维护的部分分配，实现了懒惰打地基即ASP的第一个系统支持领域特定的声明性启发式，通过在两个实际示例领域上应用我们的方法，以及使用我们的方法来实现A*搜索，该搜索首次在ASP中处理，并用于进一步的两个搜索问题。实验结果表明，组合懒惰打地基ASP求解和我们的启发式方法对于解决工业规模问题至关重要。
发现论文，激发创造
  • 使用答案集编程进行混合领域的规划和调度

    本文介绍了一种基于行动语言-答案集编程的解决规划和调度问题的方法，该方法可以被应用于任何混合领域的计划和调度问题。

    Jan, 2013

  • 基于答案集规划的求解器调度

    本研究提出了一种使用 Answer Set Programming 自动确定精细的、非均匀且有序的求解器调度方案的方法，并且可以定制化地生成并行调度方案。

    Jan, 2014

  • ASPeRiX，基于一阶前向链接技术的答案集计算方法

    该论文提出了一种将Answer Set Programming应用于人工智能或在解决组合问题时表示知识的自然方法，其中介绍了一种前向链接的方法，通过在搜索过程中将规则的实例化与之融合来避免了先前的阶段。

    Mar, 2015

  • 将Answer Set Programming和领域启发式算法结合，解决难解的工业问题（应用论文）

    本文研究将Answer Set Programming（ASP）与领域特定的启发式方法相结合，以有效地解决Siemens提出的Partner Units Problem（PUP）和Combined Configuration Problem（CCP），实验证明，我们的领域启发式ASP求解器可以找到Siemens所提供的所有PUP和CCP实例的解决方案。

    Aug, 2016

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

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

    Aug, 2016

  • Clingcon:下一代

    本篇论文介绍了第三代约束答案集系统 clingcon，它将 Answer Set Programming（ASP）与有限域约束处理（CP）相结合，并采用惰性方法实现对约束传播的扩展。

    May, 2017

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

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

    Dec, 2018

  • 利用声明性特定领域启发式中的部分知识，支持ASP

    本论文提出了一种用于 Answer Set Programming (ASP) 中声明性领域特定启发式的新语义，并在懒惰绑定 ASP 系统 Alpha 中实现，证明将 ASP 求解与懒惰绑定和本文提出的新启发式相结合可用于解决工业级问题。

    Sep, 2019

  • 涉及条件聚合的约束的ASP语义

    该研究论文扩展了Answer Set Programming的基础框架，引入了条件表达式概念和聚合函数，重点研究了具有线性约束的逻辑程序，并实现了在混合ASP求解器上的条件聚合。

    Feb, 2020

  • 基于归纳学习的ASP领域特定启发式策略生成

    该研究论文介绍了一种自动学习领域特定启发式的新方法，利用归纳逻辑编程从例子中学习声明性的领域特定启发式，从而提高问题求解的性能和解决方案质量。

    Aug, 2023