{"type":"ScholarlyArticle","title":"Generating Context-Free Grammars using Classical Planning","authors":[{"name":"Javier Segovia-Aguas","slug":"javier-segovia-aguas","given":"Javier","family":"Segovia-Aguas","affiliation":"Universitat Pompeu Fabra , Barcelona , Spain"},{"name":"Sergio Jiménez","slug":"sergio-jimenez","given":"Sergio","family":"Jiménez","affiliation":"University of Melbourne , Parkville , Australia"},{"name":"Anders Jonsson","slug":"anders-jonsson","given":"Anders","family":"Jonsson","affiliation":"Universitat Pompeu Fabra , Barcelona , Spain"}],"abstract":"This paper presents a novel approach for generating Context-Free Grammars (CFGs) from small sets of input strings (a single input string in some cases). Our approach is to compile this task into a classical planning problem whose solutions are sequences of actions that build and validate a CFG compliant with the input strings. In addition, we show that our compilation is suitable for implementing the two canonical tasks for CFGs, string production and string recognition.","doi":"10.24963/ijcai.2017/613","url":"https://ijcai.org/proceedings/2017/613","pdf":"https://ijcai.org/proceedings/2017/0613.pdf","markdown":"https://ijcai.org/proceedings/2017/613.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/613","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Planning and Scheduling","track":"Main track","number":613,"pages":{"first":4391,"last":4397},"keywords":["Planning and Scheduling: Hierarchical planning","Planning and Scheduling: Applications of Planning"],"videos":[],"references":[{"position":1,"raw":"[Alford et al., 2009] Ronald Alford, Ugur Kuter, and Dana S Nau. Translating htns to pddl: A small amount of domain knowledge can go a long way. In IJCAI, pages 1629-1634, 2009.","title":"Translating htns to pddl: A small amount of domain knowledge can go a long way","authors":"Ronald Alford, Ugur Kuter, Dana S Nau","year":"2009","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2009/272"},{"position":2,"raw":"[Baier et al., 2007] Jorge A Baier, Christian Fritz, and Sheila A McIlraith. Exploiting procedural domain control knowledge in state-of-the-art planners. In ICAPS, pages 26-33, 2007.","title":"Exploiting procedural domain control knowledge in state-of-the-art planners","authors":"Jorge A Baier, Christian Fritz, Sheila A Mcilraith","year":"2007","venue":"ICAPS","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bonet et al., 2010] Blai Bonet, Hector Palacios, and Hector Geffner. Automatic derivation of finite-state machines for behavior control. In AAAI Conference on Artificial Intelli- gence, 2010.","title":"Automatic derivation of finite-state machines for behavior control","authors":"Blai Bonet, Hector Palacios, Hector Geffner","year":"2010","venue":"AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Chomsky, 2002] Noam Chomsky. Syntactic structures. Walter de Gruyter, 2002.","title":"Noam Chomsky. Syntactic structures","authors":"Chomsky","year":"2002","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[De la Higuera, 2010] Colin De la Higuera. Grammatical in- ference: learning automata and grammars. Cambridge University Press, 2010.","title":"Colin De la Higuera. Grammatical inference: learning automata and grammars","authors":"Higuera De La","year":"2010","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Gold, 1967] E Mark Gold. Language identification in the limit. Information and control, 10(5):447-474, 1967.","title":"Language identification in the limit","authors":"Mark Gold","year":"1967","venue":"Information and control","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Helmert, 2006] Malte Helmert. The Fast Downward Plan- ning System. Journal of Artificial Intelligence Research, 26:191-246, 2006.","title":"The Fast Downward Planning System","authors":"Malte Helmert","year":"2006","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Hogg et al., 2008] Chad Hogg, Héctor Munoz-Avila, and Ugur Kuter. Htn-maker: Learning htns with minimal ad- ditional knowledge engineering required. In AAAI, pages 950-956, 2008.","title":"Htn-maker: Learning htns with minimal additional knowledge engineering required","authors":"Hogg","year":"2008","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Jiménez and Jonsson, 2015] Sergio Jiménez and Anders Jonsson. Computing Plans with Control Flow and Pro- cedures Using a Classical Planner. In Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS-15, pages 62-69, 2015.","title":"Computing Plans with Control Flow and Procedures Using a Classical Planner","authors":"Jonsson Jiménez, Sergio Jiménez, Anders Jonsson","year":"2015","venue":"Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS-15","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Koller and Hoffmann, 2010] Alexander Koller and Jörg Hoffmann. Waking up a sleeping rabbit: On natural- language sentence generation with ff. In ICAPS, pages 238-241, 2010.","title":"Waking up a sleeping rabbit: On naturallanguage sentence generation with ff","authors":"Hoffmann Koller, Alexander Koller, Jörg Hoffmann","year":"2010","venue":"ICAPS","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Langley and Stromsten, 2000] Pat Langley and Sean Strom- sten. Learning context-free grammars with a simplic- ity bias. In European Conference on Machine Learning, pages 220-228. Springer, 2000.","title":"Learning context-free grammars with a simplicity bias","authors":"Pat Langley, Sean Stromsten","year":"2000","venue":"European Conference on Machine Learning","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Lotinac and Jonsson, 2016] Damir Lotinac and Anders Jon- sson. Constructing Hierarchical Task Models Using In- variance Analysis. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16), 2016.","title":"Damir Lotinac and Anders Jonsson. Constructing Hierarchical Task Models Using Invariance Analysis","authors":"Jonsson Lotinac","year":"2016","venue":"Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Lotinac et al., 2016] Damir Lotinac, Javier Segovia, Sergio Jiménez, and Anders Jonsson. Automatic generation of high-level state features for generalized planning. In IJ- CAI, 2016.","title":"Automatic generation of high-level state features for generalized planning","authors":"Damir Lotinac, Javier Segovia, Sergio Jiménez, Anders Jonsson","year":"2016","venue":"IJ-CAI","doi":null,"url":null,"internal_url":"/proceedings/2016/453"},{"position":14,"raw":"[Martín and Geffner, 2004] Mario Martín and Hector Geffner. Learning generalized policies from planning examples using concept languages. Appl. Intell, 20:9-19, 2004.","title":"Learning generalized policies from planning examples using concept languages","authors":"Geffner Martín, Mario Martín, Hector Geffner","year":"2004","venue":"Appl. Intell","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Muggleton et al., 2014] Stephen H Muggleton, Dianhuan Lin, Niels Pahlavi, and Alireza Tamaddoni-Nezhad. Meta- interpretive learning: application to grammatical infer- ence. Machine learning, 94(1):25-49, 2014.","title":"Metainterpretive learning: application to grammatical inference","authors":"Dianhuan Stephen H Muggleton, Niels Lin, Alireza Pahlavi, Tamaddoni-Nezhad","year":"2014","venue":"Machine learning","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Muggleton, 1999] Stephen Muggleton. Inductive logic pro- gramming: issues, results and the challenge of learning language in logic. Artificial Intelligence, 114(1):283-296, 1999.","title":"Inductive logic programming: issues, results and the challenge of learning language in logic","authors":"Stephen Muggleton","year":"1999","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Nau et al., 2003] Dana S Nau, Tsz-Chiu Au, Okhtay Il- ghami, Ugur Kuter, J William Murdock, Dan Wu, and Fusun Yaman. Shop2: An htn planning system. J. Artif. Intell. Res.(JAIR), 20:379-404, 2003.","title":"Shop2: An htn planning system","authors":"Tsz-Chiu Dana S Nau, Okhtay Au, Ugur Ilghami, William Kuter, Dan Murdock, Fusun Wu, Yaman","year":"2003","venue":"J. Artif. Intell. Res.(JAIR)","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Palacios and Geffner, 2009] Héctor Palacios and Héctor Geffner. Compiling uncertainty away in conformant plan- ning problems with bounded width. Journal of Artificial Intelligence Research, 35:623-675, 2009.","title":"Compiling uncertainty away in conformant planning problems with bounded width","authors":"Geffner Palacios, Héctor Palacios, Héctor Geffner","year":"2009","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Ramírez and Geffner, 2009] Miquel Ramírez and Hector Geffner. Plan recognition as planning. In IJCAI, pages 1778-1783, 2009.","title":"Plan recognition as planning","authors":"Geffner Ramírez, Miquel Ramírez, Hector Geffner","year":"2009","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2009/296"},{"position":20,"raw":"[Ramırez and Geffner, 2010] Miquel Ramırez and Hector Geffner. Probabilistic plan recognition using off-the-shelf classical planners. In Proceedings of the Conference of the Association for the Advancement of Artificial Intelligence (AAAI 2010), pages 1121-1126, 2010.","title":"Probabilistic plan recognition using off-the-shelf classical planners","authors":"Geffner Ramırez, Miquel Ramırez, Hector Geffner","year":"2010","venue":"Proceedings of the Conference of the Association for the Advancement of Artificial Intelligence (AAAI 2010)","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Ramirez and Geffner, 2016] Miquel Ramirez and Hector Geffner. Heuristics for planning, plan recognition and parsing. arXiv preprint arXiv:1605.05807, 2016.","title":"Heuristics for planning, plan recognition and parsing","authors":"Geffner Ramirez, Miquel Ramirez, Hector Geffner","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Ravi et al., 2005] Nishkam Ravi, Nikhil Dandekar, Preetham Mysore, and Michael L Littman. Activity recognition from accelerometer data. In AAAI, volume 5, pages 1541-1546, 2005.","title":"Activity recognition from accelerometer data","authors":"Nishkam Ravi, Nikhil Dandekar, Preetham Mysore, Michael L Littman","year":"2005","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Sakakibara, 1992] Yasubumi Sakakibara. Efficient learning of context-free grammars from positive structural exam- ples. Information and Computation, 97(1):23-60, 1992.","title":"Yasubumi Sakakibara. Efficient learning of context-free grammars from positive structural examples","authors":"Sakakibara","year":"1992","venue":"Information and Computation","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Schwenger et al., 2016] Maximilian Schwenger, Alvaro Torralba, Jörg Hoffmann, David M Howcroft, and Vera Demberg. From openccg to ai planning: Detecting infea- sible edges in sentence generation. In International Con- ference on Computational Linguistics, 2016.","title":"From openccg to ai planning: Detecting infeasible edges in sentence generation","authors":"Maximilian Schwenger, Alvaro Torralba, Jörg Hoffmann, David M Howcroft, Vera Demberg","year":"2016","venue":"International Conference on Computational Linguistics","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Segovia-Aguas et al., 2016a] Javier Segovia-Aguas, Sergio Jiménez, and Anders Jonsson. Generalized planning with procedural domain control knowledge. In ICAPS, 2016.","title":"Generalized planning with procedural domain control knowledge","authors":"Segovia-Aguas","year":"2016","venue":"ICAPS","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Segovia-Aguas et al., 2016b] Javier Segovia-Aguas, Sergio Jiménez, and Anders Jonsson. Hierarchical finite state controllers for generalized planning. In IJCAI, 2016.","title":"Hierarchical finite state controllers for generalized planning","authors":"Segovia-Aguas","year":"2016","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2016/458"},{"position":27,"raw":"[Vallati et al., 2015] Mauro Vallati, Lukáš Chrpa, Marek Grzes, Thomas L McCluskey, Mark Roberts, and Scott Sanner. The 2014 international planning competition: Progress and trends. AI Magazine, 36(3):90-98, 2015.","title":"The 2014 international planning competition: Progress and trends","authors":"Mauro Vallati, Lukáš Chrpa, Marek Grzes, Thomas L Mccluskey, Mark Roberts, Scott Sanner","year":"2015","venue":"AI Magazine","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Winner and Veloso, 2003] Elly Winner and Manuela Veloso. Distill: Learning domain-specific planners by example. In ICML, pages 800-807, 2003.","title":"Distill: Learning domain-specific planners by example","authors":"Veloso Winner, Elly Winner, Manuela Veloso","year":"2003","venue":"ICML","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}