带度量时序算子的 Datalog 的稳定模型语义
计算机科学中的逻辑
2023-06-14 v1
摘要
我们在 DatalogMTL（一种带有度量时序算子的 Datalog 时序扩展）中引入稳定模型语义下的否定。由此，我们获得了一种将答案集编程的能力与度量算子所提供的时序维度相结合的规则语言。我们表明，在此设定下，在有理数时间线上的推理是不可判定的，而在整数时间线上数据复杂度的推理在 EXPSPACE 内可判定。我们还表明，若我们将注意力限制在前向传播程序上，整数时间线上的推理在数据复杂度下为 PSPACE 完全，因此并不比正程序更难；然而，该片段在有理数时间线上的推理仍不可判定。本文在 Theory and Practice of Logic Programming (TPLP) 审稿中。
引用
@article{arxiv.2306.07625,
title = {The Stable Model Semantics of Datalog with Metric Temporal Operators},
author = {Przemysław A. Wałęga and David J. Tena Cucala and Bernardo Cuenca Grau and Egor V. Kostylev},
journal= {arXiv preprint arXiv:2306.07625},
year = {2023}
}
备注
Under consideration in Theory and Practice of Logic Programming (TPLP)