Skip to main content

Approximate reasoning with qualitative spatial constraints involving landmarks

Funding: 2012: $50,000
2013: $50,000
2014: $50,000

Project Member(s): Li, S.

Funding or Partner Organisation: Australian National University (Australian Primary Health Care Research Institute - Centre of Research Excellence)
Australian Research Council (Other funds for ARC projects)
Australian Research Council (ARC Discovery Projects)
University of Leeds

Start year: 2012

Summary: Human beings typically represent, communicate, understand, and reason with spatial information in a qualitative way. This feature is reflected in the AI subfield of Qualitative Spatial Reasoning (QSR). Despite significant progress in the past two decades, more and more evidence has shown that, when combined with other spatial aspects, it is inherently hard to find exact solutions for expressive topological constraints. This project aims to develop efficient reasoning mechanisms that can find approximate solutions for hybrid qualitative spatial constraints involving landmarks. Outcomes of this project will enable spatial information systems to make intelligent responses to critical and emergent queries in a very limited time.


Lee, JH, Li, S, Long, Z & Sioutis, M 1970, 'On redundancy in simple temporal networks', Frontiers in Artificial Intelligence and Applications, European Conference on Artificial Intelligence, AAAI Press, Netherlands, pp. 828-836.
View/Download from: Publisher's site

D√ľntsch, I & Li, S 2013, 'On the homogeneous countable Boolean contact algebra', Logic and Logical Philosophy, vol. 22, no. 2, pp. 213-251.
View/Download from: Publisher's site

Li, S, Liu, W & Wang, S 2013, 'Qualitative constraint satisfaction problems: An extended framework with landmarks', Artificial Intelligence, vol. 201, no. 1, pp. 32-58.
View/Download from: Publisher's site

Li, JJ & Li, S 1970, 'On Finding Approximate Solutions of Qualitative Constraint Networks', 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI), IEEE, Herndon, VA, USA, pp. 30-37.
View/Download from: Publisher's site

Schockaert, S & Li, S 1970, 'Combining RCC5 relations with betweenness information', IJCAI International Joint Conference on Artificial Intelligence, International Joint Conference on Artificial Intelligence, AAAI Press / International Joint Conferences on Artificial Intelligence, Beijing, China, pp. 1083-1089.

Keywords: Qualitative Spatial ReasoningTopological InformationApproximate SolutionQualitative Constraint Satisfaction Problem

FOR Codes: Artificial Intelligence and Image Processing not elsewhere classified, Expanding Knowledge in the Information and Computing Sciences, Analysis of Algorithms and Complexity, Expanding Knowledge in the Mathematical Sciences, Graphics, augmented reality and games not elsewhere classified, Computational complexity and computability