Incremental learning in inductive programming

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

Volumn 5812 LNCS, Issue , 2010, Pages 74-92

  Henderson, Robert ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Incremental learning; Inductive functional programming; Inductive programming

Indexed keywords

LEARNING SYSTEMS;

BACK-GROUND KNOWLEDGE; EXPONENTIAL EXPLOSION; INCREMENTAL LEARNING; INDUCTIVE BIAS; PROGRAMMING SYSTEM; SEARCH TIME; SEARCH-BASED; TIME COMPLEXITY;

FUNCTIONAL PROGRAMMING;

EID: 77951994719     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11931-6_4     Document Type: Conference Paper

References (12)

1. Augusteijn, L.: Sorting morphisms. In: Swierstra, S.D., Oliveira, J.N. (eds.) AFP 1998. LNCS, vol.1608, pp. 1-27. Springer, Heidelberg (1999)
2. De Raedt, L., Kersting, K.: Probabilistic inductive logic programming. In: Ben-David, S., Case, J., Maruoka, A. (eds.) ALT 2004. LNCS (LNAI), vol.3244, pp. 19-36. Springer, Heidelberg (2004)
3. Hofmann, M., Kitzelmann, E., Schmid, U.: A unifying framework for analysis and evaluation of inductive programming systems. In: Proceedings of the Second Conference on Artificial General Intelligence, AGI 2009 (2009)
4. Katayama, S.: Systematic search for lambda expressions. In: Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, vol.6, pp. 111-126. Intellect (2007)
5. Khan, K., Muggleton, S., Parson, R.: Repeat learning using predicate invention. In: Page, D.L. (ed.) ILP 1998. LNCS, vol.1446, pp. 165-174. Springer, Heidelberg (1998)
6. Kitzelmann, E.: Data-driven induction of recursive functions from input/outputexamples. In: Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP 2007), pp. 15-26 (2007)
7. Muggleton, S.: Duce, an oracle based approach to constructive induction. In: IJCAI 1987, pp. 287-292 (1987)
8. Olsson, J.R.: Inductive functional programming using incremental program transformation. Artificial Intelligence 74(1), 55-83 (1995)
9. Quinlan, J.R., Cameron-Jones, R.M.: FOIL: A midterm report. In: Brazdil, P.B. (ed.) ECML 1993. LNCS, vol.667, pp. 3-20. Springer, Heidelberg (1993)
10. Schmidhuber, J.: Optimal ordered problem solver. Machine Learning 54(3), 211-254 (2004)
11. Schmidhuber, J., Zhao, J., Wiering, M.: Shifting inductive bias with successstory algorithm, adaptive levin search, and incremental self-improvement. Machine Learning 28(1), 105-130 (1997)
12. Solomonoff, R.J.: Progress in incremental machine learning. Given at: NIPS Workshop on Universal Learning Algorithms and Optimal Search. Whistler, B.C., Canada, December 14 (2002), http://world.std.com/~rjs/pubs.html