Datalog 带度量时态运算符的稳定模型语义
摘要：在DatalogMTL（一种具有度量时态运算符的Datalog的时间扩展）中引入了稳定模型语义下的否定。结果得到了一个规则语言，其将答案集编程的能力与度量运算符提供的时间维度结合在一起。我们证明，在这种情况下，对于有理时间线的推理变为不可判定，在整数时间线上的数据复杂度下为EXPSPACE可判定。同时，我们还证明，如果我们将注意力限制在向前传播的程序上，那么在整数时间线上的推理在数据复杂度下为PSPACE-complete，因此，在正向程序上的推理不会更难；然而，在该片段上的对有理时间线的推理仍然是不可判定的。在《逻辑编程的理论与实践》（TPLP）中进行审议。
作者：Przemys{l}aw A. Wa{l}k{e}ga, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
论文ID：2306.07625
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-14