ИИ и сложнейшие проблемы мира · Теоретическая информатика · arXiv · 2026-10-20
VoxLogicA2: пространственный верификатор моделей для нейросимволической медицинской визуализации (расширенная версия)
Оригинальное название: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)
Нейросимволический анализ медицинских изображений требует объединения обработки нейронными сетями и символической логики. Авторы представляют VoxLogicA2 — пространственный верификатор моделей, новая версия которого позволяет записывать логические операции, а также обучение и предсказание нейронных сетей на одном декларативном языке. Его повышенная эффективность была подтверждена, а ранее выполненные на Python примеры были заново выражены только с помощью спецификации VoxLogicA2.