Inductive rule learning on the knowledge level

Cognitive Systems Research

Volumn 12, Issue 3-4, 2011, Pages 237-248

  Schmid, Ute ^a   Kitzelmann, Emanuel ^b  

^a UNIVERSITY OF BAMBERG   (Germany)

^b INTERNATIONAL COMPUTER SCIENCE INSTITUTE   (United States)

Author keywords

Inductive programming; Learning and planning; Learning from examples; Rule learning

Indexed keywords

ANALYTICAL APPROACH; COGNITIVE ARCHITECTURES; INDUCTIVE PROGRAMMING; INDUCTIVE RULE LEARNING; KNOWLEDGE LEVEL; LEARNING AND PLANNING; LEARNING FROM EXAMPLES; LEARNING SETS; NATURAL LANGUAGE PROCESSING; PROGRAMMING SYSTEM; RECURSIVE RULES; RULE ACQUISITION; RULE LEARNING;

COMPUTATIONAL LINGUISTICS; NATURAL LANGUAGE PROCESSING SYSTEMS; VIRTUAL CORPORATION;

COMPUTER SYSTEMS PROGRAMMING;

ANALYTIC METHOD; ARTICLE; BEHAVIOR; COGNITION; COMPUTER PROGRAM; KNOWLEDGE; LANGUAGE PROCESSING; LEARNING; PRIORITY JOURNAL; PROBLEM SOLVING;

EID: 79953190718     PISSN: 13890417     EISSN: 13890417     Source Type: Journal    
DOI: 10.1016/j.cogsys.2010.12.002     Document Type: Article

References (67)

