This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge
August 1994 (vol. 6 no. 4)
pp. 639-643

This paper presents a domain-independent formalism, called Activity Manager System (AMS), for the explicit, hierarchical representation of procedural knowledge. The formalism is able to: (1) describe procedures at a reasonable level of complexity and completeness; (2) generate dynamically procedures at different levels of abstraction; (3) organize knowledge hierarchies by means of abstract entities; and (4) allow knowledge reusability at different levels of abstraction. AMS uses the notions of activity, activity network, state, and memory organization packet for activities (MOPA) to represent abstractions, and it allows the user to model an application in a hierarchical manner. The advantages and limitations of AMS are also discussed.

[1] M. Ader, "The dynamic model," inIntelligent Workstation, Bull Tech. Rep., 1989.
[2] J. F. Allen and C. R. Perrault, "Analyzing intentions in utterances,"Artificial Intell., vol. 15, pp. 143-178, 1980.
[3] R. Alterman, "An adaptive planner,"Proc. AAAI-86, vol. 1, 1986, pp. 65-69.
[4] R. Alterman, "Adaptive planning,"Cognitive Sci., vol. 12, pp. 393-421, 1988.
[5] J. S. Anderson and A. M. Farley, "Plan abstraction based on operator generalization,"Proc. AAAI-88, pp. 100-104, 1988.
[6] W. Brauer, W. Reisig, and G. Rozenberg, Eds.,Petri Nets: Central Models and Their Properties, pt. 1, Lecture Notes in Computer Science 254, 1986.
[7] W. Brauer,Petri Nets: Applications and Relationships to Other Models of Concurrency, Lecture Notes in Computer Science 255, 1986.
[8] S. Card, T. Moran, and A. Newell,The Psychology of Human-Computer Interaction, Lawrence Erlbaum Assoc., Hillsdale, N.J., 1983.
[9] J. Chailloux, M. Devin, and J. M. Hullot, "Le-Lisp: A portable and efficient Lisp system,"ACM Symp. Lisp and Functional Programming, Austin, TX, 1984.
[10] R. E. Fikes and N. J. Nilsson, "STRIPS: A new approach to the application of theorem proving to problem solving,"Artificial Intell., vol. 2, pp. 189-208, 1971.
[11] P. E. Friedland and Y. Iwasaki, "The concept and implementation of skeletal plans," Tech. Rep. KSL 85-6, Dept. Comput. Sci., Stanford Univ., Stanford, CA, 1985.
[12] M. P. Georgeff and U. Bonollo, "Procedural expert system,"Proc. 8th IJCAI, Karlsruhe, Germany, 1983.
[13] M. P. Georgeff, A. L. Lansky, and P. Bessiere, "A procedural logic,"Proc. 9th IJCAI, Vol. 1, Los Angeles, CA, 1985.
[14] H. Kautz, and J. F. Allen, "Generalized plan recognition,"Proc. AAAI- 86, Vol. 1, 1986, pp. 32-37.
[15] A. M. Keuneke, "Device representation: the significance of functional knowledge,"IEEE Expert, 1991, pp. 22-25.
[16] J. L. Kolodner, "Maintaining organization in a dynamic long-term memory,"Cognitive Sci. 7, vol. 7, pp. 243-280, 1983.
[17] J. L. Kolodner, "Reconstructive memory: A computer model,"Cognitive Sci., vol. 7, pp. 281-328, 1983.
[18] J. L. Kolodner,Retrieval and Organizational Strategies in Conceptual Memory: A Computer Model. Hilldale, NJ: Lawrence Erlbaum Associates, 1984.
[19] J. Li,AMS (Activity management system): Un systeme de coordination des activities bureautiques, Ph.D. dissertation, de l'Ecole Nationale Supérieure des Télécommunications, France, 1990.
[20] T. A. Linden, "Planning by transformational synthesis,"IEEE Expert, Summer 1989, pp. 46-55.
[21] D. J. Litman and J. F. Allen, "A plan recognition model for subdialogues in conversations,"Cognitive Sci., vol. 11, pp. 163-200, 1987.
[22] J. L. Peterson, "Petri nets,"ACM Comput. Surveys, vol. 9, no. 3, pp. 223-252, Sept. 1977.
[23] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[24] W. Reisig, "Petri nets: An introduction," inEATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag, 1985.
[25] E. D. Sacerdoti, "Planning in a hierarchy of abstraction spaces,"Artificial Intell., vol. 5, pp. 115-135, 1974.
[26] E. D. Sacerdoti,A Structure for Plans and Behaviour. New York: Elsevier. 1977.
[27] R. C. Schank, "Language and memory,"Cognitive Sci., vol. 4, pp. 243-284, 1980.
[28] R. C. Schank, "Reminding and memory organization : An introduction to MOPS," in W. Lehnert and M. Ringle, Eds.,Strategies for Natural Language Processing. Hillsdale, NJ: Lawrence Erlbaum Associates, 1982.
[29] M. Stefik, "Planning with constraints (MOLGEN: Part 1),"Artificial Intell., vol. 16, pp. 111-140, 1981.
[30] M. Stefik, "Planning and metaplanning (MOLGEN: Part 2),"Artificial Intell., vol. 16, pp. 141-169, 1981.
[31] J. Sussman,A Computer Model of Skill Acquisition. New York: Elsevier (North-Holland), 1975.
[32] J. Tenenberg, "Planning with abstraction,"Proc. AAAI-86, Vol. 1, 1986, pp. 76-80.
[33] D. E. Wilkins, "Domain-independent planning: Representation and plan generation,"Artif Intell., vol. 22, pp. 269-301, 1984.
[34] D. E. Wilkins, "Hierarchical planning: Definition and implementation,"Proc. 7th ECAI, 1986, pp. 486-478.
[35] D. E. Wilkins,Practical Planning: Extending the Classical AI Planning Paradigm. San Mateo, CA: Morgan Kaufmann, 1988.

Index Terms:
knowledge representation; software reusability; abstract data types; declarative formalism; hierarchical representation; procedural knowledge; Activity Manager System; domain-independent formalism; AMS; abstraction; knowledge hierarchies; abstract entities; knowledge reusability; activity network; MOPA; knowledge representation
Citation:
J. Li, J.S.K. Ang, X. Tong, M. Tueni, "AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 4, pp. 639-643, Aug. 1994, doi:10.1109/69.298180
Usage of this product signifies your acceptance of the Terms of Use.