Citation
Michael Wessel, Michael Cogswell, Jason Tyan, and Bob Price; “Medical Procedure Tracking using Abductive Planning – A PARADIGM Shift”, Knowledge Engineering for Planning and Scheduling KEPS 2026, Workshop at the 36th International Conference on Automated Planning and Scheduling (ICAPS), Dublin, Ireland, June 28th, 2026; https://icaps-keps.github.io/2026/
Abstract
This paper presents PARACHUTE, a Prolog-based frame-work for abductive trace completion and projection for real-time medical procedure tracking and guidance, developed as part of the AI-powered AMIRA system in the ARPA-H PAR-ADIGM program. PARADIGM aims to expand access to high-quality healthcare in rural America by upskilling healthcare workers. Our key contribution is a neuro-symbolic framework that combines multimodal perception with abductive reasoning to robustly infer and guide procedures under noisy and incomplete observations. We describe the challenges of procedure modeling and tracking, and present our solutions for representing and reasoning about complex clinical workflows using abductive logic programming. This work has not been previously published.
