{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:37:14Z","timestamp":1760027834206,"version":"3.41.0"},"reference-count":38,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2023,9,30]],"date-time":"2023-09-30T00:00:00Z","timestamp":1696032000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Intell. Syst. Technol."],"published-print":{"date-parts":[[2023,10,31]]},"abstract":"<jats:p>Artificial Intelligence (AI) is being increasingly deployed in practical applications. However, there is a major concern whether AI systems will be trusted by humans. To establish trust in AI systems, there is a need for users to understand the reasoning behind their solutions. Therefore, systems should be able to explain and justify their output. Explainable AI Planning is a field that involves explaining the outputs, i.e., solution plans produced by AI planning systems to a user. The main goal of a plan explanation is to help humans understand reasoning behind the plans that are produced by the planners. In this article, we propose an argument scheme-based approach to provide explanations in the domain of AI planning. We present novel argument schemes to create arguments that explain a plan and its key elements and a set of critical questions that allow interaction between the arguments and enable the user to obtain further information regarding the key elements of the plan. Furthermore, we present a novel dialogue system using the argument schemes and critical questions for providing interactive dialectical explanations.<\/jats:p>","DOI":"10.1145\/3610301","type":"journal-article","created":{"date-parts":[[2023,7,21]],"date-time":"2023-07-21T12:00:26Z","timestamp":1689940826000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Argument Schemes and a Dialogue System for Explainable Planning"],"prefix":"10.1145","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8947-4485","authenticated-orcid":false,"given":"Quratul-Ain","family":"Mahesar","sequence":"first","affiliation":[{"name":"School of Computing and Engineering, University of Huddersfield, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8425-9065","authenticated-orcid":false,"given":"Simon","family":"Parsons","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Lincoln, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2023,9,30]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.5555\/1405551.1405555"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.04.009"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103387"},{"key":"e_1_3_2_5_2","first-page":"765","volume-title":"Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201910)","author":"Belesiotis Alexandros","year":"2010","unstructured":"Alexandros Belesiotis, Michael Rovatsos, and Iyad Rahwan. 2010. Agreeing on plans through iterated disputes. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201910). IFAAMAS, 765\u2013772."},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.3.429"},{"issue":"1","key":"e_1_3_2_7_2","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/AAC-160001","article-title":"Combining explanation and argumentation in dialogue","volume":"7","author":"Bex Floris","year":"2016","unstructured":"Floris Bex and Douglas Walton. 2016. Combining explanation and argumentation in dialogue. Argu. Comput. 7, 1 (2016), 55\u201368.","journal-title":"Argu. Comput."},{"key":"e_1_3_2_8_2","series-title":"Proceedings of the Conference on Computational Models of Argument (COMMA\u201912)","first-page":"478","volume":"245","author":"Caminada Martin","year":"2012","unstructured":"Martin Caminada and Mikolaj Podlaszewski. 2012. Grounded semantics as persuasion dialogue. In Proceedings of the Conference on Computational Models of Argument (COMMA\u201912)(Frontiers in Artificial Intelligence and Applications, Vol. 245). IOS Press, 478\u2013485."},{"key":"e_1_3_2_9_2","first-page":"1625","volume-title":"Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS\u201914)","author":"Caminada Martin W. A.","year":"2014","unstructured":"Martin W. A. Caminada, Roman Kutl\u00e1k, Nir Oren, and Wamberto Weber Vasconcelos. 2014. Scrutable plan enactment via argumentation and natural language generation. In Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS\u201914). IFAAMAS\/ACM, 1625\u20131626."},{"issue":"1","key":"e_1_3_2_10_2","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s10458-022-09556-8","article-title":"Explaining BDI agent behaviour through dialogue","volume":"36","author":"Dennis Louise A.","year":"2022","unstructured":"Louise A. Dennis and Nir Oren. 2022. Explaining BDI agent behaviour through dialogue. Auton. Agents Multi Agent Syst. 36, 1 (2022), 29.","journal-title":"Auton. Agents Multi Agent Syst."},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_3_2_12_2","volume-title":"Assumption-Based Argumentation","author":"Dung Phan Minh","year":"2009","unstructured":"Phan Minh Dung, Robert A. Kowalski, and Francesca Toni. 2009. Assumption-Based Argumentation. Springer US. 199\u2013218."},{"key":"e_1_3_2_13_2","series-title":"Proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA\u201918)","first-page":"344","volume":"11224","author":"Fan Xiuyi","year":"2018","unstructured":"Xiuyi Fan. 2018. On generating explainable plans with assumption-based argumentation. In Proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA\u201918)(Lecture Notes in Computer Science, Vol. 11224). Springer, 344\u2013361."},{"key":"e_1_3_2_14_2","first-page":"1496","volume-title":"Proceedings of the 29th AAAI Conference on Artificial Intelligence","author":"Fan Xiuyi","year":"2015","unstructured":"Xiuyi Fan and Francesca Toni. 2015. On computing explanations in argumentation. In Proceedings of the 29th AAAI Conference on Artificial Intelligence. AAAI Press, 1496\u20131502."},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.5555\/2343576.2343649"},{"key":"e_1_3_2_16_2","volume-title":"Proceedings of the IJCAI Workshop on Explainable AI","author":"Fox Maria","year":"2017","unstructured":"Maria Fox, Derek Long, and Daniele Magazzeni. 2017. Explainable planning. In Proceedings of the IJCAI Workshop on Explainable AI. Retrieved from https:\/\/arxiv.org\/abs\/1709.10256"},{"key":"e_1_3_2_17_2","volume-title":"Automated Planning\u2014Theory and Practice","author":"Ghallab Malik","year":"2004","unstructured":"Malik Ghallab, Dana S. Nau, and Paolo Traverso. 2004. Automated Planning\u2014Theory and Practice. Elsevier."},{"key":"e_1_3_2_18_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-031-01584-7","volume-title":"An Introduction to the Planning Domain Definition Language (2nd ed.)","author":"Haslum Patrik","year":"2019","unstructured":"Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, and Christian Muise. 2019. An Introduction to the Planning Domain Definition Language (2nd ed.). Morgan and Claypool Publishers, 1\u2013169."},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.5555\/3306127.3331801"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015586128739"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2013.764927"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.07.007"},{"key":"e_1_3_2_23_2","series-title":"Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU\u201907)","first-page":"648","volume":"4724","author":"Modgil Sanjay","year":"2007","unstructured":"Sanjay Modgil. 2007. An abstract theory of argumentation that accommodates defeasible reasoning about preferences. In Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU\u201907)(Lecture Notes in Computer Science, Vol. 4724), Khaled Mellouli (Ed.). Springer, 648\u2013659."},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.10.008"},{"key":"e_1_3_2_25_2","series-title":"Proceedings of the 4th International Workshop on Theory and Applications of Formal Argumentation (TAFA\u201917), Revised Selected Papers","first-page":"211","volume":"10757","author":"Ogunniye Gideon","year":"2017","unstructured":"Gideon Ogunniye, Alice Toniolo, and Nir Oren. 2017. A dynamic model of trust in dialogues. In Proceedings of the 4th International Workshop on Theory and Applications of Formal Argumentation (TAFA\u201917), Revised Selected Papers(Lecture Notes in Computer Science, Vol. 10757). Springer, 211\u2013226."},{"key":"e_1_3_2_26_2","series-title":"Proceedings of the 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA\u201913), Revised Selected papers","first-page":"63","volume":"8306","author":"Oren Nir","year":"2013","unstructured":"Nir Oren. 2013. Argument schemes for normative practical reasoning. In Proceedings of the 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA\u201913), Revised Selected papers(Lecture Notes in Computer Science, Vol. 8306). Springer, 63\u201378."},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-38561-3_9"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.5555\/2034396.2034407"},{"issue":"2","key":"e_1_3_2_29_2","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1080\/19462166.2014.913075","article-title":"Argument schemes for reasoning about trust","volume":"5","author":"Parsons Simon","year":"2014","unstructured":"Simon Parsons, Katie Atkinson, Zimi Li, Peter McBurney, Elizabeth Sklar, Munindar P. Singh, Karen Zita Haigh, Karl N. Levitt, and Jeff Rowe. 2014. Argument schemes for reasoning about trust. Argument Comput. 5, 2-3 (2014), 160\u2013190.","journal-title":"Argument Comput."},{"key":"e_1_3_2_30_2","first-page":"359","volume-title":"Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the Occasion of His Sixty-fourth Birthday","author":"Reiter Raymond","year":"1991","unstructured":"Raymond Reiter. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the Occasion of His Sixty-fourth Birthday, Vladimir Lifschitz (Ed.). Academic Press\/Elsevier, 359\u2013380."},{"issue":"3","key":"e_1_3_2_31_2","first-page":"9:1\u20139:39","article-title":"Argumentation-based reasoning about plans, maintenance goals, and norms","volume":"14","author":"Shams Zohreh","year":"2020","unstructured":"Zohreh Shams, Marina De Vos, Nir Oren, and Julian A. Padget. 2020. Argumentation-based reasoning about plans, maintenance goals, and norms. ACM Trans. Auton. Adapt. Syst. 14, 3 (2020), 9:1\u20139:39.","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"e_1_3_2_32_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-98197-0","volume-title":"Argumentation in Artificial Intelligence","author":"Simari Guillermo Ricardo","year":"2009","unstructured":"Guillermo Ricardo Simari and Iyad Rahwan (Eds.). 2009. Argumentation in Artificial Intelligence. Springer."},{"key":"e_1_3_2_33_2","first-page":"2180","article-title":"Planning as an iterative process","volume":"3","author":"Smith D. E.","year":"2012","unstructured":"D. E. Smith. 2012. Planning as an iterative process. Proc. Natl. Conf. Artific. Intell. 3 (Jan.2012), 2180\u20132185.","journal-title":"Proc. Natl. Conf. Artific. Intell."},{"key":"e_1_3_2_34_2","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1145\/1082473.1082557","volume-title":"Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201905)","author":"Tang Yuqing","year":"2005","unstructured":"Yuqing Tang and Simon Parsons. 2005. Argumentation-based dialogues for deliberation. In Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201905). ACM, 552\u2013559."},{"key":"e_1_3_2_35_2","series-title":"Proceedings of the 14th International Conference on Principles and Practice of Multi-Agent Systems PRIMA","first-page":"323","volume":"7047","author":"Toniolo Alice","year":"2011","unstructured":"Alice Toniolo, Timothy J. Norman, and Katia P. Sycara. 2011. Argumentation schemes for collaborative planning. In Proceedings of the 14th International Conference on Principles and Practice of Multi-Agent Systems PRIMA(Lecture Notes in Computer Science, Vol. 7047). Springer, 323\u2013335."},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/3128584"},{"key":"e_1_3_2_37_2","volume-title":"Argumentation Schemes for Presumptive Reasoning","author":"Walton D. N.","year":"1996","unstructured":"D. N. Walton. 1996. Argumentation Schemes for Presumptive Reasoning. L. Erlbaum Associates. 95020169"},{"key":"e_1_3_2_38_2","volume-title":"Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning","author":"Walton D. N.","year":"1995","unstructured":"D. N. Walton and E. C. W. Krabbe. 1995. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press."},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.04.006"}],"container-title":["ACM Transactions on Intelligent Systems and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610301","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3610301","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:02Z","timestamp":1750182542000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610301"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,30]]},"references-count":38,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,10,31]]}},"alternative-id":["10.1145\/3610301"],"URL":"https:\/\/doi.org\/10.1145\/3610301","relation":{},"ISSN":["2157-6904","2157-6912"],"issn-type":[{"type":"print","value":"2157-6904"},{"type":"electronic","value":"2157-6912"}],"subject":[],"published":{"date-parts":[[2023,9,30]]},"assertion":[{"value":"2022-09-24","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-07-10","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}