Induction of recursive program schemes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1398, Issue , 1998, Pages 214-225

  Schmid, Ute ^a   Wysotzki, Fritz ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Analogy; Cognitive modelling; Inductive program synthesis; Planning and learning

Indexed keywords

MACHINE LEARNING; PATTERN MATCHING; PROBLEM ORIENTED LANGUAGES; SEMANTICS;

ANALOGICAL REASONING; ANALOGY; BACK-GROUND KNOWLEDGE; COGNITIVE MODELLING; INDUCTIVE PROGRAM SYNTHESIS; PATTERN MATCHING PROBLEMS; RECURSIVE PROGRAM SCHEMES; RECURSIVE STRUCTURE;

PROBLEM SOLVING;

EID: 84946060415     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0026692     Document Type: Conference Paper

References (21)

1. J.R. Anderson. Knowledge compilation: A general learning mechanism. In R.S. Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning - An Al Approach, volume 2, pages 289-310. Tioga, 1986.
2. J.R. Anderson, P. Pirolli, and R. Farrell. Learning to program recursive functions. In M.T.H. Chi, R. Glaser, and M.J. Farr, editors, The Nature of Expertise, pages 153-183. Lawrence Erlbaum, 1988.
3. A. W. Biermann, G. Guiho, and Y. Kodratoff, editors. Automatic Program Construction Techniques. Collier Macmillan, 1984.
4. G. Le Blanc. BMWk revisited: Generalization and formalization of an algorithm for detecting recursive relations in term sequences. In F. Bergadano and L. de Raedt, editors, Machine Learning, Proc. of ECML-94, pages 183-197, 1994.
5. W. W. Cohen. Desiderata for generaization-to-n algorithms. In Int. Workshop All '92, Dagstuhl Castle, Germany, volume LNAI 642, pages 140-150. Springer, 1992.
6. B. Courcelle and M. Nivat. The algebraic semantics of recursive program schemes. In Winkowski, editor, Math. Foundations of Computer Science, volume 64 of LNCS, pages 16-30. Springer, 1978.
7. J. Engelfriet. Simple Program Schemes and Formal Languages. Springer, 1974.
8. A.J. Field and P.C. Harrison. Functional Progamming. Addison-Wesley, 1988.
9. P. Flener and S. Yilmaz. Inductive synthesis of recursive logic programs: Achievements and prospects. to appear.
10. M. Ginsberg. Universal planning: An (almost) universally bad idea. Al Magazine, 10(4):40-44, 1989.
11. J. P. Jouannaud and Y. Kodratoff. Characterization of a class of functions synthesized from examples by a summers like method using a `B.M.W.' matching technique. In IJCAI, pages 440-447, 1979.
12. S. Lu. A tree-to-tree distance and its application to cluster analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence, PAMI-1(2):219-224, 1979.
13. Z. Manna and R. Waldinger. How to clear a block: a theory of plans. Journal of Automated Reasoning, 3(4):343-378, 1987.
14. S. Muggleton. Learning from positive data. In S. Muggleton, editor, Proc. of the 6th Int. Workshop on Inductive Logic Programming, pages 225-244. Stockholm University, Royal Institute of Technology, 1996.
15. L. R. Novick and K. J. Holyoak. Mathematical problem solving by analogy. Journal of Experimental Psychology: Learning, Memory, and Cognition, 14:510-520, 1991.
16. U. Schmid and F. Wysotzki. Skill acquisition can be regarded as program synthesis. In U. Schmid, J. Krems, and F. Wysotzki, editors, Proc. of the First European Workshop on Cognitive Modelling (TU Berlin), pages 39-45, 1996.
17. M.J. Schoppers. Universal plans for reactive robots in unpredictable environments. In IJCAI '87, pages 1039-1046, 1987.
18. P. D. Summers. A methodology for LISP program construction from examples. Journal ACM, 24(1):162-175, 1977.
19. M. Veloso, J. Carbonell, M. A. Perez, D. Borrajo, E. Fink, and J. Blythe. Integrating planning and learning: The prodigy architecture. J. of Experimental and Theoretical AI, 7(1):81-120, 1995.
20. F. Wysotzki. Representation and induction of infinite concepts and recursive action sequences. In Proc. of the 8th IJCAI, Karlsruhe, 1983.
21. F. Wysotzki. Program synthesis by hierarchical planning. In P. Jorrand and V. Sgurev, editors, Artificial Intelligence: Methodology, Systems, Applications, pages 3-11. Elsevier Science, Amsterdam, 1987.