Adhesive Capsulitis of the shoulder is a painful pathology limiting shoulder movements, commonly known as "Frozen Shoulder". Since this pathology limits movement, it is important to make an early diagnosis. Diagnosing capsulitis relies on clinical assessment, although diagnostic imaging, such as Magnetic Resonance Imaging, can provide predictive or supportive information for specific characteristic signs. However, its diagnosis is not so simple nor so immediate, indeed it remains a difficult topic for many general radiologists and expert musculoskeletal radiologists. This study aims to investigate whether it is possible to use disease signs within a medical image to automatically diagnose Adhesive Capsulitis. To this purpose, we propose an automatic Model Checking-based approach to quickly diagnose the Adhesive Capsulitis taking as input the radiomic feature values from the medical images. Furthermore, we compare the performance achieved by our method with diagnostic results obtained by professional radiologists with different levels of experience. To the best of our knowledge, this is the first method for the automatic diagnosis of Adhesive Capsulitis of the Shoulder.
Keywords: Formal methods; Frozen shoulder; Medical imaging; Model checking; Radiomics.
© 2024. The Author(s).