Self-Explaining Agents

This work advocate self-explanation as one foundation of self-* properties. Arguing that for system component to become more self-explanatory the underlining foundation is an awareness of themselves and their environment. In the research area of adaptive software, self-* properties have shifted into focus caused by the tendency to push ever more design decisions to the applications runtime. Thus fostering new paradigms for system development like intelligent and learning agents. This work surveys the state-of-the-art methods of self-explanation in software systems and distills a definition of self-explanation. Additionally, we introduce a measure to compare explanations and propose an approach for the first steps towards extending descriptions to become more explanatory. The conclusion shows that explanation is a special kind of description. The kind of description that provides additional information about a subject of interest and is understandable for the audience of the explanation. Further the explanation is dependent on the context it is used in, which brings about that one explanation can transport different information in different contexts. The proposed measure reflects those requirements.

[1]  C. Morris Foundations of the theory of signs , 1938 .

[2]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[3]  E. Olsson What Is the Problem of Coherence and Truth , 2002 .

[4]  D. Heckerman,et al.  Toward Normative Expert Systems: Part I The Pathfinder Project , 1992, Methods of Information in Medicine.

[5]  Sheila A. McIlraith,et al.  A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services , 2008, IEEE Data Eng. Bull..

[6]  E. Olsson Against Coherence: Truth, Probability, and Justification , 2005 .

[7]  Yolanda Gil,et al.  Representing Capabilities of Problem Solving Methods , 1999 .

[8]  Christian Müller-Schloer,et al.  Organic computing: on the feasibility of controlled emergence , 2004, CODES+ISSS '04.

[9]  Ladan Tahvildari,et al.  Self-adaptive software: Landscape and research challenges , 2009, TAAS.

[10]  Munindar P. Singh Agent Communication Languages: Rethinking the Principles , 1998, Computer.

[11]  Arthur H. M. ter Hofstede,et al.  Capabilities: Describing What Services Can Do , 2003, ICSOC.

[12]  Maria Bittner,et al.  Cross-linguistic semantics , 1994 .

[13]  A. Wierzbicka Semantics: Primes and Universals , 1996 .

[14]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[15]  Nils Masuch,et al.  SeMa2: A Hybrid Semantic Service Matching Approach , 2012, Semantic Web Services, Advancement through Evaluation.

[16]  Johanna D. Moore,et al.  A Reactive Approach to Explanation , 1989, IJCAI.

[17]  James Overton Scientific Explanation and Computation , 2011, ExaCt.

[18]  David H. Glass,et al.  Coherence measures and inference to the best explanation , 2007, Synthese.

[19]  Mary Shaw,et al.  Software Engineering for Self-Adaptive Systems: A Research Roadmap , 2009, Software Engineering for Self-Adaptive Systems.

[20]  Charles J. Fillmore,et al.  THE CASE FOR CASE. , 1967 .

[21]  David B. Leake,et al.  Towards Situated Explanation , 1994, AAAI.

[22]  William G. Cole,et al.  Understanding Bayesian reasoning via graphical displays , 1989, CHI '89.

[23]  Robert Laddaga,et al.  Active Software , 2000, IWSAS.

[24]  Joseph Y. Halpern,et al.  Defining Explanation in Probabilistic Systems , 1997, UAI.

[25]  Sahin Albayrak,et al.  Towards Self-Explaining Agents , 2013, PAAMS.

[26]  Roy Sterritt,et al.  Self-managing software , 2006, Computer.

[27]  Deborah L. McGuinness,et al.  Bringing Semantics to Web Services: The OWL-S Approach , 2004, SWSWPC.

[28]  David H. Glass,et al.  Inference to the Best Explanation: a comparison of approaches , 2009 .

[29]  Robert Stevens,et al.  The Manchester OWL Syntax , 2006, OWLED.

[30]  David B. Leake Evaluating Explanations: A Content Theory , 1992 .

[31]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[32]  Branden Fitelson A probabilistic theory of coherence , 2003 .

[33]  Matthias Klusch,et al.  Dynamic service matchmaking among agents in open information environments , 1999, SGMD.

[34]  Hartmut Schmeck,et al.  Organic Computing: A Grand Challenge for Mastering Complex Systems , 2010, it Inf. Technol..

[35]  David Leake,et al.  Goal-Based Explanation Evaluation , 1991, Cogn. Sci..