Skip to main content

Spatial Cognition - Expressive Representation Formalisms and Effective Reasoning Mechanisms

Funding or Partner Organisation: Australian Research Council (ARC Future Fellowships)

Start year: 2010

Summary: The next generation of innovative systems such as geo-location services based on Google maps will require sophisticated support from spatial cognition. Current formalisms for spatial knowledge neglect internal structure, lack effective reasoning mechanisms for hybrid spatial constraints, and do not reflect the hierarchical nature of spatial knowledge. This project aims to establish expressive representation formalisms of spatial knowledge and provide effective reasoning mechanisms. I will establish a formal model for representing the internal structure of complex objects, and a hierarchical approach to spatial representation and reasoning, and effective reasoning mechanisms that can cope with hybrid spatial constraints.'',

Publications:

Wang, H, Zhang, P, Tsang, I, Chen, L & Zhang, C 2015, 'Defragging Subgraph Features for Graph Classification', Proceedings of the 24th ACM International on Conference on Information and Knowledge Management, ACM International Conference on Information and Knowledge Management, ACM, Melbourne, VIC, Australia, pp. 1687-1690.
View/Download from: UTS OPUS or Publisher's site

Duntsch, 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: UTS OPUS or Publisher's site

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

Long, Z & Li, S 2013, 'A complete classification of spatial relations using the Voronoi-based nine- intersection model', International Journal Of Geographical Information Science, vol. 27, no. 10, pp. 2006-2025.
View/Download from: UTS OPUS or Publisher's site

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

Schockaert, S & Li, S 2013, 'Combining RCC5 relations with betweenness information', Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI), International Joint Conference on Artificial Intelligence, AAAI Press / International Joint Conferences on Artificial Intelligence, Beijing, China, pp. 1083-1089.
View/Download from: UTS OPUS

Duckham, M, Jeong, M, Li, S & Renz, J 2010, 'Decentralized querying of topological relations between regions without using localization', GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems, ACM International Symposium on Advances in Geographic Information Systems, ACM, San Jose, USA, pp. 414-417.
View/Download from: UTS OPUS or Publisher's site

Li, S 2010, 'A Layered Graph Representation for Complex Regions', Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning, International Conference on the Principles of Knowledge Representation and Reasoning, AAAI, Toronto, Canada, pp. 581-583.
View/Download from: UTS OPUS

Keywords: Spatial Cognition, Spatial Reasoning, Knowledge Representation and Reasoning, Geographical Information Sciences, Artificial Intelligence,

FOR Codes: Artificial Intelligence and Image Processing, Geospatial Information Systems, Expanding Knowledge in Psychology and Cognitive Sciences, Knowledge Representation and Machine Learning