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

Logic of Metric Space and Time

作　　者：谢琦[1,2] 刘大有[1,2] 虞强源[1,2] 吕策[3] 

机构地区：[1]吉林大学计算机科学与技术学院 [2]吉林大学符号计算与知识工程教育部重点实验室 [3]吉林日报社,长春130012

出　　处：《计算机工程》2007年第8期45-47,50,共4页Computer Engineering

基　　金：国家自然科学基金资助重大项目"非规范知识处理的基本理论和核心技术"(60496321);国家自然科学基金资助项目(60373098;60173006);国家"863"计划基金资助项目(2003AA118020);吉林省科技发展计划基金资助重大项目(20020303);吉林省科技发展计划基金资助项目(20030523)

摘　　要：与时态和空间有关的推理问题是人工智能研究中重要的组成部分,近年来时空逻辑的研究受到相关领域研究者的极大重视。以多维逻辑为框架表示时空知识,提出了一组将度量空间逻辑和时态逻辑相结合的逻辑模型PTL-MS、PTL-MS1、PTL-MS2,表示和推理随时间变化的距离关系,看成是时态逻辑和度量逻辑的迪卡尔乘积,给出了语义和语法,研究了它们的表达能力,用于时空约束满足问题、时空知识库以及移动对象数据库(MOD)等。Temporal and spatial reasoning are two important parts of artificial intelligence, and have gained much attention from researchers in recent years. This paper uses multi-dimensional logics as frameworks for knowledge representation and, in particular, for representing spatio-temporal information. It constructs two-dimensional logics intended for describing metric relationships that change over time. The family logic, named PTL-MS, PTL-MS1, PTL-MS2 are the Cartesian product of the well-known temporal logic PTL and the propositional metric logic MS[M]. It provides the intended languages with syntactic and semantics, and investigates the expressive power of them. It can be used in spatio-temporal constraint satisfaction problem, spatio-tempcral knowledge base and mobile object database （MOD）.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]