p-95-02

Modeling Case-based Planning for Repairing Reasoning Failures

Susan Fox and David Leake

Proceedings of the 1995 AAAI Spring Symposium on Representing
Mental States and Mechanisms.  In press. 

One application of models of reasoning behavior is to allow a reasoner
to introspectively detect and repair failures of its own reasoning
process.  We address the issues of the transferability of such models
versus the specificity of the knowledge in them, the kinds of
knowledge needed for self-modeling and how that knowledge is
structured, and the evaluation of introspective reasoning systems.  We
present the ROBBIE system which implements a model of its planning
processes to improve the planner in response to reasoning failures.
We show how ROBBIE's hierarchical model balances model generality with
access to implementation-specific details, and discuss the qualitative
and quantitative measures we have used for evaluating its
introspective component.


A postscript file for the full paper is available electronically.  
To get a copy
  by anonymous ftp, see  ftp://ftp.cs.indiana.edu/pub/leake/README.
  on the web, open URL   ftp://ftp.cs.indiana.edu/pub/leake/INDEX.html.