结合度量空间和时间的逻辑

摘要：

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

关键词：时态逻辑、度量空间、距离、时空推理

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60496321;国家自然科学基金60373098;60173006;国家高技术研究发展计划863计划2003AA118020;吉林省科技发展计划20020303;吉林省科技发展计划20030523

在线出版日期：2007-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：45-47,50