用概率逻辑编程融合医学文献数据,实现缺血性中风的多模态诊断。
Deep probabilistic logic programming for diagnostic reasoning from incomplete information: A case study in stroke detection

- 基于最大熵原理补全文献统计信息,构建因果模型。
- 将概率逻辑模型转化为深度神经符号系统,支持图像与文本联合推理。
- 适合医疗领域需可解释性与隐私保护的诊断系统研究者。
在医疗应用中,原始数据常涉及严重隐私问题,因此从文献中编码摘要统计信息尤为重要。深度学习已成为基于视觉或听觉传感器数据评估症状的强大工具。DeepProbLog 提供了一种可扩展的神经符号方法,能够在透明且严谨的概率框架下(即分布语义下的概率逻辑编程)分析患者图像。本文以多模态数据中的中风检测为例,探讨了从文献中可得的统计信息到基于 DeepProbLog 的诊断系统的路径。提出使用成熟的最大熵技术完成现有概率信息,并通过概率逻辑编程系统 ProbLog 2,将熵最大化因果模型转换为可在 DeepProbLog 中表达的判别性神经符号模型。分析了基于不完整数据构建模型的相对性能,探讨了概率归纳逻辑编程系统 ProbFOIL 2 在压缩大型判别模型方面的潜力,并讨论了使用 DeepProbLog 进行诊断推理的前景与意义。
原文摘要 · Abstract (English)
In medical applications, raw data is frequently associated with significant privacy concerns, lending particular importance to the encoding of summary statistics from the literature. On the other hand, deep learning has become an invaluable tool for assessing symptoms based on visual or auditory sensor data. DeepProbLog allows for an extensible neuro-symbolic approach that accommodates connectionist components to analyse patient images within a transparent and rigorous probabilistic framework, namely probabilistic logic programming under the distribution semantics. Framed as a case study in stroke detection from multimodal data, this contribution explores the pathway from summary statistics available in the literature to a DeepProbLog-based diagnostic system. It suggests a workflow using established maximum entropy techniques to complete available probabilistic information and the probabilistic logic programming system ProbLog 2 to move from the entropy-maximising causal model to a discriminative neuro-symbolic model expressible within DeepProbLog. The relative performance of models derived from less complete data is analysed alongside the potential of the probabilistic inductive logic programming system ProbFOIL 2 for compressing large discriminative models, and the perspectives and implications of using DeepProbLog for diagnostic reasoning are discussed.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。