MMAug, 2020

度量时序答集编程

PDF
TL;DR我们扩展了 ASP 的度量时态扩展的理论基础。基于 Here-and-There 逻辑和其不可逆扩展 Equilibrium Logic 的语义基础，我们使用一个有限步长的时间域开发了我们的逻辑。这使得我们能够在统一的框架下比较所有变体，并最终将它们组合在一起的实现中。
metric temporal extensionanswer set programmingequilibrium logicbounded time stepsuniform framework
发现论文，激发创造
  • 带时间轨迹的度量时态平衡逻辑

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

    Apr, 2023

  • 度量动态均衡逻辑

    在这篇研究论文中，我们发展了基于时间序列的线性时间扩展的动态均衡逻辑的度量扩展，它通过整数区间对动态运算符进行约束，从而提供了用于指定定性和定量动态约束条件的基于 ASP 的方法。

    Jan, 2024

  • 有限轨迹上的时间答案集编程

    介绍了一种基于 Temporal Equilibrium Logic 的替代方法，用于有限 trace 的 Temporal Answer Set Programming，可实现多通 Answer Set Programming 系统，并结合时间运算符扩展输入语言，同时提供了时间建模语言。

    Apr, 2018

  • 带变量的时间逻辑程序

    本研究介绍了 “时间平衡逻辑”（TEL）的第一阶段版本，它与一阶线性时间逻辑（LTL）共享语法但具有不同的语义，选择了一些我们称之为 “时间稳定模型” 的 LTL 模型，并提出了计算可推导事实的方法。

    Sep, 2016

  • 有限轨迹上的过去 - 现在时态程序

    本文研究 Answer Set Programming 中的 past-present 句法子类，其扩展了完成和循环公式的定义，并通过 LTLf 表达式捕捉了一组 past-present 时间程序的时态稳定模型。

    Jul, 2023

  • 关于时间平衡逻辑的复杂性

    本文针对 Temporal Equilibrium Logic（TEL）提供了一种系统的复杂性分析方法，可以检查 TEL 公式的时间均衡模型的存在性，并通过分析不同的 TEL 公式子类的复杂性，确定了可处理和不可处理的片段。

    Feb, 2015

  • 功能型答案集编程

    本文提出了 QELF 来处理部分函数，并且将其与 Scott 存在逻辑做了直接联系，还介绍了一个实际应用，即将扩展后的常规逻辑程序转换成无函数的常规程序，可以使用任何标准 ASP 求解器计算其答案集。

    Jun, 2010

  • 具有内涵函数的一阶稳定模型语义

    通过引入引伸函数，扩展一阶稳定模型语义，并将其用作定义 Answer Set Programming Modulo Theories (ASPMT) 的基础，从而实现类似 SMT 的有效一阶推理，解决包含实数的领域中的接地问题。

    Jul, 2023

  • 逻辑程序之间的本质等价论证中的强等价和程序结构

    本文介绍了关于 ASP 中程序重写的正式结果，并提供了 Projector 系统的正确性证明，它可以对程序进行自动重写来提高效率。

    Jan, 2019

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

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

    Jun, 2015