arrow
Return

Prolog-Driven Rule-Based Diagnostics with Large Language Models for Precise Clinical Decision Support

delete2026-01-01
delete1
PRE
AI
X
Xiaoyu Tan
B
Bin Li
W
Weidi Xu
C
Chao Qu
W
Wei-Ta Chu
Y
Yinghui Xu
Y
Yuan Qi
X
Xihe Qiu *
DOI:10.1007/978-3-032-05127-1_40delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Recently, large language models (LLMs) have been increasingly utilized for decision support across various domains. However, due to their probabilistic nature and diverse learning influences, LLMs can sometimes generate inaccurate or fabricated information, a phenomenon known as hallucination. This issue is particularly problematic in fields like medical diagnosis, where accuracy is crucial and the margin for error is minimal. The risk of hallucination is exacerbated when patient data are incomplete or vary across different clinical departments. Consequently, using LLMs directly for clinical decision support presents significant challenges. In this paper, we introduce ProCDS, a system that integrates Prolog-based rule diagnostics with LLMs to enhance the precision of clinical decision support. ProCDS begins by converting medical protocols into a set of rules and patient information into facts. Then, we design an update cycle to extract and update related facts and rules due to possible discrepancies and missing patient information. After that, we perform a logical inference using the Prolog engine and acquire the response. If the Prolog engine cannot produce certain results, ProCDS would perform another iteration of facts and rules update to fix the potential mismatch and perform logical inference again. Through this iterative neuro-symbolic integrated process, ProCDS can perform transparent and accurate clinical decision support. We evaluated ProCDS in Obstructive Sleep Apnea Hypopnea Syndrome (OSAHS) real-world clinical scenarios and other logical reasoning benchmarks, achieving high accuracy and reliability in our results. Our project page is available at: https://github.com/testlbin/procds.
Keywords:
Large Language Models
Obstructive Sleep Apnea Hypopnea Syndrome
Clinical Decision Support

Journal

M
MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION - MICCAI 2025, PT X
IF:
0
Papers:
49
Citations:
0

Organization

S
Shanghai University of Engineering Science
Scholars:
7.8K
Papers: 4.8K
Citations: 6.0K
F
fudan university
Scholars:
11.7W
Papers: 7.7W
Citations: 121