MMJul, 2017

基于增量 ASP 的流推理系统 Ticker

PDF
TL;DR介绍了一种名为 Ticker 的原型引擎，该引擎可对流数据进行逻辑推理，并通过提供灵活的过期控制和时间模态扩展了 Answer Set Programming。
answer set programminglogical reasoningstreaming dataexpiration controltemporal modalities
发现论文，激发创造
  • 面向流推理的答案集编程

    通过使用 ASP 技术，本研究在解决物联网、传感器技术、连续数据流、流推理等领域中的关键问题。

    Jan, 2013

  • 使用 Laser 的表达性流推理

    Laser 是一种新的 reasoner，它支持扩展 Answer Set Programming（ASP）的 LARS 逻辑的实用、非平凡片段，并实现了一种新颖的评估过程，从而使表达式带注解，以避免在多个时间点重复计算，进而实现对大流的表达式逻辑推理，为流推理用例开启了更广泛的应用范围。

    Jul, 2017

  • LARS 流推理的分布式方法（系统论文）

    本文提出了一种分布式流推理方法，可以在不同解算器之间分配计算并通过数据流通信的方式高效地处理决策问题。在 LARS 语言中提出一种基于间隔的语义，以对网络流量进行显着降低，并在评估中明确表明，分布式流推理在处理复杂的决策问题和不断增长的数据率时明显优于现有的独立 LARS 解算器。

    Jul, 2019

  • 基于 I-DLV 的流推理系统 I-DLV-sr

    基于逻辑的数据流推理系统，利用 Apache Flink 和 I^2-DLV 系统的框架实现了紧密微调的交互。

    Aug, 2021

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

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

    Apr, 2023

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

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

    Apr, 2018

  • 度量动态均衡逻辑

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

    Jan, 2024

  • 基于 Answer Set Programming 的定性理论编码和推理的一般方法

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

    Aug, 2020

  • 在线学习概率事实演算理论在答案集编程中的应用

    介绍了一种基于 ASP 的、能够通过权重规则进行概率推理的复杂事件识别系统，可应用于活动识别等领域，并与多种现有算法进行了比较，并证明了其在效率和预测性能方面的优越性。

    Mar, 2021

  • 度量时序答集编程

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

    Aug, 2020