集成多方面信息的定性空间推理及应用

被引：12

作者：

王生生

刘大有

谢琦

王新颖

机构：

[1] 吉林大学计算机科学与技术学院

来源：

软件学报 | 2003年 / 11期

关键词：

定性空间推理; 约束满足问题; 时空GIS;

D O I：

10.13328/j.cnki.jos.2003.11.006

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

以往的定性空间或时空推理工作多数面向单一时空方面,这不符合实际应用需要.提出了集成拓扑、尺寸和时间3方面信息的定性表示和推理技术,并应用到时空GIS中.给出了面向GIS的拓扑、尺寸和时间的表示方法,并研究了它们之间的依赖性.提出了集成这3方面信息的约束满足问题求解算法TriRSAT.在时空GIS中,把定性时空表示用于约束关系库,把TriRSAT算法用于时空数据一致性检查和时空查询.应用结果显示,该理论和方法能有效地集成处理多方面时空信息,在时空数据库、机器人导航等领域有着广泛的应用前景.

引用

页码：1857 / 1862

页数：6