Abstract
We describe a new approach for learning procedural knowledge represented as teleoreactive logic programs using relational behavior traces as input. This representation organizes task decomposition skills hierarchically and associate explicitly defined goals with them. Our approach integrates analytical learning with inductive generalization in order to learn these skills. The analytical component predicts the goal dependencies in a successful solution and generates a teleoreactive logic program that can solve similar problems by determining the structure of the skill hierarchy and skill applicability conditions (preconditions), which may be overgeneral. The inductive component experiments with these skills on new problems and uses the data collected in this process to refine the preconditions. Our system achieves this by converting the data collected during the problem solving experiments into the positive and negative examples of preconditions that can be learned with a standard Inductive Logic Programming system. We show that this conversion uses one of the main commitments of teleoreactive logic programs: associating all skills with explicitly defined goals. We claim that our approach uses less expert effort compared to a purely inductive approach and performs better compared to a purely analytical approach.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Choi, D., Langley, P.: Learning teleoreactive logic programs from problem solving. In: ILP 2005. LNCS (LNAI), vol. 3625, pp. 51–68. Springer, Heidelberg (2005)
Sammut, C., Hurst, S., Kedzier, D., Michie, D.: Learning to fly. In: Sleeman, D., Edwards, P. (eds.) Proceedings of the 9th International Conference on Machine Learning, pp. 385–393 (1992)
Isaac, A., Sammut, C.: Goal-directed learning to fly. In: Fawcett, T., Mishra, N. (eds.) Proceedings of the 20th International Conference on Machine Learning (2003)
Könik, T., Laird, J.E.: Learning goal hierarchies from structured observations and expert annotations. Machine Learning 64, 263–287 (2006)
Nejati, N., Langley, P., Könik, T.: Learning hierarchical task networks by observation. In: Proceedings of the Twenty-Third International Conference on Machine Learning (2006)
Genesereth, M.R., Love, N., Pell, B.: General game playing overview of the aaai competition. AI Magazine 26, 62–72 (2005)
Erol, K., Hendler, J., Nau, D.S.: HTN planning: Complexity and expressivity. In: Procceedings of the Nineteenth National Conference on Artificial Intelligence (1994)
Nau, D., Au, T.C., Ilghami, O., Kuter, U., Murdock, W., Wu, D., Yaman, F.: SHOP2: An HTN planning system. Journal of Artificial Intelligence Research 20, 379–404 (2003)
Waisbrot, N., Kuter, U., Könik, T.: Combining heuristic search with hierarchical task-network planning: A preliminary report. In: Proceedings of the 21st International Florida Artificial Intelligence Research Society Conference (2008)
Nejati, N., Könik, T., Kuter, U.: A goal and dependency-driven algorithm for learning hierarchical task networks. In: Procceedings of the Fifth International Conference on Knowledge Capture, pp. 113–120. ACM, New York (2009)
Dejong, G., Mooney, R.: Explanation-based learning: An alternative view. Machine Learning 1(2), 145–176 (1986)
Srinivasan, A.: The Aleph Manual, http://www.comlab.ox.ac.uk/activities/machinelearning/Aleph/aleph.html
Sleeman, D., Langley, P., Mitchell, T.M.: Learning from solution paths: An approach to the credit assignment problem. AI Magazine 3(2) (1982)
Segre, A.M.: ARMS: Acquiring robotic assembly plans. In: De Jong, G. (ed.) Investigating Explanation-Based Learning. Kluwer, Boston (1993)
Mooney, R.J., Zelle, J.M.: Integrating ILP and EBL. SIGART Bulletin 5, 12–21 (1994)
Estlin, T.A., Mooney, R.J.: Integrating EBL and ILP to acquire control rules for planning. In: Proceedings of the 3rd International Workshop on Multi-Strategy Learning, pp. 271–279 (1996)
Reddy, C., Tadepalli, P.: Learning goal-decomposition rules using exercises. In: Proceedings of the 14th International Conference on Machine Learning (1997)
Hogg, C., Muñoz Avila, H., Kuter, U.: HTN-MAKER: Learning HTNs with minimal additional knowledge engineering required. In: Proceedings of the 23rd AAAI Conference on Artificial Intelligence, pp. 950–956. AAAI Press, Menlo Park (2008)
Ilghami, O., Muñoz Avila, H., Nau, D., Aha, D.: Learning approximate preconditions for methods in hierarchical plans. In: Proceedings of the 22nd International Conference on Machine Learning, Bonn, Germany (2005)
Khardon, R.: Learning action strategies for planning domains. Artificial Intelligence 113, 125–148 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Könik, T., Nejati, N., Kuter, U. (2010). Inductive Generalization of Analytically Learned Goal Hierarchies. In: De Raedt, L. (eds) Inductive Logic Programming. ILP 2009. Lecture Notes in Computer Science(), vol 5989. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13840-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-13840-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13839-3
Online ISBN: 978-3-642-13840-9
eBook Packages: Computer ScienceComputer Science (R0)