Pontow Carsten, Schubert Rainer
Institute for Medical Knowledge Representation and Visualization (IMWV), University of Health Informatics and Technology Tyrol (UMIT), Innsbruck, Austria.
AMIA Annu Symp Proc. 2003;2003:974.
Applications in the field of computer assisted Surgery (e.g. navigation, robotics, simulation) need consistent formal models of anatomical part-whole relationship (mereology) and neighborhood (topology) to enable automated spatial reasoning. We investigated mereotopological theories in terms of their suitability for providing a logical background for such models. The so far results indicate a need for a more spatially motivated classification of anatomical structures to allow a consistent and logical-based mereotopological modelling.
计算机辅助手术领域(如导航、机器人技术、模拟)的应用需要一致的解剖部分-整体关系(分体论)和邻域(拓扑学)形式模型,以实现自动化空间推理。我们研究了分体拓扑理论在为这类模型提供逻辑背景方面的适用性。目前的结果表明,需要对解剖结构进行更具空间导向性的分类,以便进行一致的、基于逻辑的分体拓扑建模。