article

Free access

Generalized procedure calling and content-directed invocation

Author:

Randall DavisAuthors Info & Claims

ACM SIGART Bulletin, Issue 64

Pages 45 - 54

https://doi.org/10.1145/872736.806931

Published: 01 August 1977 Publication History

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.

References

[1]

Barstow D R, A knowledge-base for organizing rules about programming, Proc Pattern-Directed Inference Systems Workshop, to appear.

[2]

Bobrow D, Winograd T, An overview of KRL, Cognitive Science, vol. 1, pp 3:47, January 1977.

[3]

Davis R, Applications of meta level knowledge to the construction, maintenance, and use of large knowledge bases, Stanford HPP Memo 76-7, July 1976.

[4]

Davis R, King, J J. An overview of production systems, in MI 8: Machine Representations of Knowledge, (Elcock and Michie, eds), John Wiley, 1977.

[5]

Davis R, Knowledge about representations as a basis for system construction and maintenance, to appear in Pattern-Directed Inference Systems, (Waterman and Hayes-Roth, eds.), Academic Pres, (in press).

[6]

Davis R, Interactive transfer of expertise, to appear in Proc 5th IJCAI, Aug 1977.

[7]

Davis R, Buchanan B G, Meta-level knowledge: overview and applications, to appear in Proc 5th IJCAI, Aug 1977.

[8]

Davis R, Buchanan B G, Shortliffe E H, Production rules as a representation for a knowledge-based consultation system, Artificial Intelligence, 8:15-45, Spring 1977.

Digital Library

[9]

Feldman J, et. al, Recent developments in SAIL, an ALGOL-based language for artificial intelligence, Stanford AI Memo 176, November 1972.

Digital Library

[10]

Fikes R, Nilsson N, STRIPS- a new approach to the application of theorem proving to problem solving, Artificial Intelligence, 2:189-208, Winter 1971.

[11]

Green C C, The design of the PSI program synthesis system, Proc 2nd Internatnl Conf on Software Engineering, Oct 1976.

Digital Library

[12]

Green C C, The application of theorem proving to question answering systems, Stanford AI Memo 96, August 1969.

[13]

Hayes-Roth F, Lesser V R, Focus of attention in the HEARSAY II speech understanding system, Carnegie-Mellon Computer Science Dept Report, January 1977.

[14]

Hewitt C, Description and theoretical analysis of PLANNER, PhD Thesis, Department of Mathematics, MIT, 1972.

[15]

Kant E, The selection of efficient implementations for a high-level language, Proc AIIPL Conf, to appear.

Digital Library

[16]

Lenat D B, AM: an AI approach to discovery in mathematics as heuristic search, Stanford AI Memo 286, July 1976.

[17]

Lesser V R, Fennell R D, Erman L D, Reddy D R, Organization of the HEARSAY II speech understanding system, IEEE Transactions on Acoustics, Speech, and Signal Processing, ASSP-23, February 1975, pp 11-23.

[18]

Newell A, Heuristic programming: ill-structured problems, in Progress in Operations Research, (Aronofsky, ed.), 3:362-414.

[19]

Newell A, Simon H A, Human Problem Solving, Prentice Hall, 1972.

Digital Library

[20]

Pratt V R, The Competence/Performance Dichotomy in Programming. Fourth ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, Santa Monica, CA, Jan. 1977. pp. 194-200.

Digital Library

[21]

Rulifson J F, et. al., QA4: A procedural calculus for intuitive reasoning, Stanford Research Institute Technical Note 73, November 1972.

[22]

Shortliffe E H, Buchanan B G, A model of inexact reasoning in medicine, Mathematical Biosciences 23 (1975) pp 351-379.

[23]

Shortliffe E H, MYCIN: Computer-based Medical Consultations, American Elsevier, 1976.

[24]

Waldinger R, Levitt K N, Reasoning about programs, Artificial Intelligence, 5:235-316, Fall 1974.

Cited By

Navabi DDelcambre L(1997)Multi-Path Reasoning in a DatabaseJournal of Intelligent Information Systems10.1023/A:10086777083938:3(245-266)Online publication date: 1-Jun-1997
https://dl.acm.org/doi/10.1023/A%3A1008677708393
Davis R(1981)Interactive Transfer of Expertise: Acquisition of New Inference RulesReadings in Artificial Intelligence10.1016/B978-0-934613-03-3.50031-3(410-428)Online publication date: 1981
https://doi.org/10.1016/B978-0-934613-03-3.50031-3
Davis R(1980)Meta-rules: Reasoning about controlArtificial Intelligence10.1016/0004-3702(80)90043-015:3(179-222)Online publication date: Dec-1980
https://doi.org/10.1016/0004-3702(80)90043-0
Show More Cited By

Index Terms

Generalized procedure calling and content-directed invocation
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
  2. Machine learning
    1. Machine learning approaches
      1. Rule learning

Recommendations

Generalized procedure calling and content-directed invocation
Proceedings of the 1977 symposium on Artificial intelligence and programming languages

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, ...
Generalized procedure calling and content-directed invocation
Proceedings of the 1977 symposium on Artificial intelligence and programming languages

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 formal model and specification language for procedure calling conventions
POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Procedure calling conventions are used to provide uniform procedure-call interfaces. Applications, such as compilers and debuggers, which generate, or process procedures at the machine-language abstraction level require knowledge of the calling ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGART Bulletin

ACM SIGART Bulletin Just Accepted

Proceedings of the 1977 symposium on Artificial intelligence and programming languages

August 1977

179 pages

ISSN:0163-5719

DOI:10.1145/872736

Issue’s Table of Contents

Proceedings of the 1977 symposium on Artificial intelligence and programming languages
August 1977
185 pages
ISBN:9781450378741
DOI:10.1145/800228
Chairman:
James Low

Copyright © 1977 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1977

Published in SIGAI , Issue 64

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
696
Total Downloads

Downloads (Last 12 months)95
Downloads (Last 6 weeks)24

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Navabi DDelcambre L(1997)Multi-Path Reasoning in a DatabaseJournal of Intelligent Information Systems10.1023/A:10086777083938:3(245-266)Online publication date: 1-Jun-1997
Davis R(1981)Interactive Transfer of Expertise: Acquisition of New Inference RulesReadings in Artificial Intelligence10.1016/B978-0-934613-03-3.50031-3(410-428)Online publication date: 1981
Davis R(1980)Meta-rules: Reasoning about controlArtificial Intelligence10.1016/0004-3702(80)90043-015:3(179-222)Online publication date: Dec-1980
(1978)BIBLIOGRAPHYPattern-Directed Inference Systems10.1016/B978-0-12-737550-2.50036-1(603-646)Online publication date: 1978
(2014)Readings in Artificial IntelligenceundefinedOnline publication date: 12-May-2014
Zarri GDuncan KRoth AMikelskas B(1984)A fifth generation approach to intelligent information retrievalProceedings of the 1984 annual conference of the ACM on The fifth generation challenge10.1145/800171.809601(30-41)Online publication date: 1-Jan-1984
Mizoguchi RKakusho O(1979)Hierarchical production systemProceedings of the 6th international joint conference on Artificial intelligence - Volume 110.5555/1624861.1624993(586-588)Online publication date: 20-Aug-1979
Winograd T(1979)Beyond programming languagesCommunications of the ACM10.1145/359131.35913322:7(391-401)Online publication date: 1-Jul-1979
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents