Abstract
The relationship between theories of knowledge-based problem solving and application-level programs is not well understood. The traditional view has been that given some knowledge-based systems theory, a successful application program built following the theory provides strong support for the theory. This viewpoint fails largely because the link between theory and application is totally through the human implementer of the application program. Insight for how to cope with this problem can be obtained from the Knowledge Level Hypothesis (KLH) of Newell. But in order for the KLH to be helpful, we must extend it to incorporate concepts of control knowledge. After describing the theory/application linkage problem, we go on to give an overview of the task specific approaches to knowledge-based system. We then discuss both Newell’s KLH and an extension to it that will help in solving the AI Theory/AI application linkage problem. We end with the recommendation that knowledge-based systems theory could be grouped with those disciplines in which theory verification by experimental inquiry is the norm.
Sticklen and Wallingford gratefully acknowledge the support of DAPRA (ARPA 8673), the NSF Center for High Speed Low Cost Polymer Composites Processing at MSU (EEC-9108846), the McDonnell Douglas Research Laboratories, and generous equipment support from Apple Computer.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Buchanan, B. and E.H. Shortliffe, Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. 1984, Addison-Wesley.
Shortliffe, E.H., Computer Based Medical Consultations: MYCIN. 1976, Elsevier North Holland Inc.
Chandrasekaran, B. Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks, in IJCAI-87. 1987. Milan.
Duda, R.O. and J. Gaschnig, Model Design in the Prospector Consultant System for Mineral Exploration, in Expert Systems in the Micro-Electronic Age, D. Michie, Editor. 1979, Edinburgh University Press.
Bylander, T. and B. Chandrasekaran, Generic Tasks for Knowledge-Based Reasoning: The ‘Right’ Level of Abstraction for Knowledge Acquisition. Int. J. Man-Machine Studies, 1987. 26(2): p. 231–243.
Gruber, T. and P. Cohen, Design for Acquisition: Principles of Knowledge-System Design to Facilitate Knowledge Acquisition. International Journal of Man-Machine Studies, 1987. 26: p. 143–159.
Chandrasekaran, B. Decomposition of Domain Knowledge into Knowledge Sources: The MDX Approach, in Proc. 4th Nat. Conf. Canadian Society for Computational Studies of Intelligence. 1982.
Chandrasekaran, B., Towards a Taxonomy of Problem-Solving Types. AI Magazine, 1983. 4(1): p. 9–17.
Chandrasekaran, B., Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design. IEEE Expert, 1986. p. 23–30.
Chandrasekaran, B., J.W. Smith, and J. Sticklen, Deep Models and their Relation to Diagnosis, in Artificial Intelligence in Medicine, Fumkawa, Editor. 1989, Science Publishers: Amsterdam, Netherlands.
Clancey, W.J. NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application To Teaching. in Proceedings of IJCAI 7. 1981.
Clancey, W.J. Advantages of Abstract Control Knowledge in Expert System Design. in Proceedings of AAAI. 1983.
Clancey, W.J. Classification Problem Solving in Proceedings of the AAAI. 1984.
Clancey, W.J., Representing Control Knowledge as Abstract Tasks and Metarules. 1985, Stanford University: Palo Alto.
McDermott, J., Preliminary Steps Toward a Taxonomy of Problem-Solving Methods, in Automating Knowledge Acquisitionfor Expert Systems, S. Marcus, Editor. 1988, Kluver Academic Publishers: Boston. p. 225–255.
Steels, L., The Components of Expertise. AI Magazine, 1990. Summer, 1990.
Breuker, J. and B. Wielinga, Models of Expertise in Knowledge Acquisition, in Topics in Epxert Systems Design: Methodologies and Tools, G. Guida and C. Tasso, Editor. 1989, North Holland Publishing Company: Amsterdam.
Newell, A., The Knowledge Level. AI Magazine, 1982. Summer: p. 1–19.
Sticklen, J., Problem Solving Architectures at the Knowledge Level. Journal of Experimental and Theoretical Artificial Intelligence, 1989. 1: p. 1–52.
Dietterich, T.G., Learning at the Knowledge Level. Machine Learning, 1986. 1: p. 287–316.
Conant, J.B., Science and Common Sense. 1951, Yale University Press.
Van de Velde, W. Tractable Rationality at the Knowledge Level. in Artificial Intelligence and Simulation of Behaviour (AISB). 1991. Leeds, GB: Springer-Verlag.
Newell, A., et al., Formulating the problem space computational model, in Carnegie-Mellon Computer Science: A 25-year Commemorative Reading, R.F. Rashid, Editor. 1991, ACM-Press, Addison-Wesley.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sticklen, J., Wallingford, E. (1993). On The Relationship between Knowledge-based Systems Theory and Application Programs: Leveraging Task Specific Approaches. In: David, JM., Krivine, JP., Simmons, R. (eds) Second Generation Expert Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77927-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-77927-5_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-77929-9
Online ISBN: 978-3-642-77927-5
eBook Packages: Springer Book Archive