• Article
  • | |
  • Metrics
  • |
  • Reference [9]
  • |
  • Related [20]
  • |
  • Cited by [7]
  • | |
  • Comments
    Abstract:

    Most previous qualitative spatial or spatio-temporal reasoning researches focused only on one single aspect and therefore were inadequate for realistic applications. A representation and reasoning technology integrating topology, size and time information are proposed and applied to a spatio-temporal geographical information system. The representations of topology, size and time are defined and their interdependence is studied. Then an algorithm TriRSAT which can solve the CSP of these three aspects of information is put forward. The representations are used in the constraint base and the TriRSAT is applied to the consistence check of the spatial-temporal data and query. The methods and theories integrating spatio-temporal information effectively can be potentially applied to spatio-temporal database and robot navigation.

    Reference
    [1]Cohn AG, Hazarika SM. Qualitative spatial representation and reasoning: An overview. Fundamental Informatics, 2001,46(1~2): 1~29.
    [2]Yu QY, Liu DY, Xie Q. A survey of analysis methods of topological relations between spatial regions. Journal of software, 2003,14(4):777~782 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/14/777.htm.
    [3]Galton 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.
    [4]Gerevini A, Renz J. Combining topological and size information for spatial reasoning. Artificial Intelligence, 2002,137:1~42.
    [5]Bennett 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.
    [6]Wang SS, Liu DY, Yang B. Multi-Dimensional qualitative spatial query language MQS-SQL. Acta Electronica Sinica, 2002,12A:1995~1999 (in Chinese with English abstract).
    [7]Koubarakis M. Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning. Theoretical Computer Science, 2001,266(1-2):311~339.
    [8]虞强源,刘大有,谢琦.空间区域拓扑关系分析方法综述.软件学报,2003,14(4):777~782. http://www.jos.org.cn/1000-9825/14/ 777.htm.
    [9]王生生,刘大有,杨博.混合维定性空间查询语言MQS-SQL.电子学报,2002,12A:1995~1999.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

王生生,刘大有,谢琦,王新颖.集成多方面信息的定性空间推理及应用.软件学报,2003,14(11):1857-1862

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:December 05,2002
  • Revised:December 05,2002
You are the first2038716Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063