{"type":"ScholarlyArticle","title":"Dynamic logic of parallel propositional assignments and its applications to planning","authors":[{"name":"Andreas Herzig","slug":"andreas-herzig","given":"Andreas","family":"Herzig","affiliation":"IRIT-CNRS"},{"name":"Frédéric Maris","slug":"frederic-maris","given":"Frédéric","family":"Maris","affiliation":"IRIT-Univ. Toulouse"},{"name":"Julien Vianey","slug":"julien-vianey","given":"Julien","family":"Vianey","affiliation":"IRIT-Univ. Toulouse"}],"abstract":"We introduce a dynamic logic with parallel composition and two kinds of nondeterministic composition, exclusive and inclusive. We show PSPACE completeness of both the model checking and the satisfiability problem and apply our logic to sequential and parallel classical planning where actions have conditional effects.","doi":"10.24963/ijcai.2019/774","url":"https://ijcai.org/proceedings/2019/774","pdf":"https://ijcai.org/proceedings/2019/0774.pdf","markdown":"https://ijcai.org/proceedings/2019/774.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/774","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Planning and Scheduling","track":"Main track","number":774,"pages":{"first":5576,"last":5582},"keywords":["Planning and Scheduling: Theoretical Foundations of Planning","Knowledge Representation and Reasoning: Non-classical Logics for Knowledge Representation"],"videos":[],"references":[{"position":1,"raw":"[Andersen et al., 2012] Mikkel Birkegaard Andersen, Thomas Bolander, and Martin Holm Jensen. Conditional epistemic planning. In Logics in Artificial Intelligence - 13th European Conference, JELIA, pages 94-106, 2012.","title":"Conditional epistemic planning","authors":"Andersen","year":"2012","venue":"Logics in Artificial Intelligence -13th European Conference, JELIA","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Balbiani and Boudou, 2018] Philippe Balbiani and Joseph Boudou. Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. J. Log. Comput., 28(4):705-731, 2018.","title":"Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization","authors":"Boudou Balbiani, Philippe Balbiani, Joseph Boudou","year":"2018","venue":"J. Log. Comput","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Balbiani and Vakarelov, 2003] Philippe Balbiani and Dimiter Vakarelov. PDL with intersection of pro- grams: A complete axiomatization. Journal of Applied Non-Classical Logics, 13(3-4):231-276, 2003.","title":"PDL with intersection of programs: A complete axiomatization","authors":"Vakarelov Balbiani, Philippe Balbiani, Dimiter Vakarelov","year":"2003","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Balbiani et al., 2013] Philippe Balbiani, Andreas Herzig, and Nicolas Troquard. Dynamic logic of propositional as- signments: A well-behaved variant of PDL. In 28th An- nual ACM/IEEE Symposium on Logic in Computer Sci- ence, LICS 2013, New Orleans, LA, USA, June 25-28, 2013, pages 143-152, 2013.","title":"Dynamic logic of propositional assignments: A well-behaved variant of PDL","authors":"Philippe Balbiani, Andreas Herzig, Nicolas Troquard","year":"2013","venue":"28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Balbiani et al., 2014] Philippe Balbiani, Andreas Herzig, Franc ¸ois Schwarzentruber, and Nicolas Troquard. DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR, abs/1411.7825, 2014.","title":"DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE","authors":"Philippe Balbiani, Andreas Herzig, Franc ¸ois Schwarzentruber, Nicolas Troquard","year":"2014","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Benevides and Schechter, 2014] Mario R. F. Benevides and L. Menasché Schechter. Propositional dynamic logics for communicating concurrent programs with ccs's parallel operator. J. Log. Comput., 24(4):919-951, 2014.","title":"Propositional dynamic logics for communicating concurrent programs with ccs's parallel operator","authors":"R F Mario, L Menasché Benevides, Schechter","year":"2014","venue":"J. Log. Comput","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Benevides et al., 2011] Mario R. F. Benevides, Renata P. de Freitas, and Jorge Petrucio Viana. Propositional dy- namic logic with storing, recovering and parallel composi- tion. Electr. Notes Theor. Comput. Sci., 269:95-107, 2011.","title":"Propositional dynamic logic with storing, recovering and parallel composition","authors":"R F Mario, Renata P Benevides, Jorge Petrucio De Freitas, Viana","year":"2011","venue":"Electr. Notes Theor. Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Blum and Furst, 1997] Avrim Blum and Merrick L. Furst. Fast planning through planning graph analysis. Artif. In- tell., 90(1-2):281-300, 1997.","title":"Fast planning through planning graph analysis","authors":"Avrim Blum, Merrick L Furst","year":"1997","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Bolander et al., 2018] Thomas Bolander, Thorsten En- gesser, Robert Mattmüller, and Bernhard Nebel. Better ea- ger than lazy? how agent types impact the successfulness of implicit coordination. In Principles of Knowledge Rep- resentation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, pages 445-453, 2018.","title":"Better eager than lazy? how agent types impact the successfulness of implicit coordination","authors":"Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel","year":"2018","venue":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Bylander, 1994] Tom Bylander. The computational com- plexity of propositional STRIPS planning. Artif. Intell., 69(1-2):165-204, 1994.","title":"The computational complexity of propositional STRIPS planning","authors":"Tom Bylander","year":"1994","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Cong et al., 2018] Sébastien Lê Cong, Sophie Pinchinat, and Franc ¸ois Schwarzentruber. Small undecidable prob- lems in epistemic planning. In Proceedings of the Twenty- Seventh International Joint Conference on Artificial Intel- ligence, IJCAI 2018, pages 4780-4786, 2018.","title":"Small undecidable problems in epistemic planning","authors":"Sébastien Lê, Cong, Sophie Pinchinat, Franc, Schwarzentruber","year":"2018","venue":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018","doi":null,"url":null,"internal_url":"/proceedings/2018/664"},{"position":12,"raw":"[Cooper et al., 2016] Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, and Pierre Régnier. A simple account of multi-agent epistemic planning. In ECAI 2016 -22nd European Conference on Artificial In- telligence, 29 August-2 September 2016, The Hague, The Netherlands -Including Prestigious Applications of Artifi- cial Intelligence (PAIS 2016), pages 193-201, 2016.","title":"A simple account of multi-agent epistemic planning","authors":"Martin C Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier","year":"2016","venue":"The Netherlands -Including Prestigious Applications of Artificial Intelligence (PAIS 2016)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Dimopoulos et al., 1997] Y. Dimopoulos, B. Nebel, and J. Koehler. Encoding planning problems in nonmono- tonic logic programs. In Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings, pages 169- 181, 1997.","title":"Encoding planning problems in nonmonotonic logic programs","authors":"Y Dimopoulos, B Nebel, J Koehler","year":"1997","venue":"Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Goldblatt, 1992] Robert Goldblatt. Parallel action: Concur- rent dynamic logic with independent modalities. Studia Logica, 51(3/4):551-578, 1992.","title":"Parallel action: Concurrent dynamic logic with independent modalities","authors":"Robert Goldblatt","year":"1992","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Herzig et al., 2011] Andreas Herzig, Emiliano Lorini, Frédéric Moisan, and Nicolas Troquard. A dynamic logic of normative systems. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pages 228-233, 2011.","title":"A dynamic logic of normative systems","authors":"Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard","year":"2011","venue":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2011/49"},{"position":16,"raw":"[Herzig et al., 2014] Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, and Renata Wassermann. On the revision of planning tasks. In ECAI 2014 -21st European Conference on Artificial Intelligence, pages 435-440, 2014.","title":"On the revision of planning tasks","authors":"Andreas Herzig, Maria Viviane De Menezes, Leliane Nunes De Barros, Renata Wassermann","year":"2014","venue":"ECAI 2014 -21st European Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Herzig, 2014] Andreas Herzig. Belief change operations: A short history of nearly everything, told in dynamic logic of propositional assignments. In Principles of Knowledge Representation and Reasoning: Proceedings of the Four- teenth International Conference, KR 2014, Vienna, Aus- tria, July 20-24, 2014, 2014.","title":"Belief change operations: A short history of nearly everything, told in dynamic logic of propositional assignments","authors":"Andreas Herzig","year":"2014","venue":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Knoblock, 1994] Craig A. Knoblock. Generating parallel execution plans with a partial-order planner. In Proceed- ings of the Second International Conference on Artificial Intelligence Planning Systems, pages 98-103, 1994.","title":"Generating parallel execution plans with a partial-order planner","authors":"Craig A Knoblock","year":"1994","venue":"Proceedings of the Second International Conference on Artificial Intelligence Planning Systems","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Li et al., 2017] Yanjun Li, Quan Yu, and Yanjing Wang. More for free: a dynamic epistemic framework for confor- mant planning over transition systems. J. Log. Comput., 27(8):2383-2410, 2017.","title":"More for free: a dynamic epistemic framework for conformant planning over transition systems","authors":"Yanjun Li, Quan Yu, Yanjing Wang","year":"2017","venue":"J. Log. Comput","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Mayer and Stockmeyer, 1996] Alain J. Mayer and Larry J. Stockmeyer. The complexity of PDL with interleaving. Theor. Comput. Sci., 161(1&2):109-122, 1996.","title":"The complexity of PDL with interleaving","authors":"Alain J Mayer, Larry J Stockmeyer","year":"1996","venue":"Theor. Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Peleg, 1987] David Peleg. Concurrent dynamic logic. J. ACM, 34(2):450-479, 1987.","title":"Concurrent dynamic logic","authors":"David Peleg","year":"1987","venue":"J. ACM","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Spalazzi and Traverso, 2000] Luca Spalazzi and Paolo Traverso. A dynamic logic for acting, sensing, and planning. J. Log. Comput., 10(6):787-821, 2000.","title":"Luca Spalazzi and Paolo Traverso. A dynamic logic for acting, sensing, and planning","authors":"Traverso Spalazzi","year":"2000","venue":"J. Log. Comput","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Veloso et al., 2014] Paulo A. S. Veloso, Sheila R. M. Veloso, and Mario R. F. Benevides. PDL for structured data: a graph-calculus approach. Logic Journal of the IGPL, 22(5):737-757, 2014.","title":"PDL for structured data: a graph-calculus approach","authors":"A S Paulo, Veloso, R M Sheila, Mario R F Veloso, Benevides","year":"2014","venue":"Logic Journal of the IGPL","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}