Automatic generation of control sequences for manufacturing systems based on partial order planning techniques

Artificial Intelligence in Engineering

Volumn 14, Issue 1, 2000, Pages 15-30

  Castillo, L ^a   Fdez Olivares, J ^a   Gonzalez A ^a  

^a UNIVERSITY OF GRANADA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED MANUFACTURING;

PARTIAL ORDER ARTIFICIAL INTELLIGENCE PLANNING;

ARTIFICIAL INTELLIGENCE;

EID: 0033888750     PISSN: 09541810     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0954-1810(99)00025-4     Document Type: Article

References (34)

1. Allen J.F., Hendler J., Tate A. Readings in planning. 1990;Morgan-Kaufmann, Los Altos, CA.
2. McDermott D. Regression planning. Int J Intell Syst. 6:1991;357-416.
3. McDermott D., Hendler J. Planning: what is, what it could be, an introduction to the special issue on planning and scheduling. Artificial Intell. 76:1995;1-16.
4. Nilsson N.J. Principles of artificial intelligence. 1980;Tioga Publishing.
5. Green C. Application of theorem proving to solving. IJCAI. 1969;741-747.
6. Manna Z., Waldinger R.J. Knowledge and reasoning in program synthesis. Artificial Intell. 6:1975;175-208.
7. Waldinger RJ. Constructing programs automatically using theorem proving. PhD thesis, Carnegie-Mellon University, 1969.
8. Aylett R, Petley G, Chung P, Soutter J, Rushton A. Planning and chemical plan operation procedure synthesis: a case study. In: Fourth European Conference on Planning, 1997. p. 41-53.
9. Klein I., Jonsson P., Backstrom C. Tractable planning for an assembly line. Ghallab M., Milani A. New directions in AI planning. 1996;313-324 IOS Press.
10. Gil Y. A specification of manufacturing processes for planning. Technical Report CMU-CS-91-179, Carnegie Mellon University, 1991.
11. Nau D., Gupta S.K., Regli W.C. AI planning versus manufacturing-operation planning: a case study. IJCAI-95. 1995;1670-1676.
12. Park S.C., Gervasio M.T., Shaw M.J., DeJong G.F. Explanation-based learning for intelligent process planning. IEEE Trans Systems, Man & Cybernetics. 23:(6):1993;1597-1616.
13. Gruver W.A., Boudreaux J.C. Intelligent manufacturing: programming environments for CIM. 1993;Springer, London.
14. Peterson J.L. Petri nets theory and the modeling of systems. 1981;Prentice-Hall, Englewood Cliffs, NJ.
15. Allen J.F. Towards general theory of action and time. Artificial Intelligence. 23:1984;123-154.
16. Pednault E. ADL: exploring the middle ground between STRIPS and the situation calculus. Knowledge Representation, 1989.
17. Penberthy JS, Weld DS. UCPOP: a sound, complete, partial order planner for ADL. In: Third International Conference on Principles of Knowledge Representation and Reasoning, 1992. p. 103-14.
18. Sandewall E., Ronnquist R. A representation of action structures. AAAI-86. 1986;89-97.
19. Castillo L, González A. MACHINE: A model of action for multi-agent domains. In: European Conference on Planning ECP-97, 1997. Electronically available at http://decsai.ugr.es/~1cv.
20. Fikes R.E., Nilsson N.J. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intell. 2:1971;189-208.
21. Weld D. An introduction to least commitment planning. AI Magazine. 15:(4):1994.
22. Dean T., McDermott D. Temporal database management. Artificial Intelligence. 32:1987;1-55.
23. Rutten E., Hertzberz J. Temporal planner=nonlinear planner+time map manager. Artificial Intell Commun. 6:1993;18-26.
24. Klein I, Lindskog P, Backstrom C. Automatic creation of sequential control schemes in polynomial time. Technical Report LiTH-ISY-I-1430, Linkoping Univeristy, 1993.
25. Soutter J. An integrated architecture for operating procedure synthesis. PhD thesis, Loughborough University, 1996.
26. McAllester D., Rosenblitt D. Systematic nonlinear planning. AAAI-91. 1991;634-639.
27. Allen J.F. An interval-based representation of temporal knowledge. In. IJCAI-81:1981;221-226.
28. Wilkins D.E. Practical planning: extending the classical AI planning paradigm. 1988;Morgan Kaufmann, Los Altos, CA.
29. Castillo L, Fdez-Olivares J, González A. Intelligent planning of Grafcet charts. Technical Report DECSAI-990109, University of Granada, 1999.
30. Castillo L., Fdez-Olivares J., González A. A three-level knowledge based system for the generation of live and safe petri nets for manufacturing systems. J Intell Manufact. 1999;. in press.
31. Tate A., Drabble D., Dalton J. The use of condition types to restrict search in an AI planner. AAAI-94. 1994;1129-1134.
32. Erol K., Hendler J., Nau D. UMCP: a sound and complete procedure for hierarchical task-network planning. AIPS-94. 1994.
33. Gerevini A., Schubert L. Accelerating partial-order planners: some techniques for effective search control and pruning. J Artificial Intell Res. 1996;95-137.
34. Pollack M.E., Joslin D., Paolucci M. Flaw selection strategies for partial-order planning. J Artificial Intell Res. 6:1997;223-262.