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

• 作者: 刘大有 吕策 虞强源 谢琦
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 时态逻辑 度量空间 距离 时空推理
• 年，卷（期）: 2007,（8）
• 所属期刊栏目: 博士论文
• 页码范围: 45-47,50
• 页数: 4页
• 分类号: TP311
• 字数: 4593字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.08.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘大有	吉林大学计算机科学与技术学院	211	4714	34.0	63.0
5	虞强源	吉林大学计算机科学与技术学院	19	393	9.0	19.0
9	谢琦	吉林大学计算机科学与技术学院	10	131	5.0	10.0