摘要：与时态和空间有关的推理问题是人工智能研究中重要的组成部分，近年来时空逻辑的研究受到相关领域研究者的极大重视。以多维逻辑为框架表示时空知识，提出了一组将度量空间逻辑和时态逻辑相结合的逻辑模型PTL-MS、PTL—MSI、PTL—MS2，表示和推理随时间变化的距离关系，看成是时态逻辑和度量逻辑的迪卡尔乘积，给出了语义和语法，研究了它们的表达能力，用于时空约束满足问题、时空知识库以及移动对象数据库（MOD）等。