IMPUT: An Interactive Learning Tool Based on Program Specialization

Intelligent Data Analysis

Volumn 1, Issue 4, 1997, Pages 219-244

  Alexin, Zoltán ^a   Bostrom, Henrik ^c  

^a UNIVERSITY OF SZEGED   (Hungary)

^b INSTITUTE OF EXPERIMENTAL MEDICINE   (Hungary)

^c STOCKHOLM UNIVERSITY   (Sweden)

Author keywords

Algorithmic debugging; Inductive logic programming; Program specialization; Theory revision

Indexed keywords

COMPUTER CIRCUITS; INDUCTIVE LOGIC PROGRAMMING (ILP);

ALGORITHMIC DEBUGGING; DEBUGGING SYSTEMS; INTERACTIVE LEARNING TOOLS; LOGIC PROGRAMS; NEGATIVE EXAMPLES; PROGRAM SPECIALIZATION; THEORY REVISION; TRANSFORMATION RULES;

PROGRAM DEBUGGING;

EID: 0008201060     PISSN: 1088467X     EISSN: 15714128     Source Type: Journal    
DOI: 10.3233/IDA-1997-1402     Document Type: Article

References (36)

1. H. Ade and H. Bostrom,JIGSAW: puzzling together RUTH and SPECTRE, in: Proceedings of the Eighth European Conference on Machine Learning, Springer-Vedag, 1995.
2. H. Ade B., Malfait and L. De Raedt, RUTH: an ILP Theory Revision System, in: Proceedings of the Eighth International Symposium on Methodologies for Intelligent Systems ISMIS94, 1994.
3. Z. Alexin, T. Gyimthy and H. Bostrom, Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner, in: Proceedings of the 12th European Conference on Artificial Intelligence ECAl-96, John Wiley Sons, 403-407, Budapest, Hungary, 1996.
4. M. Bain and S. Muggleton, Non-Monotonic Learning, in: S. Muggleton, ed., Inductive Logic Programming (Academic Press, London) 145-161, 1992.
5. F. Bergadano and A. Giordana, A Knowledge Intensive Approach to Concept Induction, in: Proceedings of the Fifth International Conference on Machine Learnin, Morgan Kaufmann, CA, 305-317, 1988.
6. H. Bostrom, Specialization of Recursive Predicates, in: Proceedings of the Eighth European Conference on Machine Learning, Springer-Vedag, 92-106,1995.
7. H. Bostrom and P. Idestam-Almquist, Specialization of Logic Programs by Pruning SLD-trees, in: Proceedings of the Fourth International Workshop on Inductive Logic Programming ILP94, Bad Honnef/Bonn, 31-47, 1994.
8. J. Boye, J. Paakki and J. Maluszy, Synthesis of Directionality Information for Functional Logic Programs, in: Proceedings of the Third International Workshop on Static Analysis, Padova, LNCS 724, Springer-Vedag, 165-177, 1993.
9. W. W. Cohen, The Generality of Overgenerality, Proceedings of the Eighth International Workshop in Machine Learning, Morgan Kaufmann, 490-494, 1991.
10. w. W. Cohen, Compiling Prior Knowledge Into an Explicit Bias, Proceedings of the Ninth International Workshop in Machine Learning, Morgan Kaufmann, 102-110, 1992.
11. L. De Raedt and M. Bruynooghe, Belief Updating from Integrity Constraints and Queries, Artificial Intelligence, 53 (2-3), 291-307, 1992.
12. T. Gyimthy and J. Paakki, Static Slicing of Logic Programs, in: M. Ducass, ed., Proceedings of Automated andAlgorihmic Debugging AADEBUG95, Sain-Malo, France, 65-77, 1995.
13. T. Horvath, T. Gyimthy, Z. Alexin and F. Kocsis, Interactive Diagnosis and Testing Logic Programs, in: Mati Tombak, ed., Proceedings of the Third Symposium on Programming Languages and Software Tools, K1iiiriku, Estonia, 3~6, 1993.
14. G. Kkai, Z. Alexin and T. Gyimthy, Classifying ECG Waveforms in Prolog, in: Proceedings of the Fourth International Conference on The Practical Application of PROLOG PAP96, London, 193-221, 1996.
15. G. Kkai, Z. Alexin and T. Gyimthy, Application of Inductive Logic Programming for Learning ECG Waveforms, in: Proceedings of Sixth Conference on Artificial Intelligence in Medicine AIME97, Grenoble, 126-129, 1997.
16. D. E. Knuth, Semantics of context-free languages, Mathematical Systems Theory 2,127-145,1968.
17. C. X. Ling, Non-Monotonic Specialization, in: Proceedings of International Workshop on Inductive Logic Programming, Portugal, 59-68, 1991.
18. J. W. Lloyd, Foundations of Logic Programming, 2nd edition, Springer-Verlag, 1987.
19. R. S. Michalski, Pattern Recognition as Rule-Guided Inductive Inference, in: IEEE Transactions on Pattern Analysis and Machine Intelligence, 2,349-361, 1980.
20. [20J R. J. Mooney and D. Ourston, Constructive Induction in Theory Refinement, in: Proceedings of the Eighth International Workshop on Machine Learning, Morgan Kaufmann, 178-182,1991.
21. S. H. Nienhuys-Cheng and R. de Wolf, A Complete Method for Prograrn Specialization Based on Unfolding, in: Proceedings of the 12th European Coriference on Artificial Intelligence ECAI96, Budapest, Hungary, John Wiley Sons, 438-442, 1996.
22. T. J. Ostrand and M. J. Balker, The Category-Partition Method for Specifying and Generating Functional Tests, in: CACM, (31) 6 June, 676-686, 1988.
23. D. Ourston and R. J. Mooney, Changing the Rules: A Comprehensive Approach to Theory Refinement, in: Proceedings of the Eighth National Coriference on Artificial Intelligence, MIT Press, 815-820, 1990.
24. J. Paakki, T. Gyimthy and T. Horvath, Effective Algorithmic Debugging for Inductive Logic Programming, in: Proceedings of the Fourth International Workshop on Inductive Logic Programming ILP94, Bad HonneflBonn, 175-194, 1994.
25. M. Pazzani and C. Brunk, Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning, in: Proceedings of the Eleventh National Conference on Artificial Intelligence, Morgan Kaufmann, 328-334, 1993.
26. M. Pazzani, C. Brunk and G. Silverstein, A Knowledge-Intensive Approach to Learning Relational Concepts, in: Proceedings of the Eighth International Workshop on Machine Learning, Morgan Kaufmann, 432-436, 1991.
27. F. c. N. Pereira and D. H. D. Warren, Definite Clause Grammars for Language Analysis ~ A Survey of the Formalism and a Comparison with Augmented Transition Networks, Artificial Intelligence, 13,231-278, 1980.
28. J. R. Quinlan, Induction of Decision Trees, Machine Learning, 1,81-106, 1986.
29. J. R. Quinlan, Learning Logical Definitions from Relations, Machine Learning, 5, 239-266, 1990.
30. B. L. Richards and R. J. Mooney, First-Order Theory Revision, in: Proceedings of the Eighth International Workshop on Machine Learning, Morgan Kaufmann, 447-451, 1991.
31. E. Y. Shapiro, Algorithmic Program Debugging, MIT Press, 1983.
32. E. Skordalakis and G. Papakonstantinou, Towards an Attribute Grammar for the Description of ECG Waveforms, in: Proceedings of the Seventh International Conference on Pattern Recognition, 1984.
33. E. Skordalakis, ECG Analysis, in: H. Bunke and A. Sanfeliu, eds., Syntactic and Structural Pattern Recognition Theory and Applications, World Scientific, 499-533, 1990.
34. H. Tarnaki and T. Sato, UnfoldIFold Transformations of Logic Programs, in: Proceedings of the Second International Logic Programming Conference, Uppsala, Sweden, 127-138, 1984.
35. J. Wogulis, Revising Relational Domain Theories, in: Proceedings of the Eighth International Workshop on Machine Learning, Morgan Kaufmann, 462-466, 1991.
36. S. Wrobel, On the Proper Definition of Minimality in Specialization and Theory Revision, in: Proceedings of the European Conference on Machine Learning, Springer-Verlag, 65-82, 1993.