Automatic PI-RADS assignment by means of formal methods

Luca Brunese,Maria Chiara Brunese,Mattia Carbone,Vincenzo Ciccone,Francesco Mercaldo,Antonella Santone
DOI: https://doi.org/10.1007/s11547-021-01431-y
2021-11-25
La radiologia medica
Abstract:Introduction and objectivesThe Prostate Imaging Reporting and Data System (PI-RADS) version 2 emerged as standard in prostate magnetic resonance imaging examination. The Pi-RADS scores are assigned by radiologists and indicate the likelihood of a clinically significant cancer. The aim of this paper is to propose a methodology to automatically mark a magnetic resonance imaging with its related PI-RADS.Materials and methodsWe collected a dataset from two different institutions composed by DWI ADC MRI for 91 patients marked by expert radiologists with different PI-RADS score. A formal model is generated starting from a prostate magnetic resonance imaging, and a set of properties related to the different PI-RADS scores are formulated with the help of expert radiologists and pathologists.ResultsOur methodology relies on the adoption of formal methods and radiomic features, and in the experimental analysis, we obtain a specificity and sensitivity equal to 1.QConclusionsThe proposed methodology is able to assign the PI-RADS score by analyzing prostate magnetic resonance imaging with a very high accuracy.
radiology, nuclear medicine & medical imaging
What problem does this paper attempt to address?