MMApr, 2018

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

PDF
TL;DR本研究提出了两个基于允许轨迹属性的轨迹演算版本，并用 ASP 程序实现。本文实现了几个不同的编码，包括一个能够对 ASP 中的任何定性演算进行编码的广义程序。我们使用真实世界数据集对所有提出的编码进行实验评估，结果表明最佳实现可扩展到 250 条轨迹的输入，对于发现一致的配置而言，相比之前的 ASP 实现有了显著的提高。
trajectory calculusqualitative spatial reasoningasp programsreal-world datasetconsistent configuration
发现论文，激发创造
  • 基于 Answer Set Programming 的定性理论编码和推理的一般方法

    这篇论文提出了使用 ASP 作为一个统一的形式化语言来解决需要定性推理和非定性推理的问题，提出了一族可以处理任何二进制关系资料的 ASP 编码，并且在真实数据集的实验中进行了评估。

    Aug, 2020

  • 定性空间和时间演算的调查 —— 代数和计算属性

    文章综述了目前发展的定性演算，及其计算特性，并提供了按代数属性分类的计算方法概述。

    Jun, 2016

  • 不在此处：基于蕴涵的轨迹相似度度量与位置隐私保护及更多领域应用

    通过逻辑蕴涵引入一种利用事实的三重陈述来测量轨迹相似度的度量，提出了一种基于轨迹蕴涵度量的正式化方法，这种度量以空间关系陈述为基础，评估了 LSTM-TrajGAN 隐私保护轨迹生成模型在地理空间结构丰富性不考虑的情况下可能产生的潜在后果，并强调了应用逻辑蕴含于轨迹相似性推理中的优势，包括位置隐私保护等。

    Dec, 2023

  • 带时间轨迹的度量时态平衡逻辑

    本文介绍了基于线性时序的 ASP 的时间扩展，提出了一种度量扩展的线性时态平衡逻辑，用于规定定性和定量的动态限制。该翻译提供了 ASP 模块不同约束的实现蓝图。

    Apr, 2023

  • ASPMT (QS): 带理论的答案集编程对非单调空间推理的应用

    ASPMT (QS) 是一种基于 ASPMT 的新方法和完全实现的原型，用于非单调空间推理，可以处理间接空间效应，以及在非单调空间推理上集成几何和定性空间信息。

    Jun, 2015

  • ChatGPT-4 在 RCC-8 中的定性空间推理能力评估

    定性空间推理是常识推理领域的一个广泛研究领域，应用范围从地理信息系统到机器人和计算机视觉。本文研究了某个大型语言模型在经典的定性空间推理任务上的能力，并以 RCC-8 为例进行研究。

    Sep, 2023

  • 利用时空语义走廊在复杂城市环境中生成安全轨迹

    本文提出了一种新颖的统一的时空语义走廊结构 (SSC), 为不同类型的语义元素提供了一定的抽象，并解决了自主车辆在复杂城市环境中规划安全轨迹的问题，方法使用广义二次规划 (GQP) 实现轨迹计算，并融合了分段 Bezier 曲线参数化的凸包和豁免特性，提供轨迹安全和合规的理论保障.

    Jun, 2019

  • 泛化规划：非确定性抽象和轨迹约束

    本文研究了具有共同特征的问题集合的一般策略的特征和计算，并介绍了如何通过利用轨迹约束以及 LTL 公式来消除策略的终止条件以及降低规划的复杂度。

    Sep, 2019

  • 度量时序答集编程

    我们扩展了 ASP 的度量时态扩展的理论基础。基于 Here-and-There 逻辑和其不可逆扩展 Equilibrium Logic 的语义基础，我们使用一个有限步长的时间域开发了我们的逻辑。这使得我们能够在统一的框架下比较所有变体，并最终将它们组合在一起的实现中。

    Aug, 2020

  • 预测或比较：走向可解释的定性推理

    本研究通过将定性关系任务分类成预测和比较两种类型，并采用端到端训练的神经网络模块来模拟这两种推理过程，实验结果在两个问答数据集 QuaRTz 和 QuaRel 上展示了我们方法的有效性和泛化能力，并提供模块的中间输出来使推理过程更容易解释。

    Jun, 2021