Regular Article
A Framework Based on CLP Extended with CHRs for Reasoning with Qualitative Orientation and Positional Information

https://doi.org/10.1006/jvlc.1997.0067Get rights and content

Abstract

Several qualitative models have been developed in the last years with the aim of simulating the spatial reasoning process used by humans. However, up to now no model has been developed to represent and reason with several aspects of space (such as orientation, distance and cardinal directions, for instance) in a uniform way, i.e. by referring to the same spatial objects. An approach for the integration of several aspects of space into the same model, based on constraint logic programming extended with constraint handling rules, is proposed in this article. As an example of this approach, the integration of orientation and positional information in the same model is explained.

References (0)

Cited by (7)

  • Chapter 13 Qualitative Spatial Representation and Reasoning

    2008, Foundations of Artificial Intelligence
    Citation Excerpt :

    Liu [134] explicitly defines the semantics of qualitative distance and qualitative orientation angles and formulates a representation of qualitative trigonometry. A example of a combined distance and position calculus is [75]. A discussion of different ways to combine different aspects can be found in [174].

  • As time goes by: Constraint handling rules

    2010, Theory and Practice of Logic Programming
  • Reasoning mechanism for cardinal direction relations

    2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
  • Modeling motion by the integration of topology and time

    2003, Journal of Universal Computer Science
  • An arrangement calculus, its complexity, and algorithmic properties

    2003, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
View all citing articles on Scopus

This article is an extended version of the papers [1, 2].

f2

{escrigm, toledo}@inf.uji.es

View full text