1. Altmann E.M., Trafton J.G. Memory for goals: An activation-based model. Cognitive Science 2002, 26:39-83.
2. Anderson J.R. The architecture of cognition 1983, Havard University Press, Cambridge, MA.
3. Anderson J.R., Albert M.V., Fincham J. Tracing problem solving in real time: fMRI analysis of the subject-paced tower of hanoi. Journal of Cognitive Neuroscience 2005, 17:1261-1274.
4. Anderson J.R., Douglass S. Tower of Hanoi: Evidence of the cost of goal retrieval. Journal of Experimental Psychology: Learning, Memory, and Cognition 2001, 27(6):1331-1346.
5. Anderson J.R., Lebière C. The atomic components of thought 1998, Lawrence Erlbaum, Mahwah, NJ.
6. Anzai Y., Simon H. The theory of learning by doing. Psychological Review 1979, 86:124-140.
7. Baars B.J., Franklin S. How conscious experience and working memory interact. TRENDS in Cognitive Sciences 2003, 7(4):166-172.
8. Bach J. Principles of synthetic intelligence. Psi, an architecture of motivated cognition 2009, Oxford University Press, New York.
9. Automatic program construction techniques 1984, Macmillan, New York. A.W. Biermann, G. Guiho, Y. Kodratoff (Eds.).
10. Braine M. On learning the grammatical order of words. Psychological Review 1963, 70:332-348.
11. Bruner J.S., Goodnow J.J., Austin G.A. A study of thinking 1956, Wiley, New York.
12. Bühler K. Tatsachen und Probleme zu einer Psychologie der Denkvorgänge. Über Gedanken. Archiv für Psychologie 1907, 9:297-365.
13. Chomsky N. Review of Skinner's 'verbal behavior'. Language 1959, 35:26-58.
14. Chomsky N. Aspects of the theory of syntax 1965, MIT Press, Cambridge, MA.
15. Covington M.A. Natural language processing for Prolog programmers 1994, Prentice Hall.
16. Flener P., Schmid U. An introduction to inductive programming. Artificial Intelligence Review 2009, 29(1):45-62.
17. Ghallab M., Nau D., Traverso P. Automated planning: Theory and practice 2004, Morgan Kaufmann.
18. Gold E. Language identification in the limit. Information and Control 1967, 10:447-474.
19. Goodman N. Fact, fiction, and forecast 1965, Bobbs-Merril, Indianapolis.
20. Green, C. (1969). Application of theorem proving to problem solving. In Proc. 1st international joint conference on artificial intelligence (IJCAI-69) (p. 342-344).
21. Halford G.S., Wilson W.H., Phillips S. Processing capacity defined by relational complexity: Implications for comparative, developmental, and cognitive psychology. Behavioral and Brain Sciences 1998, 21:803-865.
22. Perspectives of neural-symbolic integration 2007, Springer, Berlin. B. Hammer, P. Hitzler (Eds.).
23. Hofmann, M., & Kitzelmann, E. (2010). I/O guided detection of list catamorphisms - towards problem specific use of program templates in ip. In J. Gallagher & J. Voigtländer (Eds.), Proceedings of the 2010 ACM SIGPLAN workshop on partial evaluation and program manipulation (pp. 93-100). New York: ACM SIGPLAN.
24. Hofmann M., Kitzelmann E., Schmid U. Analysis and evaluation of inductive programming systems in a higher-order framework. KI 2008: Advances in artificial intelligence 2008, 78-86. Springer, Berlin. A. Dengel, K. Berns, T.M. Breuel, F. Bomarius, T.R. Roth-Berghofer (Eds.).
25. Holland J., Holyoak K., Nisbett R., Thagard P. Induction - Processes of inference, learning, and discovery 1986, MIT Press, Cambridge, MA.
26. Hunt E., Marin J., Stone P.J. Experiments in induction 1966, Academic Press, New York.
27. Kahney H. What do novice programmers know about recursion?. Studying the novice programmer 1989, 209-228. Lawrence Erlbaum. E. Soloway, J.C. Spohrer (Eds.).
28. Kaplan C., Simon H. In search of insight. Cognitive Psychology 1990, 22:374-419.
29. Katayama, S. (2005). Systematic search for lambda expressions. In Trends in functional programming (pp. 111-126).
30. Kitzelmann, E. (2003). Inductive functional programming - A term-construction and folding approach. Unpublished master's thesis, Dept. of Computer Science, TU Berlin.
31. Kitzelmann E. Analytical inductive functional programming. Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008, Valencia, Spain) 2009, Vol. 5438:87-102. Springer.
32. Kitzelmann, E. (2010). A combined analytical and search-based approach to the inductive synthesis of functional programs. Unpublished doctoral dissertation, Fakultät Wirtschaftsinformatik und Angewandte Informatik, Otto-Friedrich Universität Bamberg.
33. Kitzelmann E., Schmid U. Inductive synthesis of functional programs: An explanation based generalization approach. Journal of Machine Learning Research 2006, 7(February):429-454.
34. Klahr D., Wallace J. Cognitive development: An information processing view 1976, Erlbaum, Hillsdale, NJ.
35. Knoblich G., Ohlsson S., Rhenius H., Haider D. Constraint relaxation and chunk decomposition in insight. Journal of Experimental Psychology: Learning, Memory, and Cognition 1999, 25(6):1534-1556.
36. Korf R.E. Macro-operators: A weak method for learning. Artificial Intelligence 1985, 26:35-77.
37. Kotovsky K., Hayes J.R., Simon H.A. Why are some problems hard? Evidence from Tower of Hanoi. Cognitive Psychology 1985, 17(2):248-294.
38. Koza J. Genetic programming: On the programming of computers by means of natural selection 1992, MIT Press, Cambridge, MA.
39. Lavrač N., Džeroski S. Inductive logic programming: Techniques and applications 1994, Ellis Horwood, London.
40. Levelt W. What became of LAD? 1976, Peter de Ridder Press, Lisse.
41. Malerba D. Learning recursive theories in the normal ILP setting. Fundamenta Informaticae 2003, 57(1):39-77.
42. Manna Z., Waldinger R. How to clear a block: A theory of plans. Journal of Automated Reasoning 1987, 3(4):343-378.
43. Marcus G.F. The algebraic mind. Integrating connectionism and cognitive science 2001, Bradford, Cambridge, MA.
44. Martín M., Geffner H. Learning generalized policies in planning using concept languages. Proc. 7th international conference on knowledge representation and reasoning (KR 2000) 2000, 667-677. Morgan Kaufmann, San Francisco, CA.
45. McCarthy J. Situations, actions, and causal laws (Memo No. 2) 1963, Stanford University Artificial Intelligence Project, Stanford, California.
46. Meyer R. Thinking, problem solving, cognition 1992, Freeman. second ed.
47. Minton S. Selectively generalizing plans for problem-solving. Proc. international joint conference on artificial intelligence (IJCAI-85) 1985, 596-599. Morgan Kaufman, San Francisco, CA.
48. Mitchell T.M. Machine learning 1997, McGraw-Hill, New York.
49. Newell A. The knowledge level. Artificial Intelligence 1982, 18:87-127.
50. Ohlsson S. Restructuring revisited: Summary and critique of the Gestalt theory of problem solving. Scandinavian Journal of Psychology 1984, 25:65-78.
51. Olsson R. Inductive functional programming using incremental program transformation. Artificial Intelligence 1995, 74(1):55-83.
52. Plotkin G.D. A note on inductive generalization. Machine intelligence 1969, Vol. 5:153-163. Edinburgh University Press.
53. Quinlan J., Cameron-Jones R. Induction of logic programs: FOIL and related systems. New Generation Computing 1995, 13(3-4):287-312. [special issue on inductive logic programming].
54. Rosenbloom P.S., Newell A. The chunking of goal hierarchies: A generalized model of practice. Machine learning - An artificial intelligence approach 1986, Vol. 2:247-288. Morgan Kaufmann.
55. Sakakibara Y. Recent advances of grammatical inference. Theoretical Computer Science 1997, 185:15-45.
56. Schmid U. Inductive synthesis of functional programs - Learning domain-specific control rules and abstract schemes 2003, Springer, Heidelberg.
57. Schmid, U., Kitzelmann, E.,& Plameijer, R. (Eds). (2010). Approaches and applications of inductive programming third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers. Heidelberg: Springer.
58. Schmid U., Wysotzki F. Applying inductive programm synthesis to macro learning. Proc. 5th international conference on artificial intelligence planning and scheduling (AIPS 2000) 2000, 371-378. AAAI Press, Menlo Park, CA.
59. Shavlik J.W. Acquiring recursive and iterative concepts with explanation-based learning. Machine Learning 1990, 5:39-70.
60. Shell P., Carbonell J. Towards a general framework for composing disjunctive and iterative macro-operators. Proc. 11th international joint conference on artificial intelligence (IJCAI-89) 1989, Morgan Kaufman, Detroit, MI.
61. Simon H. Rational choice and the structure of the environment. Models of bounded rationality 1958, Vol. 2. MIT Press, Cambridge, MA.
62. Summers P.D. A methodology for LISP program construction from examples. Journal ACM 1977, 24(1):162-175.
63. Sun R. The importance of cognitive architectures: An analysis based on CLARION. Journal of Experimental and Theoretical Artificial Intelligence 2007, 19(2):159-193.
64. Tenenbaum J., Griffiths T., Kemp C. Theory-based Bayesian models of inductive learning and reasoning. Trends in Cognitive Sciences 2006, 10(7):309-318.
65. Tomasello M. Constructing a language: A usage-based theory of language acquisition 2003, Harvard University Press.
66. Veloso M.M., Carbonell J.G. Derivational analogy in Prodigy: Automating case acquisition, storage, and utilization. Machine Learning 1993, 10:249-278.
67. Welsh M.C., Huizinga M. Tower of Hanoi disk-transfer task: Influences of strategy knowledge and learning on performance. Learning and Individual Differences 2005, 15:283-298.