In this article, we investigate the problem of checking consistency in a hybrid formalism, which combines two essential formalisms in qualitative spatial reasoning: topological formalism and cardinal direction formalism. Instead of using conventional composition tables, we investigate the interactions between topological and cardinal directional relations with the aid of rules that are used efficiently in many research fields such as content-based image retrieval. These rules are shown to be sound, i.e. the deductions are logically correct. Based on these rules, an improved constraint propagation algorithm is introduced to enforce the path consistency. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Li, W., & Sun, H. (2005). New rules for hybrid spatial reasoning. In Lecture Notes in Computer Science (Vol. 3578, pp. 17–24). Springer Verlag. https://doi.org/10.1007/11508069_3
Mendeley helps you to discover research relevant for your work.