Abstract
We have for several years been working on an approach to knowledge system building that argues for the existence of a close connection between the tasks which the knowledge system is intended to solve, the methods chosen for them and the vocabulary in which knowledge is to be modeled and represented. We trace the historical origins of the idea that we have called Generic Tasks, and outline their evolution and accomplishments based on them. We then critique their original implementations from the perspective of flexible integration. We follow this with an outline of our current generalization of the view in the form of a theory of task structures. We describe the architectural implications of this view and outline some research directions.
Portions of this paper appear as part of Chandrasekaran, B., Johnson, T.R., Smith, J.W.: Task-structure analysis for knowledge modeling. Communications of the ACM, (September) 1992.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allemang, D., Rothenfluh, T.E.: Acquiring knowledge of knowledge acquistion: a self-study of generic tasks. Current Developments in Knowledge Acquisition, Proc. of the Sixth European Knowledge Acquisition Workshop—EKAW 92, (ed. Wetter, T., Acthoff, K.D., Gaines, B.R., Linster, M. & Schmalhofer, F.), 353–372, Springer-Verlag, Berlin, 1992
Benjamins, R.V., Abu-Hanna, A., Jansweijer, W.N.H.: Dynamic method selection in diagnostic reasoning. 12th Avignon International Congress on Artificial Intelligence, 155–164, 1992
Breuker, J., Wielinga, B.: Models of expertise in knowledge acquisition. Topics in Expert System Design, (ed. Guida, G. & Tasso, C.), 265–295, Elsevier Science Publishers B. V., North-Holland, 1989
Brown, D.C.: Expert Systems for Design Problem-Solving Using Design Refinement with Plan Selection and Redesign. PhD. Thesis, Dept of Computer and Information Science, The Ohio State University, Columbus, Oh, 1984
Brown, D.C., Chandrasekaran, B.: Expert Systems for a Class of Mechanical Design Activity. Knowledge Engineering in Computer-Aided Design, (ed. Gero, J.S.), 259–282, North-Holland, New York, 1985
Brown, D.C., Chandrasekaran, B.: Design Problem Solving: Knowledge Structures and Control Strategies. Morgan Kaufmann Publishers, San Mateo, California, 1989
Bylander, T., Allemang, D., Tanner, M.C., Josephson, J.R.: The computational complexity of abduction. Artificial Intelligence, 49(1991):25–60, 1991
Bylander, T., Chandrasekaran, B.: Generic Tasks for knowledge-based reasoning: The “right” level of abstraction for knowledge acquisition. Int. J. Man-Machine Studies, 26:231–243, 1987
Bylander, T., Johnson, T.R., Goel, A.: Structured matching: A task-specific technique for making decisions. Knowledge Acquisition, 3(1):1–20, 1991
Bylander, T., Mittal, S.: CSRL: A language for classificatory problem solving. AI Magazine, VII(3):66–77, 1986
Chandrasekaran, B.: Towards a Taxonomy of Problem Solving Types. AI Magazine, 4(1):9–17, 1983
Chandrasekaran, B.: Generic tasks in expert system design and their role in explanation of problem solving. Proceedings of the National Academy of Sciences/Office of Naval Research Workshop on AI and Distributed Problem Solving, National Academy of Sciences, Washington, D.C., 1985
Chandrasekaran, B.: Generic tasks in knowledge-based reasoning: High-level building blocks for expert system design. IEEE Expat, 1(3):23–30, 1986
Chandrasekaran, B.: Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks. Proceedings of the Tenth International Joint Conference on Artificial Intelligence, (ed. McDermott, J.), 1183–1192, Morgan Kaufmann Publishers, Inc., Los Altos, California, 1987
Chandrasekaran, B.: Task-structures, knowledge acquisition, and learning. Machine Learning, 4:93–99, 1989
Chandrasekaran, B.: Design Problem Solving: A Task Analysis. AI Magazine, 11(4):59–71, 1990
Chandrasekaran, B.: Models versus rules, deep versus compiled, content versus form: some distinctions in knowledge systems research. IEEE Expert, April:75–79, 1991
Chandrasekaran, B., Mittal, S.: Conceptual representation of medical knowledge for diagnosis by computer: MDX and related systems. Advances in Computers, (ed. Yovits, M.), 217–293, Academic Press, 1983
Chandrasekaran, B., Mittal, S., Gomez, F., Smith, J.W.: An approach to medical diagnosis based on conceptual structures. Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 134–142, UCAI, Tokyo, Japan, 1979
Chandrasekaran, B., Mittal, S., Smith, J.W.: RADEX—Toward a Computer-Based Radiology Consultant. Pattern Recognition in Practice, (ed. Kanal & Gelsema), 463–474, North Holland Publishing Co., 1980
Chandrasekaran, B., Mittal, S., Smith, J.W.: Reasoning with uncertain knowledge: The MDX approach. Proceedings of the 1982 Congress of the American Medical Informatics Association, (ed. Lindberg, D.A.B.), 335–339, Masson Publishing, U.S.A, 1982
Chandrasekaran, B., Tanner, M., Josephson, J.: Explaining Control Strategies in Problem Solving. IEEE Expert, 4(1): pp. 9–24, 1989
Clancey, W.J.: Heuristic classification. Artificial Intelligence, 27(3):289–350, 1985
Clancey, W.J.: From GUIDON to NEOMYCIN and HERACLES in twenty short lessons: ORN final report 1979–1985. AI Magazine, 7(3):40–60, 1986
David, J.-M.: Functional architectures and the Generic Task approach. Knowledge Engineering Review, 3(3):212–215, 1988
David, J.M., Krivine, J.P.: Diva: An expert system for vibration-based monitoring of large rotating machinery. Technical Report, Laboratoires de Marcoussis, France, 1988
Eshelman, L.: MOLE: A knowledge-acquisition tool for cover-and-differentiate systems. Automating Knowledge Acquisition for Expert Systems, (ed. Marcus, S.), 37–80, Kluwer Academic Publishers, 1988
Goel, A., Bylander, T.: Computational Feasibility of Structured Matching. IEEE Transactions on Pattern Analysis and Machine Intelligence, 11(12):1312–1316, 1989
Goel, A., Callantine, T.: An Experience-Based Approach to Navigational Path Planning. Proceedings of the IEEE/Robotics Society of Japan International Conference on Robotics and Systems, 705–710, IEEE Press, 1992
Goel, A., Soundararajan, N., Chandrasekaran, B.: Complexity in Classificatory Reasoning. Proc. Sixth National Conference on Artificial Intelligence, 421–425, Morgan Kaufmann Publishers, Inc., Los Altos, California, 1987
Goel, A.K., Chandrasekaran, B.: Case-based design: a task analysis. Artificial Intelligence in Engineering, (ed. Tong, C. & Sriram, D.), 165–183, Academic Press, NY, 1992
Gomez, F., Chandrasekaran, B.: Knowledge organization and distribution for medical diagnosis. IEEE Trans. Systems, Man and Cybernetics, 11(1):34–42, 1981
Gruber, T., Cohen, P.: Design for acquisition: Principles of knowledge system design to facilitate knowledge acquistion. International Journal of Man-Machine Studies, 26(2):143–159, 1987
Hadzikadic, M., Yun, D.: Characterization of application domains for the expert system technology. AAAI Workshop of High Level Tools for Knowledge-Based Systems, Laboratory for AI Research, The Ohio State University, Columbus, 1986
Harvey, A.M.: Differential Diagnosis, The Interpretation of Clinical Evidence. W. B. Saunders, 1972
Herman, D.J.: An Extensible, Task-Specific Shell for Routine Design Problem Solving. PhD. Thesis, Department of Computer and Information Science, The Ohio State University, Columbus, Oh, 1992
Iwasaki, Y., Keller, R., Feigenbaum, E.: Generic tasks or wide-ranging knowledge bases? The Knowledge Engineering Review, 3(3):215–216, 1988
Johnson, K., Stickten, J., Smith, J.W.: IDABLE—Application of an intelligent data base to medical systems. Working Notes of the 1988 AAAI Spring Symposium on Artificial Intelligence in Medicine, 43–44, AAAI, Stanford, Ca., 1988
Johnson, K.A., Johnson, T.R., Smith, J.W., Jr., DeJongh, M., Fischer, O., Amra, N.K., Bayazitoglu, A.: RedSoar—A system for red blood cell antibody identification. Proceedings of the Fifteenth Annual Symposium on Computer Applications in Medical Care, 664–668, McGraw Hill, Washington D.C., 1991
Johnson, T.R.: Generic Tasks in the Problem-Space Paradigm: Building Flexible Knowledge Systems While Using Task-Level Constraints. Ph.D. Thesis, Dept of Computer and Information Science, The Ohio State University, Columbus, Oh, 1991
Johnson, T.R., Smith, J.W., Bylander, T.: HYPER—Hypothesis matching using compiled knowledge. Proceedings of the AAMSI Congress 1989, (ed. Hammond, W.E.), 126–130, American Association for Medical Systems and Informatics, San Francisco, California, 1989
Johnson, T.R., Smith, J.W., Chandrasekaran, B.: Generic tasks and Soar. Working Notes of the AAAI-89 Spring Symposium on Knowledge System Development Tools and Languages, 25–28, AAAI, Stanford University, 1989
Johnson, T.R., Smith, J.W., Chandrasekaran, B.: Task-specific architectures for flexible systems. The Soar Papers: Research on Integrated Intelligence, (ed. Rosenbloom, P.S., Laird, J.E. & Newell, A.), The MIT Press, In press
Josephson, J., Chandrasekaran, B., Smith, J., Tanner, M.: A mechanism for forming composite explanatory hypotheses. IEEE Transactions on Systems, Man, and Cybernetics, 17(3):445–454, 1987
Josephson, J., Josephson, S.: Abduction: Computation, Philosophy, Technology. Cambridge University Press, In Press
Josephson, J., Smetters, D., Fox, R., Oblinger, D., Welch, A., Northrup, G.: Integrated Generic Task Toolset—Fafner Release 1.0: Introduction and User’s Guide. Technical Report, Laboratory for AI Research, The Ohio State University, Columbus, Oh, 1989
Laird, J.E., Newell, A., Rosenbloom, P.S.: SOAR: An architecture for general intelligence. Artificial Intelligence, 33:1–64, 1987
Marcus, S.: Salt: A knowledge acquisition tool for propose-and-revise systems. Automating Knowledge Acquisition for Expert Systems, (ed. Marcus, S.), 81–123, Kluwer Academic Publishers, Boston, 1988
McDermott, J.: Preliminary steps toward a taxonomy of problem-solving methods. Automating Knowledge Acquisition for Expert Systems, (ed. Marcus, S.), 225–256, Kluwer Academic Publishers, 1988
Miller, R.A., Pople, H.E., Jr., Myers, J.D.: Internist I, An Experimental Computer-Based Diagnostic Consultant for General Internal Medicine. The New England Journal of Medicine, 307:468–476, 1982
Minsky, M.: The Society of the Mind. Simon and Schuster, 1985
Mittal, S.: Event-Based Organization of Temporal Data Bases. Proceedings of the Fourth Biennal Conference of the Canadian Society for Computational Studies of Intelligence, 164–171, CSCSI, Toronto, Ontario, 1982
Mittal, S., Chandrasekaran, B.: Patrec: A knowledge-directed database for a diagnostic expert system. IEEE Computer, 17(9):51–58, 1984
Musen, M.A.: Generation of Model-Based Knowledge-Acquisition Tools for Clinical-Trial Advice Systems. PhD Thesis, Stanford, 1988
Narayanan, N.H., Chandrasekaran, B.: Reasoning visually about spatial interactions. Proc. 12th UCAI, 360–365, Morgan Kaufman, Mountain View, CA, 1991
Newell, A.: The Knowledge Level. AI Magazine, (Summer): 1–19, 1981
Patii, R.S.: Causal Representation of Patient Illness for Electrolyte and Acid-base Diagnosis. Ph.D. Thesis, Massachusetts Institute of Technology, 1981
Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufman, 1988
Peng, Y., Reggia, J.A.: Abductive Inference Models for Diagnostic Problem-Solving. Springer-Verlag, New York, 1990
Pople, H.: On the mechanization of abductive logic. Proc. of the International Joint Conference on Artificial Intelligence, 147–152, IJCAI, 1973
Punch III, W.F., Tanner, M.C., Josephson, J.R., Smith, J.W.: Peirce: A tool for experimenting with abduction. IEEE Expat, 5(5):34–44, 1990
Punch, W.F.: A Diagnosis System Using a Task Integrated Problem Solver Architecture (TIPS), Including Causal Reasoning. Ph.D. Thesis, Department of Computer and Information Science, The Ohio State University, Columbus, Oh, 1989
Reiter, R.A.: A theory of diagnosis from first principles. Artificial Intelligence, 32:57–95, 1987
Schank, R.C.: Conceptual dependency: a theory of natural language understanding. Cognitive Psychology, 3:552–631, 1972
Sembugamoorthy, V., Chandrasekaran, B.: A Representation for the Functioning of Devices that Supports Compilation of Expert Problem Solving Structures. Experience, Memory and Reasoning, (ed. Kolodner, J.L. & Riesbeck, C.K.), 47–73, Lawrence Erlbaum Associates, Hillsdale, NJ, 6
Steels, L.: Components of expertise. AI Magazine, 11(2):28–49, 1990
Sticklen, J.: MDX2 An Integrated Medical Diagnostic System. Ph.D. Dissertation, The Ohio State University, 1987
Tanner, M.C.: Explaining Knowledge Systems: Justifying Diagnostic Conclusions. Ph.D. Thesis, Dept. of Computer and Information Science, The Ohio State University, Columbus, Oh, 1989
Van Marcke, K.: A generic tutoring environment. Proc. ECAI-90, (ed. Aiello, L.), 655–660, Pitman, London, 1990
Vanwelkenhuysen, J., Rademakers, P.: Mapping knowledge-level analysis onto a computational framework. Proc. ECAI-90, (ed. Aiello, L.), 681–686, Pitman, London, 1990
Weintraub, M.A.: An Explanation-Based Approach to Assigning Credit. Ph.D. Thesis, Dept. of Computer and Information Science, The Ohio State University, Columbus, Oh, 1991
Wielinga, B.J., Schreiber, A.T., Breuker, J.A.: KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4:5–53, 1992
Wilks, Y.A.: A preferential pattern-seeking semantics for natural language inference. Artificial Intelligence, 6:53–74, 1975
Wittgenstein, L.: Proposition 560, Philosophical Investigations. McMillan, New York, 1953
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
Chandrasekaran, B., Johnson, T.R. (1993). Generic Tasks and Task Structures: History, Critique and New Directions. 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_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-77927-5_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-77929-9
Online ISBN: 978-3-642-77927-5
eBook Packages: Springer Book Archive