This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Goal-Directed Reasoning with ACE-SSM
September/October 1998 (vol. 10 no. 5)
pp. 706-726

Abstract—The goal of knowledge-based systems (KBSs) is not only to produce a solution to a problem that these systems face but also to construct—implicitly or explicitly—a situation-specific model (SSM) that explicates the rationale behind that solution. This paper focuses on how KBSs can benefit from the availability of explicit goal knowledge that reflects the underlying structure (ontology) of SSMs constructed for an application task. It first shows how goal knowledge can be captured. Then, it explains how ACE-SSM—an architecture for constructing explicit SSMs—uses this knowledge to direct the construction of explicit SSMs. Finally, it discusses benefits that KBSs can derive from the availability of explicit SSMs and their underlying goal knowledge. Some of these benefits pertain to ways to simplify the construction and maintenance of KBSs through reuse, while others relate to ways to endow KBSs with more robust problem-solving and explanation capabilities. These benefits are illustrated using concrete examples.

[1] M. Benaroch, "Knowledge Modeling Driven by Situation-Specific Models," Int'l J. Human-Computer Interaction, forthcoming, 1998.
[2] V.R. Benjamins, "On the Role of Problem Solving Methods in Knowledge Acquisition—Experiments with Diagnostic Strategies," L. Steels, G. Schreiber, W. Van de Velde, eds., A Future for Knowledge Acquisition, pp. 137-157.London: Springer-Verlag, 1994.
[3] V.R. Benjamins and W. Jansweijer, "Toward a Competence Theory of Diagnosis," IEEE Expert, vol. 9, no. 5, pp. 43-52, Oct. 1994.
[4] B. Chandrasekaran, "Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design," IEEE Expert, vol. 1, no. 3, pp. 23-30, 1986.
[5] B. Chandrasekaran and T.R. Johnson, "Generic Tasks and Task Structures: History, Critique and New Directions," in Second Generation Expert Systems, J.-M. David, J.-P. Krivine, and R. Simmons, eds., Springer-Verlag, 1993, pp. 232-272.
[6] W. Clancey, "Model Construction Operators," Artificial Intelligence, vol. 53, pp. 1-115, Jan. 1992.
[7] W.J. Clancey, "Acquiring, Representing, and Evaluating A Competence Model of Diagnostic Strategy," Nature of Expertise, M. Chi, R. Glaser, and M.J. Farr, eds., pp. 343-418,Hillsdale, N.J.: Lawrence Erlbaum, 1988.
[8] L. Console, M. Fossa, and P. Torasso, "Acquisition of Causal Knowledge in the CHECK System," Computers and Artificial Intelligence, vol. 8, no. 4, pp. 323-345, 1989.
[9] J.M. David and J.P. Krivine, "Explaining Reasoning from Knowledge Level Models," Proc. ECAI, European Conf. Artificial Intelligence, 1990.
[10] R. Davis and D. Lenat, Knowledge-Based Systems in Artificial Intelligence. McGraw-Hill, 1982.
[11] J. deKleer, J. Doyle, G.L. Steele, and G.J. Sussman, "AMORD: A Deductive Procedure System," MIT AI Memo No. 435, 1978.
[12] M.L. Ginsberg, "Multivalued Logics: A Uniform Approach to Inference in Artificial Intelligence," Computational Intelligence, vol. 4, pp. 265-316, 1988.
[13] T.R. Gruber, “A Translation Approach to Portable Ontology Specifications,” Knowledge Acquisition, vol. 5, pp. 199-220, 1993.
[14] J.E. Hunt and C.J. Price, "Multiple-Model Diagnosis of Electro-Mechanical Subsystems," Systems Eng. J., vol. 2, no. 2, pp. 74-89, 1992.
[15] J. Josephson, D. Smetters, R. Fox, D. Oblinger, A. Welch, and G. Northurp, "Integrated Generic Task Toolset—Fafner Release 1," technical report, Laboratory of AI Research, Ohio State Univ., Columbus, 1998.
[16] Z. Liu and A. Farely, "Shifting Ontological Perspectives in Reasoning About Physical Systems," Proc. AAAI, AAAI Press, pp. 395-400, 1991.
[17] S. Marcus and J. McDermott, "SALT: A Knowledge Acquisition Tool for Propose-and-Revise Systems," Artificial Intelligence, vol. 39, no. 1, pp. 1-38, 1989.
[18] J. McDermott, "Preliminary Steps Toward A Taxonomy of Problem-Solving Methods," Automating Knowledge Acquisition for Expert Systems, S. Marcus, ed., pp. 225-256, Kluwer, 1988.
[19] R. Neches et al., "Enabling Technology for Knowledge Sharing," AI Magazine, Fall 1991, pp. 36-56.
[20] A. Newell,Unified Theories of Cognition.Cambridge, MA: Harvard University Press, 1990.
[21] A.R. Puerta, J.W. Egar, S.W. Tu, and M.A. Musen, “A Multiple-Method Knowledge Acquisition Shell for the Automatic Generation of Knowledge Acquisition Tools,” Knowledge Acquisition, vol. 4, pp. 171–196, 1992.
[22] R. Rymon, "Goal-Directed Diagnosis—A Diagnostic Reasoning Framework for Exploratory-Corrective Domains," Artificial Intelligence, vol. 84, pp. 257-297, July 1996.
[23] R. Sauers, "Controlling Expert Systems," Expert System Applications, L. Bloc and M.J. Coombs, eds., pp. 79-197.Berlin: Springer-Verlag, 1988.
[24] R. Sauers and R. Farrell, GRAPES User's Manual, Technical Report ONR-82-3, Dept. of Psychology, Carnegie Mellon Univ., 1982.
[25] G. Schreiber et al., "CommonKADS: A Comprehensive Methodology for KBS Development," IEEE Expert, Vol. 9, No. 6, Dec. 1994, pp. 28-37.
[26] R. Simmons and R. Davis, "The Roles of Knowledge and Representation in Problem Solving," Second Generation Expert Systems, J.M. David, J.P. Krivine, and R. Simmons, eds., pp. 27-45.London: Springer-Verlag, 1993.
[27] M. Stefik, Introduction to Knowledge Systems, Morgan Kaufmann, 1995.
[28] T. Thompson and W.J. Clancey, "A Qualitative Modeling Shell for Process Diagnosis," IEEE Software, vol. 3, no. 2, pp. 6-15, 1985.
[29] M.R. Wick, "Reconstructive Expert System Explanation," Artificial Intelligence, vol. 54, pp. 33-70, 1992.

Index Terms:
Goal-directed reasoning, goal knowledge, knowledge-based systems, KBS architecture, situation-specific models.
Citation:
Michel Benaroch, "Goal-Directed Reasoning with ACE-SSM," IEEE Transactions on Knowledge and Data Engineering, vol. 10, no. 5, pp. 706-726, Sept.-Oct. 1998, doi:10.1109/69.729726
Usage of this product signifies your acceptance of the Terms of Use.