有限轨迹上的过去-现在时间程序
摘要：具有来自时间逻辑的语言构造的Answer Set Programming扩展，如有限轨迹上的时间平衡逻辑（TELf），为建模动态应用提供了一个表达丰富的计算框架。在本文中，我们研究所谓的过去-现在的语法子类，它由一组逻辑编程规则组成，规则的body引用过去，head引用现在。这样的限制确保了过去与未来保持独立，这适用于大多数动态领域。我们将补全和循环公式的定义扩展到过去-现在的公式，这允许通过LTLf表达式捕获一组过去-现在的时间程序的时间稳定模型。
作者：Pedro Cabalar, Mart''in Di''eguez, Franc{c}ois Laferri`ere, Torsten Schaub
论文ID：2307.12620
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-25