Design of Knowledge-Based Systems with a Knowledge-Based Assistant

The authors propose a model for an intelligent assistant to aid in building knowledge-based systems (KBSs) and discuss a preliminary implementation. The assistant participates in KBS construction, including acquisition of an initial model of a problem domain, acquisition of control and task-specific inference knowledge, testing and validation, and long-term maintenance of encoded knowledge. The authors present a hypothetical scenario in which the assistant and a KBS designer cooperate to create an initial domain model and then discuss five categories of knowledge the assistant requires to offer such help. They discuss two software technologies on which the assistant is based: an object-oriented programming language, and a user-interface framework. >

[1]  Benjamin Cohen,et al.  Models of Concepts , 1984, Cogn. Sci..

[2]  David A. Moon.  Object-oriented programming with flavors , 1986, OOPSLA 1986.

[3]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[4]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[5]  Marc B. Vilain,et al.  The Restricted Language Architecture of a Hybrid Representation System , 1985, IJCAI.

[6]  Henry Lieberman.  There's more to menu systems than meets the screen , 1985, SIGGRAPH '85.

[7]  T. Biggerstaff,et al.  Reusability Framework, Assessment, and Directions , 1987, IEEE Software.

[8]  Tom M. Mitchell,et al.  LEAP: A Learning Apprentice for VLSI Design , 1985, IJCAI.

[9]  Robert Sedgewick,et al.  A system for algorithm animation , 1984, SIGGRAPH.

[10]  Adele Goldberg,et al.  Smalltalk-80 - the interactive programming environment , 1984 .

[11]  Mark Moriconi,et al.  Visualizing Program Designs Through PegaSys , 1985, Computer.

[12]  Edward H. Shortliffe,et al.  Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence) , 1984 .

[13]  Christopher F. Herot,et al.  Program Visualization: Graphics Support for Software Development , 1983, 20th Design Automation Conference Proceedings.

[14]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[15]  B. Sheil.  Power tools for programmers , 1986 .

[16]  Reid G. Smith,et al.  Declarative Task Description as a User-Interface Structuring Mechanism , 1984, Computer.

[17]  William R. Swartout,et al.  XPLAIN: A System for Creating and Explaining Expert Consulting Programs , 1983, Artif. Intell..

[18]  Richard C. Waters,et al.  KBEmacs: A Step Toward the Programmer''s Apprentice , 1985 .

[19]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[20]  William J. Clancey,et al.  The Epistemology of a Rule-Based Expert System - A Framework for Explanation , 1981, Artif. Intell..

[21]  Reid G. Smith,et al.  A Modular Tool Kit for Knowledge Management , 1985, IJCAI.

[22]  Steven P. Reiss.  Graphical program development with PECAN program development systems , 1984 .

[23]  Ronald J. Brachman,et al.  "I Lied About the Trees", Or, Defaults and Definitions in Knowledge Representation , 1985, AI Mag..

[24]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[25]  Brad J. Cox,et al.  Object-oriented programming ; an evolutionary approach , 1986 .

[26]  Eugene Charles Ciccarelli,et al.  Presentation based user interfaces , 1984 .

[27]  Larry J. Eshelman,et al.  MOLE: A Knowledge Acquisition Tool that Uses its Head , 1986, AAAI.

[28]  Eric Harslem,et al.  The star user interface: an overview , 1899, AFIPS '82.

[29]  Richard M. Stallman.  EMACS the extensible, customizable self-documenting display editor , 1981 .

[30]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[31]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[32]  David A. Moon,et al.  The Lisp Machine manual , 1981, SGAR.

[33]  Reid G. Smith,et al.  A Substrate for Object-Oriented Interface Design , 1987, Research Directions in Object-Oriented Programming.

[34]  Reid G. Smith,et al.  Impulse-86: a substrate for object-oriented interface design , 1986, OOPSLA 1986.

[35]  Robert Duisberg,et al.  Animating Programs Using Smalltalk , 1985, Computer.

[36]  William J. Clancey,et al.  Guidon-Watch: A Graphic Interface for Viewing a Knowledge-Based System , 1985, IEEE Computer Graphics and Applications.

[37]  Thomas Kaczmarek,et al.  Recent Developments in NIKL , 1986, AAAI.

[38]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

[39]  Janice S. Aikins,et al.  Prototypical Knowledge for Expert Systems , 1983, Artif. Intell..

[40]  Daniel G. Bobrow,et al.  Object-Oriented Programming: Themes and Variations , 1989, AI Mag..

[41]  Janice Sue Aikins,et al.  Prototypes and production rules : a knowledge representation for computer consultations , 1980 .

[42]  Reid G. Smith,et al.  IMPULSE: A Display Oriented Editor for STROBE , 1983, AAAI.

[43]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[44]  Steven P. Reiss,et al.  An object-oriented framework for graphical programming (summary paper) , 1986, OOPWORK '86.

[45]  David Maier,et al.  Displaying Database Objects , 1986, Expert Database Conf..

[46]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[47]  William J. Clancey,et al.  The Advantages of Abstract Control Knowledge in Expert System Design , 1983, AAAI.

[48]  Douglas B. Lenat,et al.  Knowledge-based systems in artificial intelligence , 1981 .

[49]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[50]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[51]  Robert Sedgewick,et al.  SYSTEM FOR ALGORITHM ANIMATION. , 1984 .

[52]  Ira P. Goldstein,et al.  The FRL Manual , 1977 .