Recovery from Incorrect knowledge in Soar

Incorrect knowledge can be a problem for any intelligent system. Soar is a proposal for the underlying architecture that supports intelligence. It has a single representation of long-term memory and a single learning mechanism called chunking. This paper investigates the problem of recovery from incorrect knowledge in Soar. Recovery is problematic in Soar because of the simplicity of chunking: it does not modify existing productions, nor does it analyze the long-term memory during learning. In spite of these limitations, we demonstrate a domain-independent approach to recovery from incorrect control knowledge and present extensions to this approach for recovering from all types of incorrect knowledge. The key idea is to correct decisions instead of long-term knowledge. Soar's architecture allows this corrections to occur in parallel with normal processing. This approach does not require any changes to the Soar architecture and because of Soar's uniform representations for tasks and knowledge, this approach can be used for all tasks and sub-tasks in Soar.

[1]  John R. Anderson.  The Architecture of Cognition , 1983 .

[2]  Allen Newell,et al.  Knowledge Level Learning in Soar , 1987, AAAI.

[3]  Richard J. Doyle,et al.  Constructing and Refining Causal Explanations from an Inconsistent Domain Theory , 1986, AAAI.

[4]  Allen Newell,et al.  A Universal Weak Method: Summary of Results , 1983, IJCAI.

[5]  Gerald DeJong,et al.  The Classification, Detection and Handling of Imperfect Theory Problems , 1987, IJCAI.

[6]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[7]  John E. Laird,et al.  Mapping Explanation-Based Generalization onto Soar , 1986, AAAI.

[8]  Allen Newell,et al.  Towards Chunking as a General Learning Mechanism , 1984, AAAI.

[9]  Charles L. Forgy,et al.  OPS5 user's manual , 1981 .

[10]  John H. Holland,et al.  Escaping brittleness: the possibilities of general-purpose learning algorithms applied to parallel rule-based systems , 1995 .

[11]  John Edwin Laird,et al.  Universal subgoaling , 1984 .

[12]  Pat Langley,et al.  Learning Effective Search Heuristics , 1983, IJCAI.

[13]  Kristian J. Hammond.  Learning to Anticipate and Avoid Planning Problems through the Explanation of Failures , 1986, AAAI.

[14]  Jack Mostow,et al.  Failsafe - A Floor Planner that Uses EBG to Learn from Its Failures , 1987, IJCAI.

[15]  Steve A. Chien,et al.  Extending Explanation-Based Learning: Failure-Driven Schema Refinement , 1987 .

[16]  John E. Laird,et al.  The chunking of skill and knowledge , 1993 .

[17]  Ajay Gupta,et al.  Explanation-based Failure Recovery , 1987, AAAI.