Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
TL;DR本文介绍了基于线性时序的 ASP 的时间扩展,提出了一种度量扩展的线性时态平衡逻辑,用于规定定性和定量的动态限制。该翻译提供了 ASP 模块不同约束的实现蓝图。
Abstract
In temporal extensions of answer set programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it abstracts away the specific times associated with each state. However,