| 结合度量空间和时间的逻辑 |
| |
| 引用本文： | 谢琦,刘大有,虞强源,吕策.结合度量空间和时间的逻辑[J].计算机工程,2007,33(8):45-47. |
| |
| 作者姓名： | 谢琦 刘大有 虞强源 吕策 |
| |
| 作者单位： | 1. 吉林大学计算机科学与技术学院,长春,130012;吉林大学符号计算与知识工程教育部重点实验室,长春,130012
2. 吉林日报社,长春,130012 |
| |
| 基金项目： | 国家自然科学基金
,
国家自然科学基金
,
国家高技术研究发展计划(863计划)
,
吉林省科技发展计划
,
吉林省科技发展计划 |
| |
| 摘 要： | 与时态和空间有关的推理问题是人工智能研究中重要的组成部分，近年来时空逻辑的研究受到相关领域研究者的极大重视。以多维逻辑为框架表示时空知识，提出了一组将度量空间逻辑和时态逻辑相结合的逻辑模型PTL-MS、PTL-MS1、PTL-MS2，表示和推理随时间变化的距离关系，看成是时态逻辑和度量逻辑的迪卡尔乘积，给出了语义和语法，研究了它们的表达能力，用于时空约束满足问题、时空知识库以及移动对象数据库(MOD)等。
|
| 关 键 词： | 时态逻辑 度量空间 距离 时空推理 |
| 文章编号： | 1000-3428（2007）08-0045-03 |
| 修稿时间： | 2006-05-28 |
Logic of Metric Space and Time |
| |
| XIE Qi,LIU Dayou,YU Qiangyuan,LV Ce.Logic of Metric Space and Time[J].Computer Engineering,2007,33(8):45-47. |
| |
| Authors: | XIE Qi LIU Dayou YU Qiangyuan LV Ce |
| |
| Affiliation: | 1. College of Computer Science and Technology, Jilin University, Changchun 130012; 2. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012; 3. Jilin Daily Newspaper Office, Changchun 130012 |
| |
| Abstract: | 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 MSM].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-temporal knowledge base and mobile object database(MOD). |
| |
| Keywords: | Temporal logic Metric space Distance Spatio-temporal reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
