Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/3360901.3364419acmconferencesArticle/Chapter ViewAbstractPublication Pagesk-capConference Proceedingsconference-collections
short-paper

Towards Exploiting Generic Problem Structures in Explanations for Automated Planning

Published: 23 September 2019 Publication History
  • Get Citation Alerts
  • Abstract

    Explainable AI is becoming an area of key focus in Artificial Intelligence. Within Automated Planning (AP) the area Explainable Planning (XAIP) focuses on explanations of the planning process. The relative transparency and flexibility of the planning process have been identified as key aspects suggesting that AP is well positioned to make an important contribution in Explainable AI [8]. However, there is still a wide gap between explanations that can be directly extracted from AP models and effective explanations. There are a growing number of frameworks that are considering the problem from both the user side, where it is interesting to understand the form that an explanation might take; as well as the planner side, which must be able to explain various decisions and related properties. However, approaches have focused on single domain settings, where substantial domain specific content is produced, or at a general level, where only abstract planning concepts can be used. We aim to develop an abstraction layer that sits between these and exploits the often overlapping concepts and structures that exist between many planning domains. We propose exploiting domain analysis techniques in order to identify common roles and generic problem structures (GPSs). By attaching the concepts used for explanation to these structures we can exploit the contextual information supported by the structure, and also reduce the burden of constructing explanations in domains where these structures exist. In this work we explore the opportunities for exploiting GPSs in XAIP.

    References

    [1]
    Rita Borgo, Michael Cashmore, and Daniele Magazzeni. 2018. Towards providing explanations for AI planner decisions. arXiv preprint arXiv:1810.06338 (2018).
    [2]
    Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, and Bram Ridder. 2017. Opportunistic planning in autonomous underwater missions. IEEE Transactions on Automation Science and Engineering 15, 2 (2017), 519--530.
    [3]
    Tathagata Chakraborti, Sarath Sreedharan, Anagha Kulkarni, and Subbarao Kambhampati. 2017. Alternative modes of interaction in proximal human-in-the-loop operation of robots. arXiv preprint arXiv:1703.08930 (2017).
    [4]
    Tathagata Chakraborti, Sarath Sreedharan, Yu Zhang, and Subbarao Kambhampati. 2017. Plan explanations as model reconciliation. In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI).
    [5]
    Andrew. I. Coles and Amanda. J. Smith. 2006. Generic Types and their Use in Improving the Quality of Search Heuristics. In Proceedings of the 25th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2006).
    [6]
    Maria Fox and Derek Long. 1998. The automatic inference of state variables in TIM. Journal of Artificial Intelligence Research 9 (1998), 367--421.
    [7]
    Maria Fox and Derek Long. 2001. Hybrid STAN: Identifying and managing combinatorial sub-problems in planning. In Proceedings of 17th International Joint Conference on Artifical Intelligence. Morgan Kaufmann Publishers.
    [8]
    Maria Fox, Derek Long, and Daniele Magazzeni. 2017. Explainable planning. arXiv preprint arXiv:1709.10256 (2017).
    [9]
    Moritz Göbelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner, and Bernhard Nebel. 2010. Coming up with good excuses: What to do when no plan can be found. In Proceedings of the International Conference on Automated Planning and Scheduling.
    [10]
    Malte Helmert. 2001. On the Complexity of Planning in Transportation and Manipulation Domains. Diploma Thesis. Albert-Ludwigs-Universität Freiburg.
    [11]
    Alan Lindsay. 2015. Problem Models for Rule Based Planning. Ph.D. Dissertation. Department of Computer and Information Sciences, Strathclyde University, UK.
    [12]
    Alan Lindsay, Maria Fox, and Derek Long. 2009. Lifting the Limitations in a Rule-based Policy Language. In FLAIRS Conference.
    [13]
    Nir Lipovetzky, Christina N Burt, Adrian R Pearce, and Peter J Stuckey. 2014. Planning for mining operations with time and resource constraints. In Twenty- Fourth International Conference on Automated Planning and Scheduling.
    [14]
    Derek Long and Maria Fox. 2002. Planning with Generic Types. Morgan Kaufmann, Chapter 4, 103--138.
    [15]
    Prashan Madumal, Tim Miller, Frank Vetere, and Liz Sonenberg. 2018. Towards a Grounded Dialog Model for Explainable Artificial Intelligence. arXiv preprint arXiv:1806.08055 (2018).
    [16]
    Mauricio Cecilio Magnaguagno, Ramon Fraga Pereira, and Felipe Meneguzzi. 2016. DOVETAIL--An Abstraction for Classical Planning Using a Visual Metaphor. In The Twenty-Ninth International Flairs Conference.
    [17]
    Maurcio C Magnaguagno, Ramon Fraga Pereira, Martin D Móre, and Felipe Meneguzzi. 2017. WEB PLANNER: A tool to develop classical planning domains and visualize heuristic state-space search. In Proceedings of the Workshop on User Interfaces and Scheduling and Planning, UISP. 32--38.
    [18]
    Tim Miller. 2018. Contrastive Explanation: A Structural-Model Approach. arXiv preprint arXiv:1811.03163 (2018).
    [19]
    Tim Miller. 2018. Explanation in artificial intelligence: Insights from the social sciences. Artificial Intelligence (2018).
    [20]
    Minjoon Seo, Hannaneh Hajishirzi, Ali Farhadi, Oren Etzioni, and Clint Malcolm. 2015. Solving geometry problems: Combining text and diagram interpretation. In Proceedings of Conf. on Empirical Methods in Natural Language Processing.
    [21]
    Jonathan Siddle, Alan Lindsay, João F Ferreira, Julie Porteous, Jonathon Read, Fred Charles, Marc Cavazza, and Gersende Georg. 2017. Visualization of Patient Behavior from Natural Language Recommendations. In Proceedings of the Knowledge Capture Conference. ACM, 25.
    [22]
    Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, and Thomas Leo McCluskey. 2016. Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. In Proceedings of the AAAI Conference on Artificial Intelligence.

    Cited By

    View all
    • (2023)Recent Trends in Task and Motion Planning for Robotics: A SurveyACM Computing Surveys10.1145/358313655:13s(1-36)Online publication date: 13-Jul-2023
    • (2022)The Mirror Agent Model: A Bayesian Architecture for Interpretable Agent BehaviorExplainable and Transparent AI and Multi-Agent Systems10.1007/978-3-031-15565-9_7(111-123)Online publication date: 23-Sep-2022
    • (2021)In Defence of Design Patterns for AI Planning Knowledge ModelsAIxIA 2020 – Advances in Artificial Intelligence10.1007/978-3-030-77091-4_12(191-203)Online publication date: 22-May-2021
    • Show More Cited By

    Index Terms

    1. Towards Exploiting Generic Problem Structures in Explanations for Automated Planning

        Recommendations

        Comments

        Information & Contributors

        Information

        Published In

        cover image ACM Conferences
        K-CAP '19: Proceedings of the 10th International Conference on Knowledge Capture
        September 2019
        281 pages
        ISBN:9781450370080
        DOI:10.1145/3360901
        • General Chairs:
        • Mayank Kejriwal,
        • Pedro Szekely,
        • Program Chair:
        • Raphaël Troncy
        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

        Sponsors

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        Published: 23 September 2019

        Permissions

        Request permissions for this article.

        Check for updates

        Author Tags

        1. automated planning
        2. explainable planning
        3. knowledge engineering

        Qualifiers

        • Short-paper

        Conference

        K-CAP '19
        Sponsor:
        K-CAP '19: Knowledge Capture Conference
        November 19 - 21, 2019
        CA, Marina Del Rey, USA

        Acceptance Rates

        Overall Acceptance Rate 55 of 198 submissions, 28%

        Contributors

        Other Metrics

        Bibliometrics & Citations

        Bibliometrics

        Article Metrics

        • Downloads (Last 12 months)16
        • Downloads (Last 6 weeks)3
        Reflects downloads up to 10 Aug 2024

        Other Metrics

        Citations

        Cited By

        View all
        • (2023)Recent Trends in Task and Motion Planning for Robotics: A SurveyACM Computing Surveys10.1145/358313655:13s(1-36)Online publication date: 13-Jul-2023
        • (2022)The Mirror Agent Model: A Bayesian Architecture for Interpretable Agent BehaviorExplainable and Transparent AI and Multi-Agent Systems10.1007/978-3-031-15565-9_7(111-123)Online publication date: 23-Sep-2022
        • (2021)In Defence of Design Patterns for AI Planning Knowledge ModelsAIxIA 2020 – Advances in Artificial Intelligence10.1007/978-3-030-77091-4_12(191-203)Online publication date: 22-May-2021
        • (2020)Explainable Agency by Revealing Suboptimality in Child-Robot Learning ScenariosSocial Robotics10.1007/978-3-030-62056-1_3(23-35)Online publication date: 6-Nov-2020

        View Options

        Get Access

        Login options

        View options

        PDF

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        Media

        Figures

        Other

        Tables

        Share

        Share

        Share this Publication link

        Share on social media