Skip to main content
Erschienen in:
Buchtitelbild

2020 | OriginalPaper | Buchkapitel

1. Explanation-Based Learning of Action Models

verfasst von : Diego Aineto, Sergio Jiménez, Eva Onaindia

Erschienen in: Knowledge Engineering Tools and Techniques for AI Planning

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat 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. 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.
2.
Zurück zum Zitat Eyal Amir and Allen Chang. Learning partially observable deterministic action models. Journal of Artificial Intelligence Research, 33:349–402, 2008.MathSciNetCrossRef Eyal Amir and Allen Chang. Learning partially observable deterministic action models. Journal of Artificial Intelligence Research, 33:349–402, 2008.MathSciNetCrossRef
3.
Zurück zum Zitat 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. 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.
4.
Zurück zum Zitat 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. 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.
5.
Zurück zum Zitat 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. 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.
6.
Zurück zum Zitat 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. 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.
7.
Zurück zum Zitat 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. 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.
8.
Zurück zum Zitat 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. 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.
9.
Zurück zum Zitat 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.CrossRef 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.CrossRef
10.
Zurück zum Zitat Malik Ghallab, Dana Nau, and Paolo Traverso. Automated Planning: theory and practice. Elsevier, 2004. Malik Ghallab, Dana Nau, and Paolo Traverso. Automated Planning: theory and practice. Elsevier, 2004.
11.
Zurück zum Zitat Jörg Hoffmann, Julie Porteous, and Laura Sebastia. Ordered landmarks in planning. Journal of Artificial Intelligence Research, 22:215–278, 2004.MathSciNetCrossRef Jörg Hoffmann, Julie Porteous, and Laura Sebastia. Ordered landmarks in planning. Journal of Artificial Intelligence Research, 22:215–278, 2004.MathSciNetCrossRef
12.
Zurück zum Zitat 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. 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.
13.
Zurück zum Zitat Franc Ivankovic and Patrik Haslum. Optimal planning with axioms. In International Joint Conference on Artificial Intelligence, (IJCAI-15), pages 1580–1586, 2015. Franc Ivankovic and Patrik Haslum. Optimal planning with axioms. In International Joint Conference on Artificial Intelligence, (IJCAI-15), pages 1580–1586, 2015.
14.
Zurück zum Zitat 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. 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.
15.
Zurück zum Zitat 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. 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.
16.
Zurück zum Zitat Drew McDermott, Malik Ghallab, Adele Howe, Craig Knoblock, Ashwin Ram, Manuela Veloso, Daniel Weld, and David Wilkins. PDDL—The Planning Domain Definition Language, 1998. Drew McDermott, Malik Ghallab, Adele Howe, Craig Knoblock, Ashwin Ram, Manuela Veloso, Daniel Weld, and David Wilkins. PDDL—The Planning Domain Definition Language, 1998.
17.
Zurück zum Zitat Ryszard S Michalski, Jaime G Carbonell, and Tom M Mitchell. Machine learning: An artificial intelligence approach. Springer Science & Business Media, 2013. Ryszard S Michalski, Jaime G Carbonell, and Tom M Mitchell. Machine learning: An artificial intelligence approach. Springer Science & Business Media, 2013.
18.
Zurück zum Zitat Christian Muise. Planning.domains. ICAPS system demonstration, 2016. Christian Muise. Planning.domains. ICAPS system demonstration, 2016.
19.
Zurück zum Zitat 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 and Hector Geffner. Plan recognition as planning. In International Joint conference on Artificial Intelligence, (IJCAI-09), pages 1778–1783. AAAI Press, 2009.
20.
Zurück zum Zitat Miquel Ramírez. Plan recognition as planning. PhD thesis, Universitat Pompeu Fabra, 2012. Miquel Ramírez. Plan recognition as planning. PhD thesis, Universitat Pompeu Fabra, 2012.
21.
Zurück zum Zitat Jussi Rintanen. Madagascar: Scalable planning with SAT. In International Planning Competition, (IPC-2014), 2014. Jussi Rintanen. Madagascar: Scalable planning with SAT. In International Planning Competition, (IPC-2014), 2014.
22.
Zurück zum Zitat 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. Generating Context-Free Grammars using Classical Planning. In International Joint Conference on Artificial Intelligence, (IJCAI-17), pages 4391–4397. AAAI Press, 2017.
23.
Zurück zum Zitat 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.MathSciNetCrossRef 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.MathSciNetCrossRef
24.
Zurück zum Zitat Javier Segovia-Aguas, Sergio Jiménez Celorrio, and Anders Jonsson. Computing programs for generalized planning using a classical planner. Artificial Intelligence, 2019. Javier Segovia-Aguas, Sergio Jiménez Celorrio, and Anders Jonsson. Computing programs for generalized planning using a classical planner. Artificial Intelligence, 2019.
25.
Zurück zum Zitat John Slaney and Sylvie Thiébaux. Blocks world revisited. Artificial Intelligence, 125(1–2):119–153, 2001.MathSciNetCrossRef John Slaney and Sylvie Thiébaux. Blocks world revisited. Artificial Intelligence, 125(1–2):119–153, 2001.MathSciNetCrossRef
26.
Zurück zum Zitat 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. 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.
27.
Zurück zum Zitat 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.MathSciNetCrossRef 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.MathSciNetCrossRef
28.
Zurück zum Zitat 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. 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.
Metadaten
Titel
Explanation-Based Learning of Action Models
verfasst von
Diego Aineto
Sergio Jiménez
Eva Onaindia
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-38561-3_1