On the adoption of abductive reasoning for time series interpretation

Abstract Time series interpretation aims to provide an explanation of what is observed in terms of its underlying processes. The present work is based on the assumption that the common classification-based approaches to time series interpretation suffer from a set of inherent weaknesses, whose ultimate cause lies in the monotonic nature of the deductive reasoning paradigm. In this document we propose a new approach to this problem, based on the initial hypothesis that abductive reasoning properly accounts for the human ability to identify and characterize the patterns appearing in a time series. The result of this interpretation is a set of conjectures in the form of observations, organized into an abstraction hierarchy and explaining what has been observed. A knowledge-based framework and a set of algorithms for the interpretation task are provided, implementing a hypothesize-and-test cycle guided by an attentional mechanism. As a representative application domain, interpretation of the electrocardiogram allows us to highlight the strengths of the proposed approach in comparison with traditional classification-based approaches.

[1]  Yuval Shahar,et al.  Dynamic temporal interpretation contexts for temporal abstraction , 1998, Annals of Mathematics and Artificial Intelligence.

[2]  Recommendations for measurement standards in quantitative electrocardiography. The CSE Working Party. , 1985, European heart journal.

[3]  Senén Barro,et al.  A model and a language for the fuzzy representation and handling of time , 1994 .

[4]  Yuval Shahar,et al.  CAPSUL: A constraint-based specification of repeating patterns in time-oriented data , 2001, Annals of Mathematics and Artificial Intelligence.

[5]  Qiao Li,et al.  AF classification from a short single lead ECG recording: The PhysioNet/computing in cardiology challenge 2017 , 2017, 2017 Computing in Cardiology (CinC).

[6]  Roman Barták,et al.  An Introduction to Constraint-Based Temporal Reasoning , 2014, An Introduction to Constraint-Based Temporal Reasoning.

[7]  Didier Dubois,et al.  Fuzzy relation equations and causal reasoning , 1995, Fuzzy Sets Syst..

[8]  Roque Marín,et al.  Computing context-dependent temporal diagnosis in complex domains , 2008, Expert Syst. Appl..

[9]  F. Mörchen Time series feature extraction for data mining using DWT and DFT , 2003 .

[10]  Ira J. Haimowitz,et al.  Clinical monitoring using regression-based trend templates , 1995, Artif. Intell. Medicine.

[11]  Pietro Torasso,et al.  A spectrum of logical definitions of model‐based diagnosis 1 , 1991, Comput. Intell..

[12]  G. Wagner Marriott's Practical Electrocardiography , 1994 .

[13]  John R. Josephson,et al.  Abductive inference : computation, philosophy, technology , 1994 .

[14]  Roque Marín,et al.  Fuzzy theory approach for temporal model-based diagnosis: An application to medical domains , 2006, Artif. Intell. Medicine.

[15]  Paulo Félix,et al.  Heartbeat Classification Using Abstract Features From the Abductive Interpretation of the ECG , 2018, IEEE Journal of Biomedical and Health Informatics.

[16]  Yuval Shahar Knowledge-based temporal interpolation , 1999, J. Exp. Theor. Artif. Intell..

[17]  Paulo Félix,et al.  Using Temporal Abduction for Biosignal Interpretation: A Case Study on QRS Detection , 2014, 2014 IEEE International Conference on Healthcare Informatics.

[18]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[19]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[20]  James F. Allen,et al.  A Plan Recognition Model for Subdialogues in Conversations , 1987, Cogn. Sci..

[21]  David Poole,et al.  A methodology for using a default and abductive reasoning system , 1989, Int. J. Intell. Syst..

[22]  Eugene Charniak,et al.  Motivation Analysis, Abductive Unification, and Nonmonotonic Equality , 1988, Artif. Intell..

[23]  Yuval Shahar,et al.  Knowledge-based temporal abstraction in clinical domains , 1996, Artif. Intell. Medicine.

[24]  P Caminal,et al.  Automatic detection of wave boundaries in multilead ECG signals: validation with the CSE database. , 1994, Computers and biomedical research, an international journal.

[25]  Paulo Félix,et al.  Arrhythmia classification from the abductive interpretation of short single-lead ECG records , 2017, 2017 Computing in Cardiology (CinC).

[26]  Rudolf Kruse,et al.  Obtaining interpretable fuzzy classification rules from medical data , 1999, Artif. Intell. Medicine.

[27]  Stefan Edelkamp,et al.  Heuristic Search - Theory and Applications , 2011 .

[28]  C. K. Chow,et al.  On optimum recognition error and reject tradeoff , 1970, IEEE Trans. Inf. Theory.

[29]  Yuval Shahar,et al.  A Framework for Knowledge-Based Temporal Abstraction , 1997, Artif. Intell..

[30]  George B. Moody,et al.  A robust open-source algorithm to detect onset and duration of QRS complexes , 2003, Computers in Cardiology, 2003.

[31]  James F. Allen,et al.  A Plan Recognition Model for Subdialogues in Conversations , 1987, Cogn. Sci..

[32]  Luigi Portinale,et al.  Using Compiled Knowledge to Guide and Focus Abductive Diagnosis , 1996, IEEE Trans. Knowl. Data Eng..

[33]  Peter A. Flach,et al.  Abduction and induction: syllogistic and inferential perspectives , 1996 .

[34]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[35]  Daniele Theseider Dupré,et al.  A Spectrum of Definitions for Temporal Model-Based Diagnosis , 1998, Artificial Intelligence.

[36]  Vaidotas Marozas,et al.  Low-complexity detection of atrial fibrillation in continuous long-term monitoring , 2015, Comput. Biol. Medicine.

[37]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[38]  William Robson Schwartz,et al.  ECG-based heartbeat classification for arrhythmia detection: A survey , 2016, Comput. Methods Programs Biomed..

[39]  Fabio Roli,et al.  Reject option with multiple thresholds , 2000, Pattern Recognit..

[40]  Sarit Kraus,et al.  KBFS: K-Best-First Search , 2003, Annals of Mathematics and Artificial Intelligence.

[41]  David Poole,et al.  Learning, Bayesian Probability, Graphical Models, and Abduction , 2000 .

[42]  Erik T. Mueller,et al.  Watson: Beyond Jeopardy! , 2013, Artif. Intell..

[43]  Christophe Dousson,et al.  Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization , 2007, IJCAI.

[45]  J. Reggia,et al.  Abductive Inference Models for Diagnostic Problem-Solving , 1990, Symbolic Computation.

[46]  Ira J. Haimowitz,et al.  Automated Trend Detection with Alternate Temporal Hypotheses , 1993, IJCAI.

[47]  David A. Clifton,et al.  A review of novelty detection , 2014, Signal Process..

[48]  Jeffrey M. Hausdorff,et al.  Physionet: Components of a New Research Resource for Complex Physiologic Signals". Circu-lation Vol , 2000 .

[49]  Cristiana Larizza,et al.  A General Framework for Building Patient Monitoring Systems , 1995, AIME.

[50]  Silvana Quaglini,et al.  Combining Decision Support System-Generated Recommendations with Interactive Guideline Visualization for Better Informed Decisions , 2015, AIME.