Publication | Closed Access
Generalized procedure calling and content-directed invocation
24
Citations
12
References
1977
Year
Unknown Venue
EngineeringVerificationEvaluation StrategySoftware AnalysisFormal VerificationKnowledge TechnologyKnowledge Management StrategyContent-directed InvocationOperational SemanticsManagementKnowledge EngineeringMeta RulesMetaprogrammingStrategyComputer ScienceInformation ManagementStrategic ManagementUseful Knowledge SourcesKnowledge SharingProgram AnalysisAutomated ReasoningFormal MethodsBusinessEpistemologyKnowledge ManagementKnowledge ArchitectureKnowledge Organization
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1