Skip to main content
SpringerLink
Log in

Analyzing and learning ECG waveforms

  • Experiments and Applications
  • Conference paper
  • First Online:
Inductive Logic Programming (ILP 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1314))

Included in the following conference series:

Abstract

In this paper we present a system which integrates an ECG waveform classifier (called PECG) with an interactive learner (called IMPUT. The PECG system is based on an attribute grammar specification of ECGs that has been transformed to Prolog. The IMPUT system combines the interactive debugging technique IDT with the unfolding algorithm introduced in SPECTRE. The main result achieved in the new version of the PECG system is that an ILP method can be used to improve the effectiveness of a real size Prolog application. Applying the IMPUT method, the extended PECG system is able to suggest a correct solution to the user to replace the buggy clause recognized during the debugging process.

now visiting the Chair of Programming Languages, Department of Computer Science, Friedrich-Alexander University of Erlangen-Nürnberg Martenstr. 3. D-91058 Erlangen, Germany e-mail: kokai@informatik.uni-erlangen.de

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alexin, Z., Gyimóthy, T., Boström, H.: Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner in Proceedings of the 12th European Conference on Artificial Intelligence ECAI-96 ed. Wolfgang WahIster, Budapest, Hungary John Wiley & Son's Ltd. 1996.

    Google Scholar 

  2. Boström, H., Idestam-Almquist, P.: Specialization of Logic Programs by Pruning SLD-trees., Proc. of the Fourth International Workshop on Inductive Logic Programming (ILP-94) Bad Honnef/Bonn Germany September 12-14. (1994) 31-47

    Google Scholar 

  3. De Raedt, L., Bruynooghe, M.: A theory of clausal discovery Proc. of the 13th International Joint Conference on Artificial Intelligence Morgan Kaufmann (1993)

    Google Scholar 

  4. Deransart, P., Maluszynski, J.: Relating Logic Programs and Attribute Grammars Journal of Logic Programming 2, (1985) 119–156

    Google Scholar 

  5. Dieroski, S., Lavrač, N.: Inductive Learning in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering 5 (6): (1994) 939–949

    Google Scholar 

  6. Fritzson, P., Gyimôthy, T., Kamkar, M., Shahmeri, N.: Generalized Algorithmic Debugging and Testing in Proceedings of ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, Toronto, Ontario 1991. ACM SIGPLAN Notices 26, 6, (1991) 317–326

    Google Scholar 

  7. Kókai, G., Alexin, Z., Kocsis, F.: The IDT System and its Application for Learning Prolog Programs. Proc. of the Sixth International Conference on Artificial Intelligence and Information Control Systems of Robots (AIICSR-94) Smolenice Castle Slovakia September 12–16. (1994) 315–320

    Google Scholar 

  8. Kókai, G., Alexin, Z., Gyimôthy, T.: Classifying ECG Waveforms in Prolog Proc. of the Fourth International Conference on The Practical Application of PROLOG (PAP96) London, United Kingdom April 23–25, (1996) 193–221

    Google Scholar 

  9. Lavrač, N., Džeroski, S.: Inductive Logic Programming: Techniques and Applications Ellis Horwood, (1994)

    Google Scholar 

  10. Muggleton, S.: Inverse entailment and Progol, New Generation Computing Vol 13. (special issue on Inductive Logic Programming) Ohmsha, (1995) 245–286

    Google Scholar 

  11. Muggleton, S., De Raedt, L.: Inductive Logic Programming: Theory and methods, Journal of Logic Programming 19 (20) (1994) 629–679

    Google Scholar 

  12. Ostrand, T. J., Balker, M. J.: The Category-Partition Method for Specifying and Generating Functional Tests CALM 31:6 June (1988) 676-686

    Google Scholar 

  13. Paakki, J., Gyimôthy, T., Horváth T.,: Effective Algorithmic Debugging for Inductive Logic Programming. Proc. of the Fourth International Workshop on Inductive Logic Programming (ILP-94) Bad Honnef/Bonn Germany September 12-14. (1994) 175–194

    Google Scholar 

  14. Pereira, F. C. N., Warren, D. H. D.: Definite clause grammars for language analysis — a survey of the formalism and a comparison with augmented transition networks Artificial Intelligence 13: 231–278, (1980)

    Google Scholar 

  15. Shapiro, E. Y.: Algorithmic Program Debugging MIT Press (1983)

    Google Scholar 

  16. Skordalakis, E.: ECG Analysis in Syntactic and Structural Pattern Recognition Theory and Applications ed. Bunke, H. and Sanfeliu, A. World Scientific (1990) 499–533

    Google Scholar 

  17. Skordalakis, E., Papakonstantinou G.: Towards an Attribute Grammar for the Description of ECG Waveforms 7th International Conference on Pattern Recognition (1984).

    Google Scholar 

  18. Tamaki, H., Sato, T.: Unfold/Fold Transformations of Logic Programs, Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden (1984) 127–138

    Google Scholar 

  19. Udupa J.K., Murthy I.S.N.: Syntactic Approach to ECG Rhythm analysis IEEE Transactions on Biomedical Engineering, vol. BME-27, No.7 pp 370–375, July 1980

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, József Attila University, Árpád tér 2, H-6720, Szeged, Hungary

    Gabriella Kókai

  2. Department of Applied Informatics, József Attila University, Árpád tér 2, H-6720, Szeged, Hungary

    Zoltán Alexin

  3. Research Group on Artificial Intelligence, Hungarian Academy of Sciences, Aradi vértanuk tere 1, H-6720, Szeged, Hungary

    Tibor Gyimóthy

Authors
  1. Gabriella Kókai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zoltán Alexin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tibor Gyimóthy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Stephen Muggleton

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kókai, G., Alexin, Z., Gyimóthy, T. (1997). Analyzing and learning ECG waveforms. In: Muggleton, S. (eds) Inductive Logic Programming. ILP 1996. Lecture Notes in Computer Science, vol 1314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63494-0_52

Download citation

  • DOI: https://doi.org/10.1007/3-540-63494-0_52

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63494-2

  • Online ISBN: 978-3-540-69583-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation