arXiv:2505.00173v1 通知类型: 新 摘要: 本文基于纤维轨迹的解剖描述，处理和识别医学图像中的纤维丛及其特别是神经丛。为此，我们提出了一种对这种解剖知识的逻辑形式化。解剖教科书中关于神经的固有不精确描述促使我们提出了结合一阶逻辑的模糊语义。我们定义了一种语言，用于表示空间实体、这些实体之间的关系和量词。这种语言中的公式则是对自然语言描述的形式化。语义通过具体领域中的模糊表示和关系的满足程度给出。基于这种形式化，我们提出了一种空间推理算法，用于从解剖和扩散磁共振成像中分割和识别神经，这在儿科成像中的骨盆神经上得到了演示，使外科医生能够规划手术。