Generalized procedure calling and content-directed invocation
- 1 August 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGART Bulletin
- No. 64,p. 45-54
- https://doi.org/10.1145/872736.806931
Abstract
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.Keywords
This publication has 10 references indexed in Scilit:
- Production rules as a representation for a knowledge-based consultation programArtificial Intelligence, 1977
- An Overview of KRL, a Knowledge Representation LanguageCognitive Science, 1977
- The competence/performance dichotomy in programming preliminary reportPublished by Association for Computing Machinery (ACM) ,1977
- The selection of efficient implementations for a high-level languagePublished by Association for Computing Machinery (ACM) ,1977
- Focus of Attention in the Hearsay-II Speech Understanding SystemPublished by Defense Technical Information Center (DTIC) ,1977
- A model of inexact reasoning in medicineMathematical Biosciences, 1975
- Organization of the Hearsay II speech understanding systemIEEE Transactions on Acoustics, Speech, and Signal Processing, 1975
- Reasoning about programsArtificial Intelligence, 1974
- Recent Developments in SAIL. An ALGOL-Based Language for Artificial IntelligencePublished by Defense Technical Information Center (DTIC) ,1972
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971