Open AccessProceedings Article
Reasoning with cardinal directions: an efficient algorithm
Xiaotong Zhang,Weiming Liu,Sanjiang Li,Mingsheng Ying +3 more
- 13 Jul 2008
- pp 387-392
TL;DR: A cubic algorithm is provided for checking consistency of basic CDC constraint networks and it is shown that any consistent network of CDC constraints has a canonical realization in digital plane.
read more
Abstract: Direction relations between extended spatial objects are important commonsense knowledge Recently, Goyal and Egenhofer proposed a formal model, called Cardinal Direction Calculus (CDC), for representing direction relations between connected plane regions CDC is perhaps the most expressive qualitative calculus for directional information, and has attracted increasing interest from areas such as artificial intelligence, geographical information science, and image retrieval Given a network of CDC constraints, the consistency problem is deciding if the network is realizable by connected regions in the real plane This paper provides a cubic algorithm for checking consistency of basic CDC constraint networks As one by product, we also show that any consistent network of CDC constraints has a canonical realization in digital plane The cubic algorithm can also been adapted to cope with disconnected regions, in which case the current best algorithm is of time complexity O(n5)
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects
TL;DR: This paper combines some of the best known calculi in qualitative spatial reasoning, the RCC8 algebra for representing topological information, and the Rectangle Algebra and the Cardinal Direction Calculus for directional information to show that reasoning with topological and directional information is decidable and remains in NP.
•Proceedings Article
Combining RCC-8 with qualitative direction calculi: algorithms and complexity
Weiming Liu,Sanjiang Li,Jochen Renz +2 more
- 11 Jul 2009
TL;DR: This paper combines some of the best known calculi in qualitative spatial reasoning, the RCC8 algebra for representing topological information, and the Rectangle Algebra and the Cardinal Direction Calculus for directional information to tackle the important combination of topological and directional information for extended spatial objects.
Engineering General Intelligence, Part 2
Ben Goertzel,Cassio Pennachin,Nil Geisweiller +2 more
- 01 Jan 2014
28
Reasoning With Topological And Directional Spatial Information
Sanjiang Li,Anthony G. Cohn +1 more
- 01 Nov 2012
TL;DR: In this paper, a bipath-consistency algorithm BipathConsistency is shown to be incomplete for solving even basic RCC8 and RA constraints, and a method to compute solutions that satisfy all topological constraints and approximately satisfy each RA constraint to any prescribed precision is given.
27
Towards spatial reasoning on building information models
André Borrmann,Jakob Beetz +1 more
- 01 Jan 2010
TL;DR: A conceptual study on the application of spatial reasoning on building information models and a detailed overview on the currently available spatial calculi and introduces two possible implementation approaches.
References
•Journal Article
Maintaining knowledge about temporal intervals
TL;DR: An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between space and time.
7.9K
Maintaining knowledge about temporal intervals
TL;DR: In this paper, an interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between time and space.
•Proceedings Article
A Spatial Logic based on Regions and Connection.
David A. Randell,Z. Cui,Anthony G. Cohn +2 more
- 01 Jan 1992
TL;DR: An interval logic for reasoning about space is described, which supports a simpler ontology, has fewer functions and relations, yet does not su er in terms of its useful expressiveness.
2.3K
Reasoning about Binary Topological Relations
Max J. Egenhofer
- 28 Aug 1991
TL;DR: A new formalism is presented to reason about topological relations based upon the nine intersections of boundaries, interiors, and complements between two objects that is applicable as a foundation for an algebra over topological Relations.
703
Using Orientation Information for Qualitative Spatial Reasoning
Christian Freksa
- 21 Sep 1992
TL;DR: The paper introduces the notion of conceptual neighborhood and its relevance for qualitative temporal reasoning and the resulting neighborhood-oriented representation and reasoning approach.