Domain-independent planning: representation and plan generation
Artificial Intelligence
Petri nets: an introduction
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Practical planning: extending the classical AI planning paradigm
Practical planning: extending the classical AI planning paradigm
ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Computer Model of Skill Acquisition
A Computer Model of Skill Acquisition
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
Planning by Transformational Synthesis
IEEE Expert: Intelligent Systems and Their Applications
Device Representation-The Significance of Functional Knowledge
IEEE Expert: Intelligent Systems and Their Applications
LELISP, a portable and efficient LISP system
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Techniques for Modeling Workflows and Their Support of Reuse
Business Process Management, Models, Techniques, and Empirical Studies
Hi-index | 0.00 |
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.