资源分类
》 资源 》论文》Multidimensional Mereotopology with Betweenness ? Torsten Hahmann Michael Gru?ninger

Multidimensional Mereotopology with Betweenness ? Torsten Hahmann Michael Gru?ninger

2019-11-12 | |  48 |   47 |   0
Abstract Qualitative reasoning about commonsense space often involves entities of different dimensions. We present a weak axiomatization of multidimensional qualitative space based on ‘relative dimension’ and dimension-independent ‘containment’ which suf?ce to de?ne basic dimension-dependent mereotopological relations. We show the relationships to other meoreotopologies and to incidence geometry. The extension with betweenness, a primitive of relative position, results in a ?rst-order theory that qualitatively abstracts ordered incidence geometry.

上一篇：Reasoning About Typicality in Low Complexity DLs: The Logics EL? Tmin and DL-Litec Tmin ?

下一篇：Generalising the Interaction Rules in Probabilistic Logic Arjen Hommersom and Peter J. F. Lucas

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...