Abstract
A poorly designed knowledge base can be as cryptic as an arbitrary program and just as difficult to maintain. Representing inference procedures abstractly, separately from domain facts and relations, makes the design more transparent and explainable. The combination of abstract procedures and a relational language for organizing domain knowledge provides a generic framework for constructing knowledge bases for related problems in other domains and also provides a useful starting point for studying the nature of strategies. In HERACLES inference procedures are represented as abstract metarules, expressed in a form of the predicate calculus, organized and controlled as rule sets. A compiler converts the rules into Lisp code and allows domain relations to be encoded as arbitrary data structures for efficiency. Examples are given of the explanation and teaching capabilities afforded by this representation. Different perspectives for understanding HERACLES’ inference procedure and how it defines a relational knowledge base are discussed in some detail.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aikins J. S. Representation of control knowledge in expert systems, in Proceedings of the First AAAI, pages 121–123, 1980.
Anderson, J. R., Greeno, J. G., Kline, P. J., and Neves, D. M. Acquisition of problem-solving skill. In J. R. Anderson (editor), Cognitive Skills and their Acquisition, pages 191–230. Lawrence Erlbaum Associates, Hillsdale, NJ, 1981.
Bobrow, D. G. and Stefik, M. The LOOPS Manual. (Xerox PARC).
Brown, J. S. Remarks on building expert systems (Reports of panel on applications of artificial intelligence), in Proceedings of the Fifth International Joint Conference on Artificial Intelligence, pages 994–1005, 1977.
Brown, J. S. Process versus product-a perspective on tools for communal and informal electronic learning, in Education in the Electronic Age, proceedings of a conference sponsored by the Educational Broadcasting Corporation, WNET/Thirteen, July, 1983.
Brown, J. S., Collins, A., and Harris, G. Artificial intelligence and learning strategies. In O’Neill (editor), Learning Strategies, . Academic Press, New York, 1977.
Brown, J. S., Burton, R. R., and de Kleer, J. Pedagogical, natural language, and knowledge engineering techniques in SOPHIE I, II, and III. In D. Sleeman and J. S. Brown (editors), Intelligent Tutoring Systems, pages 227–282. Academic Press, London, 1982.
Brown, J. S., Moran, T. P., and Williams, M. D. The semantics of procedures: A cognitive basis for training procedural skills for complex system maintenance. (Xerox Corporation, CIS working paper, November 1982).
Bruner, J. S., Goodnow, J. J., and Austin, G. A. A Study of Thinking. New York: John Wiley & Sons, Inc. 1956.
Clancey, W. J. Tutoring rules for guiding a case method dialogue. The International Journal of Man-Machine Studies, 1979, 11, 25–49. (Republished in Sleeman and Brown (editors), Intelligent Tutoring Systems, Academic Press, 1982).
Clancey, W. J. GUIDON. In Barr and Feigenbaum (editors), The Handbook of Artificial Intelligence, chapter Applications-oriented AI research: Education pages 267–278. William Kaufmann, Inc., Los Altos, 1982.
Clancey, W. J. Applications-oriented AI research: Education. In Barr and Feigenbaum (editors), The Handbook of Artificial Intelligence, pages 223–294. William Kaufmann, Inc., Los Altos, 1982.
Clancey, W. J. The epistemology of a rule-based expert system: A framework for explanation. Artificial Intelligence, 1983, 20(3), 215–251.
Clancey, W. J. The advantages of abstract control knowledge in expert system design, in Proceedings of the National Conference on Artificial Intelligence, pages 74–78, Washington, D.C., August, 1983.
Clancey, W.J. Methodology for Building an Intelligent Tutoring System. In Kintsch, Miller, and Poison (editors), Method and Tactics in Cognitive Science, pages 51–83. Lawrence Erlbaum Associates, Hillsdale, NJ, 1984.
Clancey, W. J. Acquiring, representing, and evaluating a competence model of diagnosis. HPP Memo 84–2, Stanford University, February 1984. (To appear in M. Chi, R. Glaser, and M. Farr (Eds.), The Nature of Expertise, in preparation.).
Clancey, W. J. Heuristic Classification. Artificial Intelligence, December 1985, 27, 289–350.
Clancey, W.J. and Bock, C. MRS/NEOMYCIN: Representing metacontrol in predicate calculus. HPP Memo 82–31, Stanford University, November 1982.
Clancey, W. J. and Letsinger, R. NEOMYCIN: Reconfiguring a rule-based expert system for application to teaching. In .Clancey, W. J. and Shortliffe, E. H. (editors), Readings in Medical Artificial Intelligence: The First Decade, pages 361–381. Addison-Wesley, Reading, 1984.
Cohen, D. and Goldman, N. Efficient compilation of virtual database specifications. (U.S.C. Information Sciences Institute).
Corkill, D. D., Lesser, V. R., and Hudlicka, E. Unifying data-directed and goal-directed control: An example and experiments, in Proceedings of the National Conference on Artificial Intelligence, pages 143–147, August, 1982.
Dahl, O. J., Dijkstra, E. W., and Hoare, C. A. R. Structured Programming. New York: Academic Press 1972.
Davis R. Applications of meta-level knowledge to the construction, maintenance, and use of large knowledge bases. HPP Memo 76–7 and AI Memo 283, Stanford University, July 1976.
Davis, R. Meta-rules: reasoning about control. Artificial Intelligence, 1980, 15, 179–222.
Davis, R., Buchanan, B., and Shortliffe, E. H. Production rules as a representation for a knowledge-base consultation program. Journal of Artificial Intelligence, 1977, 8(1), 15–45.
de Kleer, J. Qualitative and quantitative reasoning in classical mechanics. In P. H. Winston and R. H. Brown (editors), Artificial Intelligence: An MIT Perspective, pages 9–30. The MIT Press, Cambridge, 1979.
de Kleer, J. Choices without backtracking, in Proceedings of the National Conference on Artificial Intelligence, pages 79–85, Austin, August, 1984.
Doyle. J. A Model for Deliberation, Action and Introspection. Technical Report 581, M.I.T. Artificial Intelligence Laboratory, 1980.
Duda, R. O. and Shortliffe, E. H. Expert systems research. Science, 1983, 220, 261–268.
Eistein, A. S., Shulman, L. S., and Sprafka, S. A. Medical problem solving: An analysis of clinical reasoning. Cambridge: Harvard University Press 1978.
Erman, L. D., Hayes-Roth, F., Lesser, V. R., and Reddy, D. R. The Hearsay-II speech understanding system: Integrating knowledge to resolve uncertainty. Computing Surveys, 1980, 12(2), 213–253.
Erman, L. D., London, P. E., and Fickas, S. F. The design and example use of Hearsay-III, in Proceedings of the Seventh International Joint Conference on Artificial Intelligence, pages 409–415, August, 1981.
Feigenbaum, E. A. The art of artificial intelligence: I. Themes and case studies of knowledge engineering, in Proceedings of the 5th International Joint Conference on Artificial Intelligence, pages 1014–1029, Cambridge, August, 1977.
Feltovich, P. J., Johnson, P. E., Moller, J. H., and Swanson, D. B. The role and development of medical knowledge in diagnostic expertise. In W. J. Clancey and E. H. Shortliffe (editors), Readings in Medical Artificial Intelligence: The First Decade, pages 275–319. Addison- Wesley Publishing Company, Reading, 1984.
Friedland, P. E. Knowledge-based experiment design in molecular genetics. Technical Report STAN-CS-79–771, Stanford University, October 1979.
Genesereth, M. R. An overview of meta-level architecture, in Proceedings of The National Conference on Artificial Intelligence, pages 119–124, August, 1983.
Genesereth, M. R. Partial programs. HPP Memo 84–1, Stanford University, November 1984.
Georgeff, M. P. Procedural Control in Production Systems. Artificial Intelligence, 1982, (18), 175–201.
Greeno, J. G. Cognitive objectives of instruction: Theory of knowledge for solving problems and answering questions. In Klahr, (editor), Cognition and Instruction, . Erlbaum Associates, Hillsdale, NJ, 1976.
Hasling, D. W., Clancey, W. J., Rennels, G. R. Strategic explanations in consultation. The International Journal of Man-Machine Studies, 1984, 20(1), 3–19. Republished in Development in Expert Systems, ed. M. J. Coombs, Academic Press, London.
Hayes-Roth, B. BB1: An architecture for blackboard systems that control, explain, and learn about their own behavior. HPP Memo 84–16, Stanford University, December 1984.
Hewitt, C. E. Description and theoretical analysis (using schemata) of PLANNER: a language for proving theorems and manipulating models in a robot. Technical Report 258, MIT AI Laboratory, 1972.
Johnson, P. E. What kind of expert should a system be? The Journal of Medicine and Philosophy, 1983, 8, 77–97.
Laird, J. E. Universal Subgoaling. PhD thesis, Computer Science Department, Carnegie-Mellon University, 1983.
Laird, J. E., Rosenbloom, P. S., and Newell, A. Towards chunking as a general learning mechanism, in Proceedings of the National Conference on Artificial Intelligence, pages 188–192, Austin, August, 1984.
Lenat, D. B. The nature of heuristics. Artificial Intelligence, 1982, 19(2), 189–249.
London, B. and Clancey, W. J. Plan recognition strategies in student modeling: prediction and description, in Proceedings of the 2nd American Association for Artificial Intelligence, pages 335–338, 1982.
McCarthy, J. Programs with common sense, in Proceedings of the Teddington Conference on the Mechanization of Thought Processes, pages 403–410, 1960. (Reprinted in Semantic Information Processing, M. Minsky (Ed), MIT Press, Cambridge, 1968).
Miller, J. States of Mind. New York: Pantheon Books 1983.
Moore, R. C. The role of logic in knowledge representation and commonsense reasoning, in Proceedings of the National Conference on Artificial Intelligence, pages 428–433, Pittsburgh, August, 1982.
Genesereth, M. R., Greiner, R., and Smith, D. E. MRS Dictionary. MEMO HPP-S2–24, Stanford University, 1982.
Newell, A. and Simon, H. A. Human Problem Solving. Englewood Cliffs: Prentice-Hall 1972.
Nicolas, J. M. and Gallaire, H. Data base: Theory vs. interpretation. In H. Gallaire and J. Minker (editors), Logic and data bases, pages 33–54. Plenum Press, New York, 1977.
Novak, G. S., Jr. Data abstraction in GLISP. HPP Memo 82–34, Stanford University, 1982.
Papert, S. Mind storms: Children, Computers, and Powerful Ideas. New York: Basic Books, Inc. 1980.
Rich, C. Knowledge Representation Languages and Predicate Calculus, in Proceedings of the National Conference on Artificial Intelligence, pages 193–196, AAAI, 1982.
Richer, M.H. and Clancey, W.J. GUIDON-WATCH: A graphic interface for viewing a knowledge-based system. IEEE Computer Graphics and Applications, November 1985, 5(11), 51–64.
Rubin, A. D. Hypothesis formation and evaluation in medical diagnosis. Technical Report AI- TR-316, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, January 1975.
Rumelhart, D. E. and Norman, D. A. Representation in memory. Technical Report CHIP-116, Center for Human Information Processing, University of California, June 1983.
Sacerdoti, E. D. Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 1974, 5(2), 115–135.
Schmolze, J. G. and Lipkis, T. A. Classification in the KL-ONE knowledge representation system, in Proceedings of the Eighth International Joint Conference on Artificial Intelligence, pages 330–332, August, 1983.
Schoenfeld, A. H. Episodes and executive decisions in mathematical problem solving. Technical Report, Hamilton College, Mathematics Department, 1981. Presented at the 1981 AERA Annual Meeting, April 1981.
Shortliffe, E. H. Computer-based medical consultations: MYCIN. New York: Elsevier 1976.
Smith, R. G. Programming with rules in Strobe. (Schlumberger-Doll Research).
Sowa, J. F. Conceptual Structures. Reading, MA: Addison-Wesley 1984.
Stefik, M. Planning with constraints. STAN-CS-80–784 and HPP Memo 80–2, Stanford University, January 1980.
Swartout W. R. Explaining and justifying in expert consulting programs, in Proceedings of the 7th International Joint Conference on Artificial Intelligence, pages 815–823, Vancouver, August, 1981.
Szolovits, P., Hawkinson, L., and Martin, W. A. An overview of OWL, a language for knowledge representation. In G. Rahmstort and M. Ferguson (editor), Proceedings of the Workshop on Natural Language Interaction with Databases, pages 140–156. International Institute for Applied Systems Analysis, Schloss Laxenburg, Austria, 1978. (also appeared as MIT Techreport, TM-86, June 1977).
Thompson, T. and Clancey, W. J. A qualitative modeling shell for process diagnosis. IEEE Software, March 1986, 3(2), 6–15.
VanLehn, K. and Brown, J. S. Planning nets: a representation for formalizing analogies and semantic models of procedural skills. In R. E. Snow, Frederico, P. A., and Montague, W. E. (editor), Aptitude learning and instruction: Cognitive process and analyses, pages 95–138. Lawrence Erlbaum Associates, Hillsdale, NJ, 1980.
Young, R. L., Smith, R. G., and Pirie, G. Organizing a knowledge-based system for independence. (Schlumberger-Doll Research).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Clancey, W.J., Bock, C. (1988). Representing Control Knowledge as Abstract Tasks and Metarules. In: Bolc, L., Coombs, M.J. (eds) Expert System Applications. Symbolic Computation. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-83314-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-83314-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-83316-8
Online ISBN: 978-3-642-83314-4
eBook Packages: Springer Book Archive