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
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.