This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Design of Knowledge-Based Systems with a Knowledge-Based Assistant
December 1988 (vol. 14 no. 12)
pp. 1771-1791

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] J. S. Aikins, "Prototypes and production rules: A knowledge representation for computer consultations," Ph.D. dissertation, Stanford Univ., Tech. Rep. STAN-CS-80-814, 1980.
[2] J. S. Aikins, "Prototypical knowledge for expert systems,"Artificial Intell., vol. 20, pp. 163-210, 1983.
[3] J. S. Bennett, "A knowledge-based system for acquiring the conceptual structue of a diagnostic expert system,"J. Automated Reasoning, vol. 1, no. 1, pp. 49-74, 1985.
[4] T. Biggerstaff and C. Richter, "Reusability framework, assessment, and directions,"IEEE Software, vol. 4, no. 2, pp. 41-49, 1987.
[5] G. M. Birtwistle, O. Dahl, B. Myhrhaug, and K. Nygaard,SIMULA BEGIN, New York: Petrocelli/Charter, 1973.
[6] D. G. Bobrow and M. J. Stefik,The LOOPS Manual, Xerox Palo Alto Research Center, Tech. Rep., Dec. 1983.
[7] D. G. Bobrow and T. Winograd, "An overview of KRL, a knowledge representation language,"Cognitive Sci., vol. 1, no. 1, pp. 3-46, Jan. 1977.
[8] R. J. Brachman, "'I lied about the trees' or, defaults and definitions in knowledge representation,"AI Mag., vol. 6, no. 3, pp. 80-93, Fall 1985.
[9] R. J. Brachman, "What IS-A is and isn't: An analysis of taxonomic links in semantic networks,"Computer, vol. 16, no. 10, pp. 30-36, Oct. 1983.
[10] R. J. Brachman, V. P. Gilbert, and H. Levesque, "An essential hybrid reasoning system: Knowledge and symbol level accounts of KRYPTON," inProc. Ninth Int. Joint Conf. Artificial Intelligence, Aug. 1985, pp. 532-539.
[11] R. J. Brachman and J. G. Schmolze, "An overview of the KL-ONE knowledge representation system," Fairchild Lab. Artificial Intell. Res., Tech. Rep. 30, 1984.
[12] G. P. Brown, R. T. Carling, C. F. Herot, D. A. Kramlich, and P. Souza, "Program visualization: Graphical support for software development,"Computer, vol. 18, no. 8, pp. 27-35, Aug. 1985.
[13] M. H. Brown and R. Sedgewick, "A system for algorithm animation,"Comput. Graphics, vol. 18, no. 3, pp. 177-186, July 1984.
[14] B. G. Buchanan and E. H. Shortliffe, Eds.,Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Reading, MA: Addison-Wesley, 1984.
[15] E. C. Ciccarelli, IV, "Presentation Based User Interfaces," Ph.D. thesis, MIT, Tech. Rep. AI-TR-794, Aug. 1984.
[16] W. J. Clancey, "The advantages of abstract control knowledge in expert system design," inProc. Third Nat. Conf. Artificial Intelligence, Aug. 1983, pp. 74-98.
[17] W. J. Clancey, "The epistemology of a rule-based expert system: A framework for explanation,"Artificial Intell., vol. 20, pp. 215-251, 1983.
[18] B. Cohen and G. L. Murphy, "Models of concepts,"Cognitive Sci., vol. 8, pp. 27-58, 1984.
[19] B.J. Cox,Object-Oriented Programming: An Evolutionary Approach. Reading, MA: Addison Wesley, 1986.
[20] O. Dahl and K. Nygaard, "SIMULA--An ALGOL-based simulation language,"Commun. ACM, vol. 9, no. 9, pp. 671-677, Sept. 1966.
[21] R. Davis and R. B. Lenat,Knowledge-Based Systems in Artificial Intelligence. New York: McGraw-Hill, 1982.
[22] L. Eshelman and J. McDermott, "MOLE: A knowledge acquisition tool that uses its head," inProc. Fifth Nat. Conf. Artificial Intelligence, 1986, pp. 950-950.
[23] R. Fikes and T. Kehler, "The role of frame-based representation in reasoning,"Commun. ACM, vol. 28, pp. 904-920, Sept. 1985.
[24] A. Goldberg,Smalltalk-80. The Interactive Programming Environment. Reading, MA: Addison-Wesley, 1984.
[25] A. Goldberg and D. Robson,Smalltalk80: The Language and Its Implementation. Reading, MA: Addison-Wesley, May 1983.
[26] C. Greenet al., "Report on a knowledge-based software assistant," inReadings in Artificial Intelligence and Software Engineering, C. Richard and R. Waters, Eds. Los Altos, CA: Morgan Kaufmann, 1986.
[27] F. Hayes-Rothet al., Building Expert Systems. New York: Addison Wesley, 1983.
[28] Interlisp-D Reference Manual, Xerox Artificial Intell. Syst., Pasadena, CA, Oct. 1985.
[29] T. S. Kaczmarek, R. Bates, and G. Robins, "Recent developments in NIKL," inProc. Fifth Nat. Conf. Artificial Intelligence, 1986, pp. 978.
[30] KEE Software Development Systems User's Manual, 3rd ed., IntelliCorp, 1986.
[31] J. C. Kunz, R. J. Fallat, D. McClung, J. J. Osborn, B. A. Votteri, H. P. Nii, J. S. Aikins, L. M. Fagan, and E. A. Feigenbaum, "A physiological rule-based system for interpreting pulmonary function test results," inProc. Computers in Critical Care and Pulmonary Medicine, 1979, pp. 375-379.
[32] G. M. E. Lafue and R. G. Smith, "A modular tool kit for knowledge management," inProc. Ninth Int. Joint Conf. Artificial Intelligence, Aug. 1985, pp. 46-52.
[33] H. Lieberman, "There's more to menu systems than meets the screen,"Comput. Graphics, vol. 19, no. 3, pp. 181-189, July 1985.
[34] R. L. London and R. A. Duisberg, "Animating programs using Smalltalk,"Computer, vol. 18, no. 8, pp. 61-71, Aug. 1985.
[35] D. Maier, P. Nordquist, and M. Grossman, "Displaying database objects," inProc. First Int. Conf. Expert Database Systems, Apr. 1986, pp. 15-30.
[36] W. V. Melle, A. C. Scott, J. S. Bennett, and M. Peairs, "The EMYCIN manual," Dep. Comput. Sci., Stanford Univ., Tech. Rep. STAN-CS-81-885 (HPP-81-16), Oct. 1981.
[37] M. Minsky, "A framework for representing knowledge," inThe Psychology Of Computer Vision, P. H. Winston, Ed. New York: McGraw-Hill, 1975.
[38] T. M. Mitchell, S. Mahadevan, and L. Steinberg, "LEAP: A learning apprentice for VLSI design," inProc. Ninth Int. Conf. Artificial Intelligence, 1985, pp. 573-580.
[39] D.A. Moon, "Object-Oriented Programming with Flavors," inProc. Object-Oriented Programming Systems, Languages, and Applications Conf., N. Meyrowitz, ed., 1986, ACM, New York, pp. 1-8; and in Special Issue ofSIGPlan Notices, Vol. 21, No. 11, Nov. 1986.
[40] M. Moriconi and D. F. Hare, "Visualizing program designs through PegaSys,"Computer, vol. 18, no. 8, pp. 72-85, Aug. 1985.
[41] S.P. Reiss, "Graphical program development with PECAN program development system," inSIGSOFT/SIGPLAN Software-Engineering Symp. Practical Software Development Environments, Pittsburgh, PA, Apr. 1984; see alsoSIGSOFT Software Eng. Notes, vol. 9, no. 3, May 1984; see alsoSIGPLAN Notices, vol. 19, no. 6, May 1984.
[42] S. P. Reiss, "An object-oriented framework for graphical programming,"ACM SIGPLAN Notices, vol. 21, no. 10, pp. 49-57, Oct. 1986.
[43] M. H. Richer and W. J. Clancey, "GUIDON-WATCH: A graphic interface for viewing a knowledge-based system,"IEEE Comput. Graphics Applications, vol. 5, no. 11, pp. 51-64, 1985.
[44] R. B. Roberts and I. P. Goldstein, "The FRL manual," MIT, AI Memo 409, Sept. 1977.
[45] E. Schoen and R. G. Smith, "Impulse: A display-oriented editor for Strobe," inProc. Nat. Conf. Artificial Intelligence, Aug. 1983, pp. 356-358.
[46] B. A. Sheil, "Power tools for programmers,"Datamation, pp. 131- 144, Feb. 1983.
[47] D. C. Smith, E. Harslem, C. Irby, and R. Kimball, "The Star user interface: An overview," inProc. Nat. Comput. Conf., AFIPS Press, 1982, pp. 515-528.
[48] R. G. Smith, "Programming with rules in Strobe," Schlumberger-Doll Res., Tech. Rep. SYS-84-12, Dec. 1984.
[49] R. G. Smith, P. S. Barth, and R. L. Young, "A substrate for object-oriented interface design," inResearch Directions in Object-Oriented Programming, B. Shriver and P. Wegner, Eds. Cambridge, MA: MIT Press, 1987, pp. 253-315.
[50] R. G. Smith and P. J. Carando, "Structured object programming in Strobe," Schlumberger-Doll Res., Res. Note, Dec. 1986.
[51] R. G. Smith, R. Dinitz, and P. Barth, "Impulse-86: A substrate for object-oriented interface design," inProc. First ACM Conf. Object Oriented Systems, Languages, and Applications, Sept. 1986, pp. 167- 176.
[52] R. G. Smith, G. M. E. Lafue, E. Schoen, and S. C. Vestal, "Declarative task description as a user interface structuring mechanism,"Computer, vol. 17, no. 9, pp. 29-38, Sept. 1984.
[53] R. M. Stallman, "EMACS: The extensible, customizable, self-documenting display editor," inInteractive Programming Environments, D. R. Barstow, H. E. Shrobe, and E. Sandewall, Eds. New York: McGraw-Hill, 1984, pp. 300-325.
[54] M. Stefik and D. G. Babrow, "Object-oriented programming: Themes and variations,"AI Mag., vol. 6, no. 4, pp. 40-62, Dec. 1985.
[55] B. Stroustrup,The C++ Programming Language. Reading, MA: Addison-Wesley, 1986.
[56] M. Suwa, A. C. Scott, and E. H. Shortliffe, "Completeness and consistency in a rule-based system," inRule-Based Expert Systems, B. G. Buchanan and E. H. Shortliffe, Eds. Reading, MA: Addison-Wesley, 1984, ch. 8, pp. 159-170.
[57] W. R. Swartout, "XPLAIN: A system for creating and explaining expert consulting programs,"Artificial Intell., vol. 21, pp. 285-325, 1983.
[58] S. M. Sze, Ed.,VLSI Technology. New York: McGraw-Hill, 1983.
[59] M. Vilain, "The restricted language architecture of a hybrid representation system," inProc. Ninth Int. Joint Conf. Artificial Intelligence, Aug. 1985.
[60] R. C. Waters, "KBEmacs: A step towards the programmer's apprentice," MIT AI Lab, Tech. Rep. 753, 1985.
[61] D. Weinrebet al., Lisp Machine Manual, Symbolics, Inc., 1984.

Index Terms:
knowledge acquisition; knowledge-based systems; knowledge-based assistant; intelligent assistant; problem domain; inference knowledge; testing; validation; encoded knowledge; initial domain model; object-oriented programming language; user-interface; high level languages; inference mechanisms; knowledge acquisition; knowledge based systems; object-oriented programming; program verification; programming environments; user interfaces
Citation:
E. Schoen, R.G. Smith, B.G. Buchanan, "Design of Knowledge-Based Systems with a Knowledge-Based Assistant," IEEE Transactions on Software Engineering, vol. 14, no. 12, pp. 1771-1791, Dec. 1988, doi:10.1109/32.9063
Usage of this product signifies your acceptance of the Terms of Use.