Abductive reasoning as a basis to reproduce expert criteria in ECG atrial fibrillation identification. (29th August 2018)