Reasoning About Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces
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.
Cite
Text
Schockaert and Li. "Reasoning About Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces." International Joint Conference on Artificial Intelligence, 2018. doi:10.24963/IJCAI.2018/271Markdown
[Schockaert and Li. "Reasoning About Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/schockaert2018ijcai-reasoning/) doi:10.24963/IJCAI.2018/271BibTeX
@inproceedings{schockaert2018ijcai-reasoning,
title = {{Reasoning About Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces}},
author = {Schockaert, Steven and Li, Sanjiang},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2018},
pages = {1963-1969},
doi = {10.24963/IJCAI.2018/271},
url = {https://mlanthology.org/ijcai/2018/schockaert2018ijcai-reasoning/}
}