期刊文献+

基于缓冲区的扩展拓扑关系模型及应用

A Buffer Based Extensional Model for Topological Relation and Its Application
下载PDF
导出
摘要 定性空间推理在人工智能等领域有着广阔的应用前景,但目前单方面空间关系研究较多,多方面结合研究较少,这与实际应用需求不符.由于各类空间关系具有独立性,需要找到适当的理论将它们融合,目前对于拓扑、距离结合模型的研究还不够充分.针对缺乏基本关系可处理且易于在GIS系统中实现的模型等情况,提出了一种扩展拓扑关系模型BERCC.BERCC源于RCC理论,其主要思想是通过考虑缓存区之间的拓扑关系来提高模型表达能力,同时能表达一定程度的距离信息.推导了BERCC的弱复合表,证明了BERCC基本关系是可处理的,给出了一个包括全集关系和基本关系的可处理子集,在此基础上实现了约束满足推理算法.最后,基于该理论和方法实现了一个实验系统,进一步验证了模型及算法的正确性和实用性. Qualitative spatial reasoning (QSR) is promising for applications in artificial intelligence and other fields. Much research work bas been done on single spatial relation aspect, while little research focused on integration of two or more aspects. This does not accord with the real world applications, where several aspects are usually involved together. Since different aspects of space are often dependent, it is needed to establish more elaborate formalisms that combine different types of information. The researches on combining topology and distance are not sufficient now. And the model which is tractable in basic relations and easy to implement in GIS is lacking. An extensional topology relation model, BERCC, is proposed based on RCC theories. Its main idea is to improve express ability by using the topological relation of buffers. Some distant information is included in the model. The weak composition table of BERCC is deduced. The basic relations of BERCC are proved to be tractable. The tractable subset of BERCC including basic and full relations i.s given. A constraint satisfaction reasoning algorithm of BERCC is implemented, Finally, an experimental system is developed with the above theories and methods. The correctness and practicability of the model and the algorithm are validated by the system.
出处 《计算机研究与发展》 EI CSCD 北大核心 2009年第11期1900-1906,共7页 Journal of Computer Research and Development
基金 国家自然科学基金项目(60603030 60773099) 国家"八六三"高技术研究发展计划基金项目(2006AA10Z245 2006AA10A309) 吉林省科技发展计划重点基金项目(20060213) 欧盟基金项目TH/Asia Link/010 (111084)~~
关键词 定性空间推理 区域连接演算 缓冲区 约束满足问题 结合空间关系 qualitative spatial reasoning region connection calculus buffer constraint satisfaction problem integrated spatial relation
  • 相关文献

参考文献1

二级参考文献8

  • 1虞强源 刘大有 谢琦.空间区域拓扑关系分析方法综述.软件学报,2003,14(4):777~782.http://www.jos.org.cn/1000-9825/14/ 777.htm.,. 被引量:1
  • 2Cohn AG, Hazarika SM. Qualitative spatial representation and reasoning: An overview. Fundamental Informatics, 2001,46(1-2): 1-29. 被引量:1
  • 3Galton A. Towards an integrated logic of space, time, and motion. In: Bajcsy R, ed. Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambery: Morgan Kaufmann Publishers, 1993. 1550-1555. 被引量:1
  • 4Gerevini A, Renz J. Combining topological and size information for spatial reasoning. Artificial Intelligence, 2002,137:1-42. 被引量:1
  • 5Bennett B, Cohn AG, Wolter F, Zakharyaschev M. Multi-Dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence, 2002,17(3):239-251. 被引量:1
  • 6Koubarakis M. Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning. Theoretical Computer Science, 2001,266(1-2):311-339. 被引量:1
  • 7虞强源 刘大有 谢琦.空间区域拓扑关系分析方法综述.软件学报,2003,14(4):777-782[EB/OL].http://www.jos.org.cn/1000-9825/14/777.htm.,. 被引量:1
  • 8王生生,刘大有,杨博.混合维定性空间查询语言MQS-SQL[J].电子学报,2002,30(12A):1995-1999. 被引量:17

共引文献11

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部