Abstract
The paper presents a classical planning compilation for learning STRIPS action models from partial observations of plan executions. The compilation is flexible to different amounts and types of input knowledge, from learning samples that comprise partially observed intermediate states of the plan execution to samples in which only the initial and final states are observed. The compilation accepts also partially specified action models and it can be used to validate whether an observation of a plan execution follows a given STRIPS action model, even if the given model or the given observation is incomplete.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Diego Aineto, Sergio Jiménez, and Eva Onaindia. Learning STRIPS action models with classical planning. In International Conference on Automated Planning and Scheduling, (ICAPS-18), pages 399–407, 2018.
Eyal Amir and Allen Chang. Learning partially observable deterministic action models. Journal of Artificial Intelligence Research, 33:349–402, 2008.
Blai Bonet, Héctor Palacios, and Héctor Geffner. Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners. In International Conference on Automated Planning and Scheduling, (ICAPS-09). AAAI Press, 2009.
Stephen N Cresswell, Thomas L McCluskey, and Margaret M West. Acquiring planning domain models using LOCM. The Knowledge Engineering Review, 28(02):195–213, 2013.
Alan Fern, Sung Wook Yoon, and Robert Givan. Learning Domain-Specific Control Knowledge from Random Walks. In International Conference on Automated Planning and Scheduling, ICAPS-04, pages 191–199. AAAI Press, 2004.
Richard E Fikes and Nils J Nilsson. Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3–4):189–208, 1971.
Maria Fox and Derek Long. PDDL2.1: An extension to PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research, 20:61–124, 2003.
Guillem Francès, Miquel Ramírez, Nir Lipovetzky, and Hector Geffner. Purely declarative action descriptions are overrated: Classical planning with simulators. In International Joint Conference on Artificial Intelligence, (IJCAI-17), pages 4294–4301, 2017.
Hector Geffner and Blai Bonet. A Concise Introduction to Models and Methods for Automated Planning. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, 2013.
Malik Ghallab, Dana Nau, and Paolo Traverso. Automated Planning: theory and practice. Elsevier, 2004.
Jörg Hoffmann, Julie Porteous, and Laura Sebastia. Ordered landmarks in planning. Journal of Artificial Intelligence Research, 22:215–278, 2004.
Richard Howey, Derek Long, and Maria Fox. VAL: Automatic plan validation, continuous effects and mixed initiative planning using PDDL. In Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on, pages 294–301. IEEE, 2004.
Franc Ivankovic and Patrik Haslum. Optimal planning with axioms. In International Joint Conference on Artificial Intelligence, (IJCAI-15), pages 1580–1586, 2015.
Subbarao Kambhampati. Model-lite planning for the web age masses: The challenges of planning with incomplete and evolving domain models. In National Conference on Artificial Intelligence, (AAAI-07), 2007.
Jirí Kucera and Roman Barták. LOUGA: learning planning operators using genetic algorithms. In Pacific Rim Knowledge Acquisition Workshop, PKAW-18, pages 124–138, 2018.
Drew McDermott, Malik Ghallab, Adele Howe, Craig Knoblock, Ashwin Ram, Manuela Veloso, Daniel Weld, and David Wilkins. PDDL—The Planning Domain Definition Language, 1998.
Ryszard S Michalski, Jaime G Carbonell, and Tom M Mitchell. Machine learning: An artificial intelligence approach. Springer Science & Business Media, 2013.
Christian Muise. Planning.domains. ICAPS system demonstration, 2016.
Miquel Ramírez and Hector Geffner. Plan recognition as planning. In International Joint conference on Artificial Intelligence, (IJCAI-09), pages 1778–1783. AAAI Press, 2009.
Miquel Ramírez. Plan recognition as planning. PhD thesis, Universitat Pompeu Fabra, 2012.
Jussi Rintanen. Madagascar: Scalable planning with SAT. In International Planning Competition, (IPC-2014), 2014.
Javier Segovia-Aguas, Sergio Jiménez, and Anders Jonsson. Generating Context-Free Grammars using Classical Planning. In International Joint Conference on Artificial Intelligence, (IJCAI-17), pages 4391–4397. AAAI Press, 2017.
Javier Segovia-Aguas, Sergio Jiménez, and Anders Jonsson. Computing hierarchical finite state controllers with classical planning. Journal of Artificial Intelligence Research, 62:755–797, 2018.
Javier Segovia-Aguas, Sergio Jiménez Celorrio, and Anders Jonsson. Computing programs for generalized planning using a classical planner. Artificial Intelligence, 2019.
John Slaney and Sylvie Thiébaux. Blocks world revisited. Artificial Intelligence, 125(1–2):119–153, 2001.
Roni Stern and Brendan Juba. Efficient, safe, and probably approximately complete learning of action models. In International Joint Conference on Artificial Intelligence, (IJCAI-17), pages 4405–4411, 2017.
Qiang Yang, Kangheng Wu, and Yunfei Jiang. Learning action models from plan examples using weighted MAX-SAT. Artificial Intelligence, 171(2–3):107–143, 2007.
Hankz Hankui Zhuo, Tuan Anh Nguyen, and Subbarao Kambhampati. Refining incomplete planning domain models through plan traces. In International Joint Conference on Artificial Intelligence, IJCAI-13, pages 2451–2458, 2013.
Acknowledgements
This work is supported by the Spanish MINECO project TIN2017-88476-C2-1-R. Diego Aineto is partially supported by the FPU16/03184 and Sergio Jiménez by the RYC15/18009, both programs funded by the Spanish government.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Aineto, D., Jiménez, S., Onaindia, E. (2020). Explanation-Based Learning of Action Models. In: Vallati, M., Kitchin, D. (eds) Knowledge Engineering Tools and Techniques for AI Planning. Springer, Cham. https://doi.org/10.1007/978-3-030-38561-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-38561-3_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-38560-6
Online ISBN: 978-3-030-38561-3
eBook Packages: Computer ScienceComputer Science (R0)