Reasoning about betweenness and RCC8 constraints in qualitative conceptual spaces

Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 and Li, Sanjiang 2018. Reasoning about betweenness and RCC8 constraints in qualitative conceptual spaces. Presented at: 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18), Stockholm, Sweden, 13-19 July 2018. Published in: Lang, Jerome ed. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, pp. 1963-1969. 10.24963/ijcai.2018/271

Preview

PDF - Accepted Post-Print Version Download (292kB) | Preview

Abstract

Conceptual spaces are a knowledge representation framework in which concepts are represented geometrically, using convex regions. Motivated by the fact that exact conceptual spaces are usually difficult to obtain, we study the problem of spatial reasoning about qualitative abstractions of such representations. In particular, we consider the problem of deciding whether an RCC8 network extended with constraints about betweenness can be realized using bounded and convex regions in a high-dimensional Euclidean space. After showing that this decision problem is PSPACE-hard in general, we introduce an important fragment for which deciding realizability is NP-complete.

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Completion
Status:	Published
Schools:	Computer Science & Informatics
Publisher:	International Joint Conferences on Artificial Intelligence Organization
Date of First Compliant Deposit:	18 July 2018
Date of Acceptance:	13 July 2018
Last Modified:	23 Oct 2022 14:04
URI:	https://orca.cardiff.ac.uk/id/eprint/112686

Citation Data

Cited 5 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item