佩德罗·卡巴拉尔；托尔斯滕·绍布 具有时态描述逻辑公理的时态逻辑程序。 （英语） Zbl 1443.68173号 Lutz，Carsten（编辑）等人，描述逻辑，理论组合，等等。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。莱克特。票据计算。科学。11560, 174-186 (2019). 摘要：在本文中，我们引入了答案集编程（ASP）和描述逻辑（DL）的组合（特别是，（mathcal{ALC}）），它基于模态时态，使用线性时态逻辑（LTL）中的连接词。一方面，对于\（\mathcal｛ALC｝\）的时间扩展，我们偏离了Baader等人的建议\（\mathcal｛ALC｝\）-LTL，该建议限制时间运算符的使用仅发生在DL公理之前。另一方面，对于ASP的时间扩展，我们使用时间（量化）平衡逻辑（TEL）对其进行形式化。这种选择很方便，因为（非时间）平衡逻辑已经用于捕获混合理论的语义，即ASP程序与DL公理的组合。我们的建议，称为（mathcal{ALC}）-TEL，实际上是根据公理翻译成一阶句子来解释公理，因此TEL的语义最终被用于背景中。由此产生的形式主义保守地将TEL、混合理论和（mathcal{ALC}）-LTL扩展为特殊情况。有关整个系列，请参见[兹比尔1428.68036]. MSC公司： 68T27型 人工智能中的逻辑 03B44号 时间逻辑 68N17号 逻辑编程 68立方英尺 知识表示 PDF格式BibTeX公司 XML格式引用 \textit｛P.Cabalar｝和\textit｛T.Schaub｝，Lect。票据计算。科学。11560174-186（2019年；Zbl 1443.68173） 全文： 内政部