AIが解く世界の難問 · 計算機科学の理論 · arXiv · 2026-10-20
VoxLogicA2：ニューロシンボリック医用画像解析のための空間モデル検査器（拡張版）
原題: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)
医用画像解析では、ニューラルネットワークによる処理と記号的な論理処理を組み合わせる必要がある。本研究は空間モデル検査器VoxLogicA2の新版を提示し、論理処理・非論理処理・ニューラルネットワークの学習と予測を一つの宣言型言語で記述できるようにした。効率の向上が検証されるとともに、従来Pythonで書かれていた事例研究をVoxLogicA2の仕様だけで記述し直せることが示された。