Medical Procedures Based on Bayesian Network and Possibilistic Model Checking
摘要
In this paper, we present a method that integrates Bayesian network and generalized possibilistic model checking to improve the accuracy of initial diagnostics and quantify uncertainties in the rehabilitation process. Bayesian network provides probabilistic decision support using data-driven statistical information from various sources. Computational tree logic, combined with generalized possibility measures, effectively manages the uncertainties associated with patient rehabilitation.