DocumentCode
2036863
Title
Pairwise-consistency checking of basic cardinal direction constraints
Author
Sun, Wei ; Ouyang, Jihong ; Ma, Tingxin ; Liu, Dayou
Author_Institution
Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun, China
Volume
2
fYear
2011
fDate
8-10 April 2011
Firstpage
369
Lastpage
372
Abstract
In this paper we study a formal model for qualitative spatial reasoning with cardinal direction relations called direction-relation matrix. We give an O(n2) algorithm to check the pairwise-consistency of basic cardinal direction constraints with the variables ranging over the set of simple regions. To the best of our knowledge, this was an open problem. A previous algorithm of the same model with our paper for this problem works in O(n3).
Keywords
computational complexity; inference mechanisms; basic cardinal direction constraints; cardinal direction relations; direction-relation matrix; formal model; pairwise-consistency checking; qualitative spatial reasoning; Algebra; Algorithm design and analysis; Cognition; Computational modeling; Computer science; Marine vehicles; Spatial databases; cardinal direction constraint; pairwise-consistency; rectangle algebra; relation converse;
fLanguage
English
Publisher
ieee
Conference_Titel
Electronics Computer Technology (ICECT), 2011 3rd International Conference on
Conference_Location
Kanyakumari
Print_ISBN
978-1-4244-8678-6
Electronic_ISBN
978-1-4244-8679-3
Type
conf
DOI
10.1109/ICECTECH.2011.5941720
Filename
5941720
Link To Document