Explanation-Aware Computing
Papers from the 2007 AAAI Workshop
Thomas Roth-Berghofer, Stefan Schulz, Daniel Bahls, and David B. Leake, Program Cochairs
Technical Report WS-07-06 published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Contents
Organizing Committee / vii
Thomas Roth-Berghofer, Stefan Schulz, Daniel Bahls, and David B. Leake
Preface / vii
Thomas Roth-Berghofer, Stefan Schulz, Daniel Bahls, and David B. Leake
Dialogical Models of Explanation / 1
Douglas Walton
Learning Models from Temporal-Logic Properties via Explanations / 10
Miguel Carrillo and David A. Rosenblueth
Solving the Minimum Number of Open Stacks Problem with Explanation-based Techniques / 14
Hadrien Cambazard and Narendra Jussien
Designing Explanation Aware Systems: The Quest for Explanation Patterns / 20
Jörg Cassens and Anders Kofod-Petersen
An MDP Approach for Explanation Generation / 28
Francisco Elizalde, Enrique Sucar, Alberto Reyes, and Pablo deBuen
How to Build Explanations of Automated Proofs: A Methodology and Requirements on Domain Representations / 34
Helmut Horacek
A Categorization of Explanation Questions for Task Processing Systems / 42
Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, and Paulo Pinheiro da Silva
PML 2: A Modular Explanation Interlingua / 49
Deborah L. McGuinness, Li Ding, Paulo Pinheiro da Silva, and Cynthia Chang
A Discourse Approach to Explanation Aware Knowledge Representation / 56
Andrew Potter
Exploitation of Argumentation Models for Mission Analysis / 64
Micheline Bélanger
Generating Explanations using an Automated Planner and Modeling Reasoning Processes, Skills and Knowledge / 68
Alan Wheeldon and Jim Reye