Knowledge Refinement in a Reflective Architecture

A knowledge acquisition tool should provide a user with maximum guidance in extending and debugging a knowledge base, by preventing inconsistencies and knowledge gaps that may arise inadvertently. Most current acquisition tools are not very flexible in that they are built for a predetermined inference structure or problem-solving mechanism, and the guidance they provide is specific to that inference structure and hard-coded by their designer. This paper focuses on EXPECT, a reflective architecture that supports knowledge acquisition based on an explicit analysis of the structure of a knowledge-based system, rather than on a fixed set of acquisition guidelines. EXPECT's problem solver is tightly integrated with LOOM, a state-of-the-art knowledge representation system. Domain facts and goals are represented declaratively, and the problem solver keeps records of their functionality within the task domain. When the user corrects the system's knowledge, EXPECT tracks any possible implications of this change in the overall system and cooperates with the user to correct any potential problems that may arise. The key to the flexibility of this knowledge acquisition tool is that it adapts its guidance as the knowledge bases evolve in response to changes introduced by the user.

[1]  John P. McDermott,et al.  SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems , 1993, Artif. Intell..

[2]  Gheorghe Tecuci,et al.  Apprenticeship learning in imperfect domain theories , 1990 .

[3]  Robert M. MacGregor,et al.  The Evolving Technology of Classification-Based Knowledge Representation Systems , 1991, Principles of Semantic Networks.

[4]  Robert M. MacGregor,et al.  A Deductive Pattern Matcher , 1988, AAAI.

[5]  John McDermott,et al.  Preliminary steps toward a taxonomy of problem-solving methods , 1993 .

[6]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[7]  John F. Sowa,et al.  Principles of semantic networks , 1991 .

[8]  A. Kitchen,et al.  Knowledge based systems in artificial intelligence , 1985, Proceedings of the IEEE.

[9]  Gary S. Kahn,et al.  Strategies for Knowledge Acquisition , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[10]  Johanna D. Moore,et al.  Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development , 1984, IEEE Transactions on Software Engineering.

[11]  Gheorghe Tecuci,et al.  Automating knowledge acquisition as extending, updating, and improving a knowledge base , 1992, IEEE Trans. Syst. Man Cybern..

[12]  Samson W. Tu,et al.  A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools , 1992 .

[13]  John McDermott,et al.  Usable and reusable programming constructs , 1991 .

[14]  Johanna D. Moore,et al.  Explanations in knowledge systems: design for explainable expert systems , 1991, IEEE Expert.

[15]  Mark A. Musen,et al.  Overcoming the limitations of role-limiting methods , 1992 .