论文题目: 时空推理中一些问题的研究
论文类型: 博士论文
论文专业: 计算机软件与理论
作者: 欧阳继红
导师: 刘大有
关键词: 时态推理,空间推理,时空推理,区间代数,地理信息系统,区域连接演算,蛋黄模型,空间区域,不确定区域,复合表,概念邻域图,模糊集,空间数据挖掘,租集,时空数据库,时空查询,不确定性
文献来源: 吉林大学
发表年度: 2005
论文摘要: 时空推理由时态推理和空间推理发展而来,近年来已成为人工智能、地理信息系统和时空数据库等相关领域的研究热点。本文围绕时空推理,尤其是空间推理中的一些热点问题,展开了研究和讨论。总结以往时空推理的研究工作,特别是时空逻辑方面的工作,研究如何建立更好的时空模型,并提出了可行的解决方案;重点研究了Allen的时态区间演算与RCC-8空间连接演算的结合方法、基于空间区域间不确定性拓扑关系的推理、动态环境下的空间推理、定量和定性结合的混合空间推理、基于粗集的RCC模糊区域关系表示和粗扩展空间关联规则方法。主要工作包括:(1)围绕着时、空理论统一和结合这条主线,总结和分析了时空推理的研究现状;(2)对目前时空逻辑的研究进行了综述;(3)对Allen时态区间演算和拓扑区域连接演算RCC-8间的相关性,以及二者结合的相关工作进行了分析,提出了结合这两个演算的合理方案;(4)基于RCC理论中的概念邻域结构和模糊集理论,提出了扩展蛋黄模型和区域移动模型;(5)建立了基于粗集理论的RCC模糊区域关系模型;(6)面向空间数据,提出了一种基于粗集的扩展关联规则方法,定义了粗空间查询谓词;(7)基于模糊集理论,提出了一种结合定性空间推理与定量空间推理的混合空间推理方法。本文的研究结果对于动态环境下的空间推理、空间信息不确定性处理、空间查询语言、空间数据挖掘、地理信息系统,乃至时空推理,都有较大的理论意义和应用价值。
论文目录:
第一章 绪论
§1.1 时态推理
§1.1.1 时态知识表示和推理
§1.1.1.1 时间本体
§1.1.2 人工智能中时态推理的主要方法
§1.1.2.1 McCarthy和Hayes的情形演算(SC)
§1.1.2.2 Chronos
§1.1.2.3 时间专家
§1.1.2.4 McDermott时态逻辑
§1.1.2.5 Allen的区间代数学
§1.1.2.6 事件演算(EC)
§1.1.2.7 时间图管理器(TMM)
§1.1.2.8 Shoham的时态逻辑
§1.2 空间推理
§1.2.1 空间信息理论与空间推理
§1.2.2 空间推理的主要方法
§1.2.2.1 定量空间推理方法
§1.2.2.2 定性空间推理方法
§1.2.2.3 混合空间推理方法
§1.2.2.4 层次空间推理方法
§1.2.2.5 基于不确定空间对象的空间推理方法
§1.2.3 空间推理小结
§1.3 时空推理
§1.3.1 基于逻辑的方法
§1.3.2 基于代数的方法
§1.4 本文工作
第二章 空间、时态及时空的逻辑方法
§2.1 引言
§2.2 基于拓扑空间的逻辑
§2.2.1 一阶空间逻辑RCC
§2.2.2 RCC-8
§2.2.3 BRCC-8
§2.2.4 S4u
§2.2.4.1 RCC-8作为S4u的片段
§2.2.4.2 BRCC-8作为S4u的片段
§2.2.5 RC
§2.2.6 RC~(max)
§2.2.7 基于拓扑空间逻辑的比较
§2.3 基于度量空间的逻辑
§2.3.1 一阶度量逻辑FM[M]
§2.3.2 “模态”度量逻辑MS[M]
§2.3.3 度量空间的可判定逻辑MS~#[M]
§2.4 基于度量和拓扑空间的逻辑MT
§2.5 时态逻辑
§2.5.1 线性时间
§2.5.1.1 一阶逻辑
§2.5.1.2 命题时态逻辑
§2.5.2 分支时间
§2.5.3 一阶时态逻辑---FOTL
§2.5.4 区间时态逻辑All-13
§2.6 时空逻辑
§2.6.1 基于线性时间的时空逻辑
§2.6.1.1 Muller的时空逻辑
§2.6.1.2 一阶时空逻辑FOST
§2.6.1.3 基于BRCC-8的时空逻辑ST_0，ST_1和ST_2
§2.6.1.4 基于BRCC-8与S4u的时空逻辑PST
§2.6.1.5 基于S4u及其片段的时空逻辑
§2.6.2 基于时态区间的时空逻辑ARCC-8
§2.6.3 基于分支时间的时空逻辑
§2.7 进一步的研究方案
第三章 区间演算与RCC理论结合方法的研究
§3.1 引言
§3.2 ALLEN区间时态演算与RCC空间演算的比较
§3.2.1 Allen时态演算与RCC空间演算中基本关系的对应
§3.2.2 Allen时态演算与RCC空间演算概念邻域图的比较
§3.2.3 RCC-8与IA中复合表的比较
§3.2.4 Allen时态演算与RCC空间演算的其它相似点
§3.3 ALLEN时态演算与RCC-8空间演算的结合
§3.4 进一步工作的方案
第四章 两种基于模糊集合及RCC理论的模型
§4.1 引言
§4.2 从蛋黄模型到扩展蛋黄模型
§4.2.1 不确定区域的蛋黄模型
§4.2.2 基于RCC-8的扩展蛋黄模型
§4.3 区域移动模型
§4.3.1 建立移动或变形的模型
§4.4 模糊RCC-8关系的推理
§4.5 小结
第五章 面向空间数据挖掘的粗集方法
§5.1 引言
§5.2 空间数据
§5.2.1 空间数据的复杂性特征
§5.2.2 空间数据的不确定性
§5.2.2.1 空间数据不确定性的表现
§5.2.2.2 不确定性空间数据模型
§5.3 粗集理论的基本概念
§5.4 粗集与空间数据中的不确定性
§5.4.1 空间关系中的不确定性
§5.4.1.1 空间区域的RCC理论
§5.4.1.2 用粗集表达RCC关系
§5.4.1.3 用粗集表达蛋黄关系聚类模型
§5.5 空间关联规则中的粗集方法
§5.5.1 关联规则的基本概念
§5.5.2 一种关联规则方法的粗集扩展
§5.5.2.1 一个空间数据挖掘示例
§5.5.2.2 粗空间查询谓词
§5.6 小结
第六章 一种基于模糊集的混合空间推理方法
§6.1 引言
§6.2 空间关系作为语言变量
§6.3 语言变量与模糊集的结合
§6.3.1 定性信息的模糊集合表示
§6.3.2 定量信息与定性信息之间的转换
§6.4 有关空间关系的推理
§6.5 小结
参考文献
作者读博期间发表的部分论文
作者读博期间参加的项目
致谢
中文详细摘要
ABSTRACT
发布时间: 2005-08-26
参考文献
- [1].空间凹形区域中拓扑关系模型和形状关系模型的研究[D]. 富倩.吉林大学2010
相关论文
- [1].空间关系模糊描述及组合推理的理论和方法研究[D]. 杜世宏.中国科学院研究生院（遥感应用研究所）2004
- [2].定性空间推理技术及应用研究[D]. 郭平.重庆大学2004
- [3].GIS中栅格数据时空数据模型及其应用的研究[D]. 陈志泊.北京林业大学2005
- [4].基于云理论与数据场的空间孤立点挖掘研究[D]. 余建桥.西南农业大学2005
- [5].时空数据模型在城市测绘数据库中的应用[D]. 张保钢.中国地质大学（北京）2005
标签：时态推理论文; 空间推理论文; 时空推理论文; 区间代数论文; 地理信息系统论文; 区域连接演算论文; 蛋黄模型论文; 空间区域论文; 不确定区域论文; 复合表论文; 概念邻域图论文; 模糊集论文; 空间数据挖掘论文; 租集论文; 时空数据库论文; 时空查询论文; 不确定性论文;