Hierarchical Expertise Level Modeling for User Specific Contrastive Explanations

There is a growing interest within the AI research community in developing autonomous systems capable of explaining their behavior to users. However, the problem of computing explanations for users of different levels of expertise has received little research attention. We propose an approach for addressing this problem by representing the user's understanding of the task as an abstraction of the domain model that the planner uses. We present algorithms for generating minimal explanations in cases where this abstract human model is not known. We reduce the problem of generating an explanation to a search over the space of abstract models and show that while the complete problem is NP-hard, a greedy algorithm can provide good approximations of the optimal solution. We also empirically show that our approach can efficiently compute explanations for a variety of problems.

[1]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[2]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[3]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[4]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[5]  Larry S. Davis,et al.  Pattern Databases , 1979, Data Base Design Techniques II.

[6]  Subbarao Kambhampati A Classification of Plan Modification Strategies Based on Coverage and Information Requirements , 1990 .

[7]  Edmund M. Clarke,et al.  Counterexample-guided abstraction refinement , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

[8]  T. Lombrozo The structure and function of explanations , 2006, Trends in Cognitive Sciences.

[9]  Stuart J. Russell,et al.  Angelic Semantics for High-Level Actions , 2007, ICAPS.

[10]  Jens Vygen,et al.  The Book Review Column1 , 2020, SIGACT News.

[11]  Jorge A. Baier,et al.  Preferred Explanations: Theory and Generation via Planning , 2011, AAAI.

[12]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[13]  K. Holyoak,et al.  The Oxford handbook of thinking and reasoning , 2012 .

[14]  Patrik Haslum,et al.  Semi-Relaxed Plan Heuristics , 2012, ICAPS.

[15]  Miao‐kun Sun Trends in cognitive sciences , 2012 .

[16]  T. Lombrozo Explanation and Abductive Inference , 2012 .

[17]  Patrik Haslum Incremental Lower Bounds for Additive Cost Planning Problems , 2012, ICAPS.

[18]  Susanne Biundo-Stephan,et al.  Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations , 2012, ICAPS.

[19]  Jendrik Seipp,et al.  Counterexample-Guided Cartesian Abstraction Refinement , 2013, ICAPS.

[20]  Christer Bäckström,et al.  Bridging the Gap Between Refinement and Heuristics in Abstraction , 2013, IJCAI.

[21]  Pat Langley,et al.  Seeing Beyond Shadows: Incremental Abductive Reasoning for Plan Understanding , 2013, AAAI Workshop: Plan, Activity, and Intent Recognition.

[22]  Florian Nothdurft,et al.  Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater , 2014, ICAPS.

[23]  Jendrik Seipp,et al.  Diverse and Additive Cartesian Abstraction Heuristics , 2014, ICAPS.

[24]  S. Edelkamp Planning with Pattern Databases , 2014 .

[25]  Stuart J. Russell,et al.  Metaphysics of Planning Domain Descriptions , 2016, AAAI.

[26]  Christian Borgelt,et al.  Computational Intelligence , 2016, Texts in Computer Science.

[27]  Jörg Hoffmann,et al.  Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends , 2016, AAAI.

[28]  Pat Langley,et al.  Explainable Agency for Intelligent Autonomous Systems , 2017, AAAI.

[29]  Maria Fox,et al.  Explainable Planning , 2017, ArXiv.

[30]  Yu Zhang,et al.  Plan Explanations as Model Reconciliation: Moving Beyond Explanation as Soliloquy , 2017, IJCAI.

[31]  Stuart Walker Repair , 2018, Design Realities.

[32]  Tim Miller,et al.  Explanation in Artificial Intelligence: Insights from the Social Sciences , 2017, Artif. Intell..

[33]  Tsuyoshi Murata,et al.  {m , 1934, ACML.