亚历山德罗·阿塔尔;恩里科·弗兰科尼 描述逻辑的时间扩展综述。 （英语） Zbl 0998.03013号 安。数学。Artif公司。智力。 30，编号1-4171-210（2000）. 摘要：本文综述了文献中描述逻辑的时间扩展。该分析考虑了时间描述逻辑领域出现的大量方法：从松散耦合的方法——例如，包括，使用基于约束的机制增强简单描述逻辑，使之成为最原则的机制，该机制考虑了抽象域和时态域的组合语义。我们将展示后一种方法如何与时序逻辑有着严格的联系。使用时间描述逻辑的优点是其高表达性与理想的计算特性相结合，例如演绎过程的可判定性、可靠性和完整性。在这篇综述中，将指出各种族的时间描述逻辑的计算性质。 引用于19文件 MSC公司： 03B44号 时序逻辑 68T27型 人工智能中的逻辑 03B60号 其他非经典逻辑 68-02 与计算机科学有关的研究展览会（专著、调查文章） 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） 关键词：描述逻辑;时间逻辑;描述逻辑的时间扩展;调查;计算特性 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}和\textit{E.Franconi}，安.数学。Artif公司。智力。30，编号1--4，171-210（2000；Zbl 0998.03013） 全文： 内政部