Learning complex action models with quantifiers and logical implications

Artificial Intelligence

Volumn 174, Issue 18, 2010, Pages 1540-1569

  Zhuo, Hankz Hankui ^a,b   Yang, Qiang ^b   Hu, Derek Hao ^b   Li, Lei ^a  

^a SUN YAT SEN UNIVERSITY   (China)

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

Author keywords

Action model learning; Automated planning; Knowledge engineering; Machine learning

Indexed keywords

ACTION MODELS; AUTOMATED PLANNING; COMPLEX ACTIONS; DOMAIN EXPERTS; ENGINEERING APPLICATIONS; EXISTENTIAL QUANTIFIERS; INTERMEDIATE STATE; LOGICAL IMPLICATIONS; MACHINE-LEARNING; MARKOV LOGIC NETWORKS; NOVEL ALGORITHM; PLANNING DOMAIN DEFINITION LANGUAGE; PLANNING DOMAINS; REAL-WORLD; REAL-WORLD APPLICATION; SOFTWARE REQUIREMENTS; TIME-CONSUMING TASKS; UNDERLYING MECHANISM; USER STUDY;

ALGORITHMS; AUTOMATION; KNOWLEDGE ENGINEERING; LEARNING SYSTEMS; REQUIREMENTS ENGINEERING;

ENGINEERING EDUCATION;

EID: 78049307952     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2010.09.007     Document Type: Article

References (60)

