用于医学图像中神经描述与识别的模糊语义一阶逻辑

本文基于纤维束轨迹的解剖学描述，探讨医学图像中纤维束，特别是神经的描述与识别。为此，我们提出了一种对这种解剖学知识的逻辑形式化。解剖学教科书中对神经的描述本质上是模糊的，这促使我们提出将模糊语义与一阶逻辑相结合。我们定义了一种表示空间实体、这些实体间关系以及量词的语言。该语言中的公式便是自然语言描述的形式化。其语义由具体域中的模糊表示和关系的满足度给出。基于这种形式化，提出了一种空间推理算法，用于从解剖和弥散磁共振图像中分割和识别神经，并在儿科成像中的盆腔神经上进行了示例，以帮助外科医生规划手术。