资源论文Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces

Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces

2019-11-05 | |  71 |   43 |   0
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 highdimensional 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.

上一篇:Abducing Relations in Continuous Spaces

下一篇:Consequence-based Reasoning for Description Logics with Disjunction, Inverse

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...