Generalized procedure calling and content-directed invocation

We suggest that the concept of a strategy can profitably be viewed as knowledge about how to select from among a set of plausibly useful knowledge sources , and explore the framework for knowledge organization which this implies. We describe meta rules , a means of encoding strategies that has been implemented in a program called TEIRESIAS, and explore their utility and contribution to problem solving performance. Meta rules are also considered in the broader context of a tool for programming. We show that they can be considered a medium for expressing the criteria for retrieval of knowledge sources in a program, and hence can be used to define control regimes. The utility of this as a programming mechanism is considered. Finally, we describe the technique of content-directed invocation used by meta rules, and consider its use as a way of implementing strategies. It is also considered in historical perspective as a knowledge source invocation technique, and its advantage over some existing mechanisms like goal-directed invocation is considered. This work was supported in part by the Bureau of Health Sciences Research and Evaluation of HEW under Grant HS-01544 and by the Advanced Research Projects Agency under ARPA Order 2494. It was carried out on the SUMEX Computer System, supported by the NIH under Grant RR-00785. The views expressed are solely those of the author.

[1]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[2]  Jerome A. Feldman,et al.  Recent developments in SAIL: an ALGOL-based language for artificial intelligence , 1972, AFIPS '72 (Fall, part II).

[3]  Victor Lesser,et al.  Organization of the Hearsay II speech understanding system , 1975 .

[4]  Victor R. Lesser,et al.  Focus of Attention in the Hearsay-II Speech Understanding System , 1977, IJCAI.

[5]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[6]  Edward H. Shortliffe,et al.  Production Rules as a Representation for a Knowledge-Based Consultation Program , 1977, Artif. Intell..

[7]  Vaughan R. Pratt.  The competence/performance dichotomy in programming preliminary report , 1977, POPL '77.

[8]  C. Cordell Green.  The design of the PSI program synthesis system , 1976, ICSE '76.

[9]  Richard J. Waldinger,et al.  QA4: A Procedural Calculus for Intuitive Reasoning. , 1972 .

[10]  Elaine Kant.  The selection of efficient implementations for a high-level language , 1977, SIGART Newsl..

[11]  Bruce G. Buchanan,et al.  Meta-Level Knowledge: Overview and Applications , 1977, IJCAI.

[12]  Randall Davis,et al.  An overview of production systems , 1975 .

[13]  E. Shortliffe.  Mycin: computer-based medical consultations , 1976 .

[14]  Douglas B. Lenat,et al.  AM, an artificial intelligence approach to discovery in mathematics as heuristic search , 1976 .

[15]  Karl N. Levitt,et al.  Reasoning about programs , 1973, Artif. Intell..

[16]  C. Cordell Green,et al.  The Application of Theorem Proving to Question-Answering Systems , 1969, Outstanding Dissertations in the Computer Sciences.

[17]  Edward H. Shortliffe,et al.  A model of inexact reasoning in medicine , 1990 .

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