穆罕默德·奥尔根（Mehmet A.Orgun）。;刘楚昌;阿巴亚·纳亚克。 使用带有时钟的时序逻辑进行知识表示、推理和集成。 （英文） Zbl 1158.68502号 数学。计算。科学。 2，第1期，143-163（2008）. 摘要：基于多时间粒度的知识在知识系统中的表示、推理和集成非常重要，尤其是在讨论现实世界中发生的事件时。基于时间逻辑的形式化方法已成功应用于基于知识的系统的许多应用领域，其中系统及其环境随时间的演变是核心。本文提出了一种基于时序逻辑的方法来处理知识系统中基于多时间粒度的知识。我们考虑的时间逻辑特别适用于建模具有不同速度和/或进度规模的事件。该方法包括一种表示时序系统的方法，一种用于在基于知识的系统中表示事实和规则的方法，该系统涉及使用时序逻辑的多时间粒度，以及几种演绎推理技术。 引用于1文件 MSC公司： 68立方英尺 知识表示 68T27型 人工智能中的逻辑 关键词：多粒度时间;时间逻辑;时态知识表示 软件：CACTUS公司 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Orgun}等人，《数学》。计算。科学。2，第1号，143--163（2008；Zbl 1158.68502） 全文： 内政部