On the adoption of abductive reasoning for time series interpretation