MMAug, 2020

使用答案集编程推理三维扩展物体之间的基本方向

PDF
TL;DR本文提出了一种新的形式框架（称为 3D-nCDC-ASP），用于利用 ASP 在三维（3D）空间中表示和推理延伸对象之间的基准方向。3D-nCDC-ASP 基于 CDC 和 nCDC-ASP，提供灵活的平台，为不同类型的推理提供支持，证明了其完备性，并说明其应用价值。
3d-ncdc-aspcardinal directionsextended objectsanswer set programmingreasoning
发现论文，激发创造
  • 关于扩展对象之间的方向推理

    本文介绍了 Cardinal Direction Calculus（CDC）的形式模型和相关算法，该模型用于表示空间对象之间的定量方向关系，并探讨了该模型应用于人工智能、地理信息科学和图像检索领域的研究，同时提供了一个时间复杂度为 n^3 的算法以解决 CDC 约束问题。

    Sep, 2009

  • 不需接地的约束型应答集编程

    本文提出了用于扩展 ASP 的带限制的顶部 - 向下执行模型 s（CASP）, 它可以在执行期间保留逻辑变量，并在答案集中应用约束，与 ASP、CLP 和其他 CASP 系统相比具有更出色的表达能力和性能。

    Apr, 2018

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

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

    Jul, 2017

  • 扩展应答集编程与有理数

    该论文旨在扩展 ASP 以处理非整数，通过使用有理数近似法实现了 reproducibility 和 declarativity，并提出了对应的 ASP-Core-2 标准的定义语义和实现。这一工作有望成为 ASP 语言更具表达力和多功能性的基础，以解决更广泛范围的实际问题。

    Dec, 2023

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

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

    Dec, 2019

  • 双臂机器人通过答案集编程操作关节式物体

    本论文提出了基于 Answer Set Programming (ASP) 的框架，以实现对机器人控制结构中的关节式物体的自动化操纵。该框架通过 ASP 表示关节式物体的配置，并检查知识库中这种表示的一致性，并生成操纵动作序列。利用自动规划的宏动作来更有效地规划操纵关节式物体的机器人的操作，验证了该框架的可行性。

    Oct, 2020

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

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

    Sep, 2020

  • 基于翻译的约束答案集求解方法

    本研究提出了一种新的方法，将约束处理技术与 Answer Set Programming（ASP）相结合，可以解决 ASP 中的有趣约束满足问题，并显示如何将有限域上的约束分解成逻辑程序，以便使用单元传播实现弧、束或范围一致性，并且对编码进行的实验表明它们的计算影响。

    Jul, 2010

  • 用户指导下的反演证明生成：答案集编程查询（扩展版）

    提出了一种使用自动构造的可猜测空间的诱因过程来生成查询可能证明的方法，通过不同形式的隐式术语替换，该方法可以考虑用户提供的事实并适当修改难解决的解决方案。

    Sep, 2022

  • 使用 Answer Set Programming 进行定性空间推理的轨迹演算

    本研究提出了两个基于允许轨迹属性的轨迹演算版本，并用 ASP 程序实现。本文实现了几个不同的编码，包括一个能够对 ASP 中的任何定性演算进行编码的广义程序。我们使用真实世界数据集对所有提出的编码进行实验评估，结果表明最佳实现可扩展到 250 条轨迹的输入，对于发现一致的配置而言，相比之前的 ASP 实现有了显著的提高。

    Apr, 2018