论文标题
迈向公制时间答案集编程
Towards Metric Temporal Answer Set Programming
论文作者
论文摘要
我们阐述了答案集编程的度量时间扩展的理论基础。与ASP的先前扩展相比，我们从线性时间和动态逻辑的构造中，我们在此处的逻辑及其非单调扩展（称为Equilibrium Logic）中实现了这一点。更确切地说，我们在与前任相同的语义基础上开发了逻辑，因此使用了一个有界时间步骤的简单时间域。这使我们可以比较统一框架中的所有变体，并最终将它们结合在共同的实现中。
We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Temporal and Dynamic Logic, we accomplish this in the setting of the logic of Here-and-There and its non-monotonic extension, called Equilibrium Logic. More precisely, we develop our logic on the same semantic underpinnings as its predecessors and thus use a simple time domain of bounded time steps. This allows us to compare all variants in a uniform framework and ultimately combine them in a common implementation.
