Learning action models from plan examples with incomplete knowledge

ICAPS 2005 - Proceedings of the 15th International Conference on Automated Planning and Scheduling

Volumn , Issue , 2005, Pages 241-250

  Yang, Qiang ^a   Wu, Kangheng ^a,b   Jiang, Yunfei ^b  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

^b SUN YAT SEN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

INCOMPLETE KNOWLEDGE; INTERMEDIATE STATE; LEARNING PROBLEM; PROPOSITIONAL SATISFIABILITY; STATISTICAL DISTRIBUTION; THEORETICAL FOUNDATIONS; TIME-CONSUMING TASKS; TRAINING EXAMPLE;

ALGORITHMS;

EID: 34447128616     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Agrawal, R. and Srikant, R. 1994. Fast algorithms for mining association rules. In Proc. 20th VLDB, 487-499. Morgan Kaufmann.
2. Benson, S. 1995. Inductive learning of reactive action models. In International Conference on Machine Learning, 47-54. San Fracisco, CA: Morgan Kauffman.
3. Blythe, J.; Kim, J.; Ramachandran, S. and Gil, Y. 2001. An integrated environment for knowledge acquisition. In Intelligent User Interfaces, 13-20.
4. Borchers, B. and Furman, J. 1999. A two-phase exact algorithm for max-sat and weighted max-sat problems. Journal of Combinatorial Optimization 2(4):299-306.
5. Edelkamp, S. and Helmert, M. 2001. The model checking integrated planning system (mips). Al Magazine 22(3):67- 71.
6. Fikes, R. E. and Nilsson, N. J. 1971. Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2:189-208.
7. Fink, E. and Yang, Q. 1997. Automatically selecting and using primary effects in planning: Theory and experiments. Artificial Intelligence 89(l-2):285-315.
8. Garland, A., and Lesh, N. 2002. Plan evaluation with incomplete action descriptions. In Proceedings of the Eighteenth National Conference on AI (AAAl 2002), 461 - 467. Menlo Park, California: AAAI Press.
9. Ghallab, M.; Howe, A.; Knoblock, C.; McDermott, D.; Ram, A.; Veloso, M.; Weld, D. and Wilkins, D. Pddl- The planning domain definition language.
10. Gil, Y. 1994. Learning by experimentation: Incremental refinement of incomplete planning domains. In Eleventh Intl Confon Machine Learning, 87-95.
11. Kautz, H. and Selman, B. 1996. Pushing the envelope: Planning, propositional logic, and stochastic search. In Proceedings of the Thirteenth National Conference on AI (AAAI 96), 1194-1201. Menlo Park, California: AAAI Press.
12. Mc Cluskey, T. L.; Liu, D. and Simpson, R. 2003. Gipo ii: Htn planning in a tool-supported knowledge engineering environment. In The International Conference on Automated Planning and Scheduling (ICAPS03).
13. Moskewicz, M. W.; Madigan, C. F.; Zhao, Y.; Zhang, L. and Malik, S. 2001. Chaff: Engineering an Efficient SAT Solver. In Proceedings of the 38th Design Automation Conference (DAC'OI).
14. Oates, T. and Cohen, P. R. 1996. Searching for planning operators with context-dependent and probabilistic effects. In Proceedings of the Thirteenth National Conference on AI (AAAI 96), 865-868. Menlo Park, California: AAAI Press.
15. Sablon, G. and Bruynooghe, M. 1994. Using the event calculus to intetgrate planning and learning in an intelligent autonomous agent. In Current Trends in AI Planning, 254 - 265. IOS Press.
16. Shen, W. 1994. Autonomous Learning from the Environment. Computer Science Press, W.H. Freeman and Company.
17. Wang, X. 1995. Learning by observation and practice: An incremental approach for planning operator acquisition. In International Conference on Machine Learning, 549-557.
18. Winner, E. and Veloso, M. 2002. Analyzing plans with conditional effects. In Proceedings of the Sixth International Conference on AI Planning and Scheduling (AIPS- 2002).
19. Yin, J.; Chai, X. Y.; and Yang, Q. 2004. High-level goal recognition in a wireless lan. In Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI04), 578-583.
20. Zhang, H. 1997. SATO: An efficient propositional prover. In Proceedings of the International Conference on Automated Deduction (CADE'97), volume 1249 ofLNAI, Ill- US.