The competence/performance dichotomy in programming preliminary report
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The selection of efficient implementations for a high-level language
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Recent developments in SAIL, an algol-based language for artificial intelligence.
Recent developments in SAIL, an algol-based language for artificial intelligence.
Human Problem Solving
Communications of the ACM
A fifth generation approach to intelligent information retrieval
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Meta-level knowledge: overview and applications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Controlling knowledge deduction in a declarative approach
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Building the inference component of an historical information retrieval system
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Search methods using heuristic strategies
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Interactive transfer of expertise: acquisition of new inference rules
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A framework for control in production systems
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Hierarchical production system
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.02 |
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.