Representing Plans as a Set of Constraints — the Model

Proceedings of the 3rd Artificial Intelligence Planning Systems Conference, AIPS 1996

Volumn , Issue , 1996, Pages 221-228

  Tate, Austin ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BRIDGES; FORMAL METHODS; PRODUCTION CONTROL;

AUXILIARY MODELS; FORMAL ANALYSIS; FORMAL APPROACH; NODE ORDERING; PLAN-BASED; PLANNING SYSTEMS; PROBLEM-SOLVING; PRODUCTION PLANNING SYSTEMS; REAL PROBLEMS; SYSTEM ENGINEERING PROCESS;

PROBLEM SOLVING;

EID: 85043008401     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (43)

1. [Allen et. al. 90] Allen, J.F., Hendler, J. and Tate, A., Readings in Planning, Morgan Kaufmann, Palo Alto, CA., 1990.
2. [Allen & Koomen 93] Allen, J.F. and Koomen, J.A., Planning Using a Temporal World Model, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-83), Karlsruhe, Germany, 1993.
3. [D'Ambrosio et. al. 87] D'Ambrosio, B., Raulefs, P., Fehling, M.R., and Forrest, S., Real-time Process Management for Materials Composition in Chemical Manufacturing, Technical Report, Technowledge Inc. 1850 Embarcadero Road, Palo Alto, CA 94303 and FMC Corporation, AI Center, Central Engineering Laboratories, Box 580, 1205 Coleman Avenue. Santa Clara, CA 95052, USA, 1987.
4. [Barrett & Weld 94] Barrett, A. and Weld, D.S., Task-Decomposition via Plan Parsing, Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), Seattle, USA, 1994.
5. [Beck 93] Heck, H., TOSCA: A Novel Approach to the Management of Job-shop Scheduling Constraints, Realising CTM's Industrial Potential: Proceedings of the Ninth CIM-Europe Annual Conference, pages 138-149, (eds. Kooij, C., MacConaill, P.A., and Bastos, J.), 1993. Also available as AIAI Technical Report AIAI-TR-121.
6. [Borgida et. al. 85] Borgida, A., Greenspan, S. and Mylopoulos, J., Knowledge Representation as the Basis for Requirements Specifications, IEEE Computer Magazine, Special Issue on Requirements Engineering Environments, April 1985.
7. [Chapman 91] Chapman, D., Planning for Conjimctive Goals. Artificial Intelligence, 32:333-377, 1991.
8. [Currie & Tate 91] Currie, K.W. and Tate, A., 0-Plan: the Open Planning Architecture, Artificial Intelligence 52(1), Autumn 1991, North-Holland.
9. [Curwen 90] Curwen, P., System Development Using the CORE Method, British Aerospace Technical Report BAe/WIT/ML/GEN/SWE/1227, 1990.
10. [Drabble 93] Drabble, B., Excalibur: A Program for Planning and Reasoning with Processes, Artificial Intelligence, Vol. 62 No. 1, pp. 1-40, 1993.
11. [Drummond 93] Drummond, M.E., On Precondition Achievements and the Computational Economics of Automatic Planning, in Current Trends in AI Planning (eds. C.Backstrom and E.Sandewall) IOS Press, Sweden, 1993.
12. FVaser & Tate 95] The Enterprise Toolset - An Open enterprise Architecture, Proceedings of the Workshop on Intelligent Manufacturing Systems, pp. 95-103, (ed. Sadeh, N.M.), Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Canada, August 1995.
13. [HOOD 89] HOOD Working Group, HOOD Reference Manual, Issue 3.0 European Space Agency, Noordwijk, Netherlands, 1989.
14. [ISO/IEC 89] ISO/IEC 8631-1989 Information Technology - Program Constructs and Conventions for their Representation, second edition, ISO/IEC, 1989.
15. [Kambhampati 94a] Kambhampati, S., Design Tradeoffs in Partial Order Planning, Proceedings of the Second International Conference on AI Planning Systems (AIPS-94), Chicago, IL., USA, 1994.
16. [Kambhampati 94b] Kambhampati, S., Comparing Partial Order Planning and Task Reduction Planning: a Preliminary Report, Proceedings of the Workshop on Comparative Analysis of AI Planning Systems, AAAI - 94, Seattle, USA, 1994.
17. [Kambhsunpati & Hendler 91] Kambhampati, S. and Hendler, J., A Validation-Structure-Based Theory of Plan Modification and Reuse, Artificial Intelligence, May, 1992.
18. Mayer 92] Mayer, R. J. (editor), IDEFO Functional Modeling: A Reconstruction of the Original Air Force Wright Aeronautical Laboratory Technical Report AFWAL-TR-81-4023 (The IDEFO Yellow Book), Knowledge Based Systems Inc., College Station, T X, 1992.
19. Mayer & Painter 91] Mayer, R. J. and Painter, M., D E F Family of Methods, Technical Report, Knowledge Based Systems Inc., College Station, T X, 1991.
20. [McDermott 78] McDermott, D.V. A Temporal Logic for Reasoning about Processes and Plans lii Cognitive Science, 6, pp. 101-155, 1978.
21. [Penberthy & Weld 90] Penberthy, J.S. and Weld, D.S., UCPOP: A Sound, Complete, Partial Order Planner for ADL, Proceedings of the Third International Conference on Knowledge Representation and Reasoning, 1990.
22. [PIF 94] Process Interchange Format Working Group, The PIF Process Interchange and Framework, MIT Center for Coordination Science Working Paper No. 180, MIT, Boston. December 1994.
23. [Pollack 94] Pollack, M., DIPART Architecture, Technical Report, Department of Computer Science, University of Pittsburgh, PA 15213, USA, 1994.
24. [Ramesh & Dhar 94] Ramesh, B. and Dhar, V., Representing and Maintaining Process Knowledge for Large-Scale Systems Development, IEEE Expert, pp. 54-59, April 1994.
25. [Rich & Waters 88] Rich, C. and Waters, R.C., The Programmer's Apprentice: A ResearrJi Overview, Computer, Vol. 21, No. 11, pp. 11-25, November 1988.
26. [Ross 85] Ross, D.T.. AppUcations and Extensions of SADT, IEEE Computer Magazine, Special Issue on Re
27. [Smith 94] Smith, S., OPIS: A Methodology suid Architecture for Reactive Sciieduling, in Intelligent Schcdulhig, (cds, Zweboji, M. and Fox. M.S.). Morgan Kaufmami, Palo Alto, CA., USA, 1994.
28. [Tate 77] Tate, A., Generating Project Networks, Proceedings of the International.Joint Conference on Artificial Intelligence (IJCAI-77), Cćmibridge, Mass.. USA. 1977.
29. [Tate 89] Tate, A., Coordinating the Activities of a Planner and an Execution Agent, Proceedings of the Second NASA Conference on Space Telerobotics, (eds. G.Rodriguez and H.Seraji). J P L Publication 89-7 Vol. 1 i)p. 385-393,.let Propulsion Laboratory, February 1989.
30. [Tate 93a] Tate, A., Authority Management - Coordination between Planning, Scheduling and Control, Workshop on Knowledge-based Production Planning, Scheduling and Control at the International Joint Conference on Artificial Intelligence (IJCAI-93). Chambery, France, 1993.
31. [Tate 93b] Tate, A., The Emergence of "Standard"' Planning and Scheduling System Components, in Current Trends in AI Planning (eds. C. Backstrom and E. Sandewall) IOS Press, Sweden, 1993
32. [Tate 94] Tate. A.. Mixed Initiative Planning in O-Plan2, Proceedings of the ARPA/Rome Laboratory Planning Initiative Workshop, (ed. Bursteiu. M.j. Tucson, Arizona. USA, Morgan Kaufmann. Palo Alto, 1994.
33. [Tate et. al. 94a] Tate. A., Drabble, B. mid Dalton, J., O-Plan Version 2.2 Task Forniahsin Manual. 0-Plaii Project Documentation. A I A I, University of Edinburgh. 1994.
34. [Tate et. al. 94b] Tate;, A., Drabble, B. and DłJton, J., The Use of Condition Types to Restrict Search in an AI Planner, Proceeduigs of the Twelfth National Conferen<:e on Artificial Intelligence (AAAI-94). Seattle. USA, 1994.
35. [Tate et. al. 94c] Tate, A.. Drabble, B. and Kirby, R., 0-Plan2: an Open Architecture for Command, Planning and Control, in Intelligent Scheduling, (eds, Zweben. M. and Fox. M.S.), Morgan Kaufmann. Palo Alto, 1994.
36. [Tate et. al. 94d] Tate, A.. Drabble, B. and Dalton,.1. Reasoning with Constraints within 0-Plan2, Proceedings of the ARPA/Rome Laboratory Planning Initiative Workshop, (ed. Burstein, M.), Tucson. Ari/(ma, USA. Morgan Kaufmann, Palo Alto, 1994.
37. [Traum & Allen 94] Traum, D.R. and Allen,.I.E., Towards a Formal Theory of Repair in Plan Execution and Plan Recognition, Proceedings of the Thùteeiitli UK Planning and Sdieduling Special Interest group, Gla.sgow, U K. September 1994.
38. [Ushakiv & Velbitskiy 93] Ushakov, I. and Velbitskiy, I., Visual Programming in R.tedmology: Concepts, Systems and Perspectives, Proceedings of the Third EastWest Iiitematicmal Conference on Human Computer Interaction, Moscow, Russia, 1993.
39. [Usciiold et. al. 95] Usdiold, M., King, M., Moralee, S. and Zorgios, Y., The Enterprise Ontology, Enteri)rise Proje
40. [WfMC 94] Workflow Management Coalition. Glossary A Workflow Management Coalition Spedficatioii. Workflow Management CołUition, Avenue Marcel Thiry 204, 120 Brussels, Belgium, November 1994
41. [Wilkins 88] Wilkiiis, D., Practical Planning, Morgan Kaufmann, Palo Alto, 1988.
42. [Yang 90] Yang. Q. Formalizhig Planning Knowledge for Hiereiichical Planning. Computational Intelligence. Vol. 6. No. 1. pp. 1224. 1990.
43. [Young et. al. 94] Young. R.M., Pollack. M.E. and Moore. J.D., Dcniomposition and Causality in PaitialOrder Planning, Proceedings of the Second International Conference on AI Planning Systems (AIPS94). Chicago. I L. USA. 1994.