MMJan, 2013

使用答案集编程进行混合领域的规划和调度

PDF
TL;DR本文介绍了一种基于行动语言 - 答案集编程的解决规划和调度问题的方法，该方法可以被应用于任何混合领域的计划和调度问题。
发现论文，激发创造
  • 混合答案集程序设计的列车调度

    采用 ASP 和 difference 约束的混合方法以解决实际列车调度问题，并探索如何通过结合不同的 ASP 求解技术来提高性能。

    Mar, 2020

  • 利用答案集编程的混合条件规划

    本文介绍了一种名为 HCP-ASP 的并行离线算法，该算法基于非单调的答案集编程（ASP）语言建模执行动作和感知动作，利用公式化表示行动执行过程中的连续可行性检查，以达成目标。该算法可显式地公式化关于状态的部分知识以及感知动作的非确定性效应，从而不需要预先对感知动作进行规划或排序。我们将该方法应用于服务机器人领域并进行了实验评估。此外，我们还在标准基准域上与其他基于编译的条件规划器进行了性能比较。

    Jul, 2017

  • 约束求解器 EZCSP 及其集成架构的重要性

    本研究提出了约束应答集编程 Constraint Answer Set Programming （CASP）新研究领域，开发相应的 EZCSP 语言及其解释器并对其进行了系统性的研究，其设计和算法细节清晰地证明了这种混合系统的发展具有挑战性。在此基础上，展开了基于 EZCSP 的案例研究，重点关注其提供的各种集成方式。

    Feb, 2017

  • 通过约束答案集编程实现 PDDL + 规划

    本文提出了一种新的基于约束应答集规划的 PDDL + 计划方法，在将 PDDL + 模型编码为 CASP 问题的基础上，处理混合离散 - 连续动力学领域，这是将 PDDL + 计划和逻辑编程联系起来的首次尝试，并以 EZCSP CASP 求解器为案例研究，在一组 PDDL + 基准问题上获得了有希望的结果。

    Aug, 2016

  • 混合自动推理工具：从黑盒到透明盒的集成

    该论文介绍了约束逻辑编程和 Answer Set Programming 在混合领域的开发中的成功，以及 CASP 系统的困难之处，认为需要一个评估不同 CASP 方法集成方案的案例研究来解决这一问题。

    Dec, 2013

  • 答案集规划中的领域相关知识

    本文探讨了在规划中有用的三种不同的领域相关控制知识（时间、过程和 HTN 基础）以及它们如何被整合进 AnsProlog * 中，通过对少量领域相关规则的模块化添加，我们没有必要修改规划器，最终演示了当使用程序域知识来解决计划问题，规划时间可以大大缩短。

    Jul, 2002

  • 数字医疗中的规划与调度：应答集编程

    提出方案解决医疗保健中的复杂组合问题，同时提供新的可解释性方法以解释基于人工智能的求解器的解决方案。

    Aug, 2022

  • 自主系统的时间规划通过区间逻辑可满足性

    自动规划中的时间规划、规划图表、并发关系和可扩展性的研究。

    Jun, 2024

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

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

    Jan, 2014

  • 不完全信息的定量答案集编程规划

    文章介绍一种基于 Answer Set Programming (ASP) 的不完整信息规划的通用方法，提出使用量化 Answer Set Programming (QASP) 来解决符合和条件型规划问题，并介绍了一款基于翻译的 QASP 求解器用于将量化逻辑程序转换为量化布尔公式 (QBF) 进而求解。

    Aug, 2021