Feb, 2015

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

PDF
TL;DR本文针对 Temporal Equilibrium Logic（TEL）提供了一种系统的复杂性分析方法，可以检查 TEL 公式的时间均衡模型的存在性，并通过分析不同的 TEL 公式子类的复杂性，确定了可处理和不可处理的片段。
发现论文，激发创造
  • 有限轨迹上的时间答案集编程

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

    Apr, 2018

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

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

    Apr, 2023

  • 带变量的时间逻辑程序

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

    Sep, 2016

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

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

    Jul, 2023

  • 度量时序答集编程

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

    Aug, 2020

  • 从示例中学习线性时间公式的复杂性

    本文探讨了学习线性时序逻辑 (LTL) 公式的计算复杂性，并构建了 LTL 的片段逼近算法，并对许多片段证明了 NP 完全性。

    Feb, 2021

  • 观点线性时间逻辑

    本文提出了一种名为 SLTL 的新逻辑，它将 LTL 的时间特性与 SL 的多角度建模能力相结合，旨在解决多角度情境下的实践推理问题。

    Apr, 2023

  • 关于动态认知逻辑的复杂性

    本研究使用合法及完整的插入表技术，证明 DEL 语言中事件模型的模型检查问题是 PSPACE 完全的，并证明了满足性问题是 NEXPTIME-complete 的。

    Oct, 2013

  • 线性时态逻辑的 Sahlqvist 风格对应定理

    本文探讨了线性时态逻辑（LTL）中，一类包括模态算子 F，G，X 和 U 的 Sahlqvist 公式具有一阶语言可定义的框架条件的对应关系。

    Jun, 2022

  • 实时和概率时态逻辑：一概述

    该论文分析了用于真实时间系统的逻辑规范和验证的逻辑符号，分别比较了它们的决策性，公理化程度，表达能力和模型检查等特征。

    May, 2010