Multidimensional Mereotopology with Betweenness
نویسندگان
چکیده
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 suffice to define 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 first-order theory that qualitatively abstracts ordered incidence geometry.
منابع مشابه
A Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry by
A Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry Torsten Hahmann Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2013 Reasoning about spatial knowledge is an important aspect of computational intelligence. Humans easily switch between high-level and low-level spatial knowledge, while computers have tradition...
متن کاملA Theory of Multidimensional Qualitative Space: Semantic Integration of Spatial Theories that Distinguish Interior from Boundary Contact
We extend our multidimensional qualitative theory of space based on relative dimension and containment by closures under intersections and differences and by a new primitive relation of boundary containment, a special kind of incidence. We provide a descriptions of the intended structures which ensure that boundary and interior are always clearly distinguishable. The resulting theory can define...
متن کاملModel-Theoretic Analysis of Asher And Vieu's Mereotopology
Model-Theoretic Analysis of Asher And Vieu's Mereotopology
متن کاملFaster Betweenness Centrality Based on Data Structure Experimentation
Betweenness centrality is a graph analytic that states the importance of a vertex based on the number of shortest paths that it is on. As such, betweenness centrality is a building block for graph analysis tools and is used by many applications, including finding bottlenecks in communication networks and community detection. Computing betweenness centrality is computationally demanding, O(V2 + ...
متن کاملCommunicability betweenness in complex networks
Betweenness measures provide quantitative tools to pick out fine details from the massive amount of interaction data that is available from large complex networks. They allow us to study the extent to which a node takes part when information is passed around the network. Nodes with high betweenness may be regarded as key players that have a highly active role. At one extreme, betweenness has be...
متن کامل