Aug, 2024

基于答案集编程的主导集重构

HTML
PDF
TL;DR本研究解决主导集重构问题，该问题旨在判定两个可行解之间是否能够通过一系列可行解互相到达。通过使用答案集编程（ASP）的方法，作者提供了一种高效的编码方式，并通过实验验证了该方法在新创建基准集上的有效性，具有潜在的广泛应用价值。
发现论文，激发创造
  • 基于答案集规划的求解器调度

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

    Jan, 2014

  • 有界基础的答案集编程

    本文提出了基于边界约束的ASP（Bound Founded Answer Set Programming）方法，解决了 ASP 系统中存在的基于有限域变量建模的算法性难题，同时将 ASP 的语义从布尔值和常规规则扩展到了数值变量上。

    May, 2014

  • 关于Answer-Set 编程的Clique-Width与有向宽度测量

    本文研究了绝对性集合编程中的困难问题，并提出了一种新的动态规划算法来解决一个图形参数问题，即带符号的团宽度（signed clique-width）

    Jun, 2016

  • Clingcon:下一代

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

    May, 2017

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

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

    Dec, 2018

  • 答案集规划：一项调查

    本文调查了过去2.5十年中应用答案集编程（ASP）计算规划问题方面的进展和优劣，阐述了答案集规划的优缺点，给出了一些典型的应用方法和未来研究的挑战。

    Feb, 2022

  • 基于答集编程的有界组合重新配置

    我们提出了一种称为有界组合重新配置的方法，用于基于Answer Set Programming（ASP）解决组合重新配置问题。我们设计和实现了有界组合重新配置，并提出了独立集重新配置问题的ASP编码，这是最研究的组合重新配置问题之一。通过考虑CoRe Challenge 2022的所有实例，我们进行了实证分析。

    Jul, 2023

  • 关于回答集编程的结构难度的延伸版本：结构能否有效地限制析取的能力？

    Answer Set Programming (ASP)是一个以知识表示为重点的问题建模和求解框架，在工业应用方面有着快速增长。这篇论文通过对结构参数的分类研究了disjunctive ASP的复杂性，提供了多个重要参数的双指数下界，并指出除了vertex cover size之外的选项是有限的。

    Feb, 2024

  • 大领域优先搜索策略在组合优化与答案集编程中的应用

    我们提出了大邻域优先搜索（LNPS）用于解决回答集程序设计中的组合优化问题。LNPS是一种元启发式方法，通过交替破坏和优先搜索当前解来寻找更好的解决方案。我们基于ASP实现了LNPS，并通过heulingo求解器的实验证明了LNPS可以显著提高ASP在优化方面的求解性能。此外，我们通过与（自适应）大邻域搜索的对比来证明我们LNPS方法的竞争力。

    May, 2024

  • 使用答案集编程优化城市网络的动态交通分配

    本研究针对城市网络中的动态交通分配问题，填补了使用答案集编程（ASP）这一工具的应用空白。论文提出了一种将ASP用于计算网络中所有车辆“最优”路线的新方法，并通过分析两个欧洲城市的实证数据，展示了该框架的可行性及ASP在解决实际问题中的重要贡献。

    Aug, 2024