1. Eyal Amir, Learning partially observable deterministic action models, in: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), 2005, pp. 1433-1439.
2. Scott Benson, Inductive learning of reactive action models, in: Proceedings of the Twelfth International Conference on Machine Learning (ICML 1995), 1995, pp. 47-54.
3. Julian Besag Statistical analysis of non-lattice data The Statistician 24 1975 179 195
4. Jim Blythe, Jihie Kim, Surya Ramachandran, Yolanda Gil, An integrated environment for knowledge acquisition, in: Proceedings of the Sixth International Conference on Intelligent User Interfaces (IUI 2001), 2001, pp. 13-20.
5. Brian Borchers, and Judith Furman A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems Journal of Combinatorial Optimization 2 4 1998 299 306
6. Lonnie Chrisman, Abstract probabilistic modeling of action, in: Proceedings of the First International Conference on Artificial Intelligence Planning Systems (AIPS 1992), 1992, pp. 28-36.
7. Pedro Domingos Mining Social networks for viral marketing IEEE Intelligent Systems 20 1 2005 80 82
8. Pedro Domingos Toward knowledge-rich data mining Data Mining and Knowledge Discovery 15 2007 21 28
9. Pedro Domingos, Stanley Kok, Hoifung Poon, Matthew Richardson, Parag Singla, Unifying logical and statistical AI, in: Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI 2006), 2006, pp. 2-7.
10. Richard Fikes, and Nils J. Nilsson STRIPS: a new approach to the application of theorem proving to problem solving Artificial Intelligence 2 3/4 1971 189 208
11. Maria Fox, and Derek Long PDDL2.1: an extension to PDDL for expressing temporal planning domains Journal of Artificial Intelligence Research (JAIR) 20 2003 61 124
12. Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbrock, Decision-theoretic user interface generation, in: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI 2008), 2008, pp. 1532-1536.
13. Malik Ghallab, Adele Howe, Craig Knoblock, Drew McDermott, Ashwin Ram, Manuela Veloso, Daniel Weld, and David Wilkins PDDL-the planning domain definition language http://www.informatik.uni-ulm.de/ki/Edu/Vorlesungen/GdKI/ WS0203/pddl.pdf 1998
14. Malik Ghallab, Dana Nau, and Paolo Traverso Automated Planning: Theory and Practice 2004 Morgan Kaufmann
15. Yolanda Gil, Learning by experimentation: incremental refinement of incomplete planning domains, in: Proceedings of the Eleventh International Conference on Machine Learning (ICML 1994), 1994, pp. 87-95.
16. Thomas Hernandez, and Subbarao Kambhampati Integration of biological sources: current systems and challenges ahead SIGMOD Record 33 3 2004 51 60
17. Jorg Hoffmann, Piergiorgio Bertoli, Marco Pistore, Web service composition as planning revisited: in between background theories and initial state uncertainty, in: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007), 2007, pp. 1013-1018.
18. Michael P. Holmes, Charles Lee Isbell Jr., Schema learning: experience-based construction of predictive action models, in: Advances in Neural Information Processing Systems, vol. 17 (NIPS 2004), 2004.
19. Derek Hao Hu, Qiang Yang, CIGAR: concurrent and interleaving goal and activity recognition, in: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI 2008), 2008, pp. 1363-1368.
20. Tuyen N. Huynh, Raymond J. Mooney, Discriminative structure and parameter learning for Markov logic networks, in: Proceedings of the Twenty-Fifth International Conference on Machine Learning (ICML 2008), 2008, pp. 416-423.
21. Stanley Kok, Pedro Domingos, Learning the structure of Markov logic networks, in: Proceedings of the Twenty-Second International Conference on Machine Learning (ICML 2005), 2005, pp. 441-448. (Pubitemid 43183364)
22. Stanley Kok, Pedro Domingos, Extracting semantic networks from text via relational clustering, in: Proceedings of the Nineteenth European Conference on Machine Learning (ECML 2008), 2008, pp. 624-639.
23. Stanley Kok, Parag Singla, Matthew Richardson, and Pedro Domingos The Alchemy System for Statistical Relational AI 2005 University of Washington Seattle
24. Ugur Kuter, Evren Sirin, Bijan Parsia, Dana Nau, and James Hendler Information gathering during planning for Web Service composition Journal of Web Semantics (JWS) 3 2-3 2005 183 205
25. Hector J. Levesque, Fiora Pirri, and Raymond Reiter Foundations for the situation calculus Electronic Transactions on Artificial Intelligence 2 1998 159 178
26. Dong C. Liu, and Jorge Nocedal On the limited memory BFGS method for large scale optimization Mathematical Programming 45 1989 503 528
27. Daniel Lowd, Pedro Domingos, Efficient weight learning for Markov logic networks, in: Proceedings of the Eleventh European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007), 2007, pp. 200-211.
28. Lilyana Mihalkova, Raymond J. Mooney, Bottom-up learning of Markov logic network structure, in: Proceedings of the Twenty-Fourth International Conference on Machine Learning (ICML 2007), 2007, pp. 625-632.
29. Stephen Muggleton, and Luc De Raedt Inductive logic programming: theory and methods Journal of Logic Programming 19/20 1994 629 679
30. Megan Nance, Adam Vogel, Eyal Amir, Reasoning about partially observed actions, in: Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI 2006), 2006, pp. 888-893.
31. Tim Oates, Paul R. Cohen, Searching for planning operators with context-dependent and probabilistic effects, in: Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI 1996), 1996, pp. 865-868.
32. Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling, Learning probabilistic relational planning rules, in: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004, pp. 73-82.
33. Hanna M. Pasula, Luke S. Zettlemoyer, and Leslie Pack Kaelbling Learning symbolic models of stochastic domains Journal of Artificial Intelligence Research 29 2007 309 352
34. Hoifung Poon, Pedro Domingos, Joint inference in information extraction, in: Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007), 2007, pp. 913-918.
35. Matthew Richardson, and Pedro Domingos Markov logic networks Machine Learning 62 1-2 2006 107 136
36. Gunther Sablon, Maurice Bruynooghe, Using the event calculus to integrate planning and learning in an intelligent autonomous agent, in: Current Trends in AI Planning, 1994, pp. 254-265.
37. Matthew D. Schmill, Tim Oates, Paul R. Cohen, Learning planning operators in real-world, partially observable environments, in: Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems (AIPS 2000), 2000, pp. 246-253.
38. Shahaf Dafna, Eyal Amir, Learning partially observable action schemas, in: Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI 2006), 2006, pp. 913-919.
39. Shahaf Dafna, Allen Chang, Eyal Amir, Learning partially observable action models: efficient algorithms, in: Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI 2006), 2006, pp. 920-926.
40. Parag Singla, Pedro Domingos, Entity resolution with Markov logic, in: Proceedings of the Sixth IEEE International Conference on Data Mining (ICDM 2006), 2006, pp. 572-582.
41. Parag Singla, Pedro Domingos, Markov logic in infinite domains, in: Proceedings of the Twenty-Third Conference on Uncertainty in Artificial Intelligence (UAI 2007), 2007, pp. 368-375.
42. Thomas J. Walsh, Michael L. Littman, Efficient learning of action schemas and web-service descriptions, in: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI 2008), 2008, pp. 714-719.
43. Jue Wang, Pedro Domingos, Hybrid Markov logic networks, in: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI 2008), 2008, pp. 1106-1111.
44. Stephen Cresswell, Thomas Leo McCluskey, Margaret Mary West, Acquisition of object-centred domain models from planning examples, in: Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS 2009), 2009.
45. Ron M. Simpson, Diane E. Kitchin, and T.L. McCluskey Planning domain definition using GIPO Knowledge Engineering Review 22 2 2007 117 134
46. T.L. McCluskey, Donghong Liu, Ron M. Simpson, GIPO II: HTN planning in a tool-supported knowledge engineering environment, in: Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003, pp. 92-101.
47. Elly Winner, Manuela Veloso, Analyzing plans with condition effects, in: Proceedings of the Sixth International Conference on AI Planning and Scheduling (AIPS 2002), 2002.
48. Tessa Lau, Pedro Domingos, and Daniel S. Weld Version space algebra and its application to programming by demonstration Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000) 2000 Morgan Kaufmann San Francisco, CA 527 534
49. R.M. Simpson, T.L. McCluskey, W. Zhao, R.S. Aylett, and C. Doniat GIPO: an integrated graphical tool to support knowledge engineering in AI planning Proceedings of the European Conference on Planning September 2001 Toledo Spain
50. Xuemei Wang, Learning by observation and practice: an incremental approach for planning operator acquisition, in: Proceedings of the Twelfth International Conference on Machine Learning (ICML 1995), 1995, pp. 549-557.
51. Qiang Yang, Wu Kangheng, Yunfei Jiang, Learning action models from plan examples with incomplete knowledge, in: Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005, pp. 241-250.
52. Qiang Yang, Wu Kangheng, and Yunfei Jiang Learning action models from plan examples using weighted MAX-SAT Artificial Intelligence 171 2-3 2007 107 143
53. Zhuo Hankui, Qiang Yang, Lei Li, Transfer learning action models by measuring the similarity of different domains, in: Proceedings of the Thirteenth Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2009), 2009, pp. 697-704.
54. Zhuo Hankui, Qiang Yang, Lei Li, Transferring knowledge from another domain for learning action models, in: Proceedings of the Tenth Pacific Rim International Conference on Artificial Intelligence (PRICAI 2008), 2008, pp. 1110-1115.
55. Zhuo Hankz Hankui, Derek Hao Hu, Chad Hogg, Qiang Yang, Hector Munoz-Avila, Learning HTN method preconditions and action models from partial observations, in: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2009), 2009, pp. 1804-1810.
56. Qiang Yang, Activity recognition: linking low-level sensors to high-level intelligence, in: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2009), 2009, pp. 20-25.
57. Martin Gudgin, Marc Hadley, Noah Mendelsohn, Jean-Jacques Moreau, Henrik Frystyk Nielsen, Anish Karmarkar, and Yves Lafon SOAP Version 1.2 http://www.w3.org/TR/soap12-part1/
58. Zhuo Hankui, Lei Li, Qiang Yang, Rui Bian, Learning action models with quantified conditional effects for software requirement specification, in: Proceedings of the Fourth International Conference on Intelligent Computing (ICIC 2008), 2008, pp. 874-881.
59. Dana Nau, Au Tsz-Chiu, Okhtay Ilghami, Ugur Kuter, Hector Munoz-Avila, J. William Murdock, Dan Wu, and Fusun Yaman Applications of SHOP and SHOP2 IEEE Intelligent Systems 2005 34 41
60. Jie Yin, Xiaoyong Chai, Qiang Yang, High-level goal recognition in a wireless LAN, in: Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI 2004), 2004, pp. 578-584.