{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,26]],"date-time":"2022-10-26T04:54:35Z","timestamp":1666760075164},"reference-count":40,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2022,2,22]],"date-time":"2022-02-22T00:00:00Z","timestamp":1645488000000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,20]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Humans can make a plan by refining abstract actions. Dynamic logic, which enables reasoning about the dynamics of actions, does not support this form of planning. This paper investigates the extension of dynamic logic with a refinement relation that specifies how an abstract action can be refined into a more specific (composite) action. The paper investigates the properties of the refinement relation, the derivation of the refinement relation and a proof system based on a prefixed-tableau.<\/jats:p>","DOI":"10.1093\/logcom\/exac003","type":"journal-article","created":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T12:15:01Z","timestamp":1643285701000},"page":"1317-1351","source":"Crossref","is-referenced-by-count":0,"title":["Extending dynamic logic with refinements of abstract actions"],"prefix":"10.1093","volume":"32","author":[{"given":"Nico","family":"Roos","sequence":"first","affiliation":[{"name":"Maastricht University , Data Science and Knowledge Engineering, P.O. Box 616, 6200 MD Maastricht, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2022,2,21]]},"reference":[{"key":"2022102505283711700_ref1","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","article-title":"Representation, reasoning, and relational structures: A hybrid logic manifesto","volume":"8","author":"Blackburn","year":"2000","journal-title":"Logic Journal of the IGPL"},{"key":"2022102505283711700_ref2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"2022102505283711700_ref3","volume-title":"Intention, Plans, and Practical Reason","author":"Bratman","year":"1987"},{"key":"2022102505283711700_ref4","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1093\/logcom\/9.5.701","article-title":"Formalizing action and change in modal logic I: The frame problem","volume":"9","author":"Castilho","year":"1999","journal-title":"Journal of Logic and Computation"},{"key":"2022102505283711700_ref5","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","article-title":"Intention is choice with commitment","volume":"42","author":"Cohen","year":"1990","journal-title":"Artificial Intelligence"},{"key":"2022102505283711700_ref6","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-3-642-54432-3_11","article-title":"A survey of multi-agent programming languages and frameworks","volume-title":"Agent-Oriented Software Engineering\u2014Reflections on Architectures, Methodologies, Languages, and Frameworks","author":"Dastani","year":"2014"},{"key":"2022102505283711700_ref7","first-page":"123","article-title":"Grammar logics","volume":"31","author":"del Cerro","year":"1988","journal-title":"Logique et Analyse"},{"key":"2022102505283711700_ref8","doi-asserted-by":"crossref","first-page":"165","DOI":"10.3166\/jancl.13.165-185","article-title":"Regression in modal logic","volume":"13","author":"Demolombe","year":"2003","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2022102505283711700_ref9","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1093\/logcom\/11.6.933","article-title":"The complexity of regularity in grammar logics and related modal logics","volume":"11","author":"Demri","year":"2001","journal-title":"Journal of Logic and Computation"},{"key":"2022102505283711700_ref10","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"Strips: A new approach to the application of theorem proving to problem solving","volume":"2","author":"Fikes","year":"1971","journal-title":"Artificial Intelligence"},{"key":"2022102505283711700_ref11","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","article-title":"Propositional dynamic logic of regular programs","volume":"18","author":"Fischer","year":"1979","journal-title":"Journal of Computer and System Sciences"},{"key":"2022102505283711700_ref12","first-page":"1955","article-title":"On the decidability of HTN planning with task insertion","volume-title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence\u2014Volume Three, IJCAI\u201911","author":"Geier","year":"2011"},{"key":"2022102505283711700_ref13","volume-title":"Automated Planning","author":"Ghallab","year":"2004"},{"key":"2022102505283711700_ref14","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/3-540-61511-3_117","article-title":"Tableaux and algorithms for propositional dynamic logic with converse","volume-title":"Proceedings of the 13th International Conference on Automated Deduction, CADE-13","author":"De Giacomo","year":"1996"},{"key":"2022102505283711700_ref15","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1006\/inco.1999.2852","article-title":"Combining deduction and model checking into tableaux and algorithms for converse-PDL","volume":"162","author":"De Giacomo","year":"2002","journal-title":"Information and Computation"},{"key":"2022102505283711700_ref16","first-page":"225","article-title":"Optimal and cut-free tableaux for propositional dynamic logic with converse","volume-title":"Automated Reasoning, 5th International Joint Conference, IJCAR 2010","author":"Gor\u00e9","year":"2010"},{"key":"2022102505283711700_ref17","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s13218-016-0457-5","article-title":"BDI logics for BDI architectures: Old problems, new perspectives","volume":"31","author":"Herzig","year":"2017","journal-title":"K\u00fcnstliche Intelligenz"},{"key":"2022102505283711700_ref18","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/978-3-319-48758-8_38","article-title":"On hierarchical task networks","volume-title":"Logics in Artificial Intelligence: 15th European Conference, JELIA 2016","author":"Herzig","year":"2016"},{"key":"2022102505283711700_ref19","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","article-title":"A description logic with transitive and inverse roles and role hierarchies","volume":"9","author":"Horrocks","year":"1999","journal-title":"Journal of Logic and Computation"},{"key":"2022102505283711700_ref20","first-page":"63","article-title":"A comparison of solvers for propositional dynamic logic","volume-title":"Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010","author":"Hustadt","year":"2010"},{"key":"2022102505283711700_ref21","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/s10849-009-9117-6","article-title":"The situation calculus: A case for modal logic","volume":"19","author":"Lakemeyer","year":"2010","journal-title":"Journal of Logic, Language and Information"},{"key":"2022102505283711700_ref22","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","article-title":"All I know: A study in autoepistemic logic","volume":"42","author":"Levesque","year":"1990","journal-title":"Artificial Intelligence"},{"key":"2022102505283711700_ref23","first-page":"9","article-title":"Languages for programming BDI-style agents: An overview","volume-title":"WOA 2005: Dagli Oggetti Agli Agenti. 6th AI*IA\/TABOO Joint Workshop \u201cFrom Objects to Agents\u201d: Simulation and Formal Analysis of Complex Systems","author":"Mascardi","year":"2005"},{"key":"2022102505283711700_ref24","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1023\/A:1006155811656","article-title":"Single step tableaux for modal logics: Computational properties, complexity and methodology","volume":"24","author":"Massacci","year":"2000","journal-title":"Journal of Automated Reasoning"},{"key":"2022102505283711700_ref25","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume-title":"Machine Intelligence","author":"McCarthy","year":"1969"},{"key":"2022102505283711700_ref26","first-page":"453","article-title":"BDI logics","volume-title":"Handbook of Logics of Knowledge and Belief","author":"Meyer","year":"2015"},{"key":"2022102505283711700_ref27","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantical considerations on nonmonotonic logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artificial Intelligence"},{"key":"2022102505283711700_ref28","first-page":"207","article-title":"An optimal tableau decision procedure for Converse-PDL","volume-title":"Proceedings of KSE\u20192009","author":"Nguyen","year":"2009"},{"key":"2022102505283711700_ref29","first-page":"324","article-title":"ADL: Exploring the middle ground between STRIPS and the situation calculus","volume-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning","author":"Pednault","year":"1989"},{"key":"2022102505283711700_ref30","first-page":"109","article-title":"Semantical considerations on Floyd\u2013Hoare logic","volume-title":"Proceedings of the 17th IEEE Symposium on Foundations of Computer Science","author":"Pratt","year":"1976"},{"key":"2022102505283711700_ref31","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.knosys.2017.06.036","article-title":"Hierarchical task network planning with resources and temporal constraints","volume":"133","author":"Qi","year":"2017","journal-title":"Knowledge-Based Systems"},{"key":"2022102505283711700_ref32","first-page":"42","article-title":"Agentspeak(L): BDI agents speak out in a logical computable language","volume-title":"MAAMAW","author":"Rao","year":"1996"},{"key":"2022102505283711700_ref33","first-page":"473","article-title":"Modeling Rational Agents within a BDI-Architecture","volume-title":"Proceedings of the Second International Conference op Principles of Knowledge Representation and Reasoning (KR),","author":"Rao","year":"1991"},{"key":"2022102505283711700_ref34","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter","year":"2001"},{"key":"2022102505283711700_ref35","first-page":"771","article-title":"Semantics of behavior","volume-title":"European Conference on Artificial Intelligence (ECAI)","author":"Roos","year":"2014"},{"key":"2022102505283711700_ref36","volume-title":"A Structure for Plans and Behavior","author":"Sacerdoti","year":"1977"},{"key":"2022102505283711700_ref37","first-page":"1001","article-title":"Hierarchical planning in BDI agent programming languages: A formal approach","volume-title":"Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), AAMAS \u201806","author":"Sardina","year":"2006"},{"key":"2022102505283711700_ref38","first-page":"131","article-title":"EPDL: A logic for causal reasoning","volume-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI01)","author":"Zhang","year":"2001"},{"key":"2022102505283711700_ref39","doi-asserted-by":"crossref","first-page":"215","DOI":"10.3166\/jancl.15.215-239","article-title":"Frame problem in dynamic logic","volume":"15","author":"Zhang","year":"2005","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2022102505283711700_ref40","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/978-3-642-10439-8_54","article-title":"Modeling abstract behavior: A dynamic logic approach","volume-title":"AI 2009: Advances in Artificial Intelligence","author":"Zhou","year":"2009"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/7\/1317\/46616060\/exac003.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/7\/1317\/46616060\/exac003.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,25]],"date-time":"2022-10-25T05:55:26Z","timestamp":1666677326000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/32\/7\/1317\/6532079"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,21]]},"references-count":40,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2022,2,21]]},"published-print":{"date-parts":[[2022,10,20]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac003","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,10]]},"published":{"date-parts":[[2022,2,21]]}}}