A formal mathematical framework for a distributed task planning method suitable for computerintegrated manufacturing systems is proposed. All pertinent algorithms are derived. A detailed timing analysis associated with primitive actions and activities (complex tasks) execution is presented. A formal language is designed for event tracking and error specification. Based on the derived language, an error recovery mechanism (automaton) is proposed. A case study demonstrates the applicability of the presented method with and without error occurrences.
Similar content being viewed by others
References
Bastos, J. M. (1988) Batching and routing: two functions in the operational planning of flexible manufacturing systems. European Journal of Operational Research, 33, 230–244.
Bertolotti, E. (1992) Interactive problem solving for production planning, in AI Applications in Manufacturing, Famili, A., Nau, D. S. and Kim, S. H. (eds), AAAI Press.
Daniel, L. (1984) Planning and operational research, in Artificial Intelligence: Tools, Techniques and Applications, O'Shea, T. and Eisenstadt, M. (eds), Harper & Row, New York, pp. 423–452.
Firby, R. J. (1988) An investigation into reactive planning in complex domains, in Proceedings of the Sixth National Conference on Artificial Intelligence, San Diego, CA, pp. 59–69.
Gatziu, S. (1993) Events in an active object-oriented database system, in Proceedings of the First Workshop on Rules in Database Systems, Edinburgh.
Georgeff, M. P. and Lansky, A. L. (1987) Reactive reasoning and planning, in Proceedings American Association in Artificial Intelligence, pp. 677‐682.
Jackson, P. (1990) Introduction to Expert Systems, Addison-Wesley, Reading, MA.
Kautz, H. A. (1990) A circumscriptive theory of plan recognition, in Intentions in Communication, Cohen, P. R., Morgan, J. and Pollack, M. E. (eds), MIT Press, Cambridge, MA.
King, J. R. (1980) Machine-component group formulation in production term analysis: an approach using a rank order clustering algorithm. International Journal of Production Research, 18(2), 213–232.
Kochan, A. and Cowan, D. (1986) Implementing CIM, IFS.
Kokkinaki, A. I. and Valavanis, K. P. (1995) On the comparison of AI and DAI based planning techniques for automated manufacturing systems. Journal of Intelligent and Robotic Systems, 13, 201–245.
Kokkinaki, A. I., Valavanis, K. P. and Tzafestas, S. G. (1994) A survey of expert system tools and engineering based expert systems, in Expert Systems in Engineering Applications, Tzafestas, S. G. (ed.), Springer Verlag, Berlin, pp. 367–378.
Kusiak, A. and Chow, W. S. (1987) Efficient solving of the group technology problem. Journal of Manufacturing Systems, 6(2), 117–124.
Pimentel, J. R. (1990) Communication Networks for Manufacturing, Prentice-Hall, Englewood Cliffs, NJ.
Pissinou, N., Snodgrass, R., Elmasri, R., Mumick, I., Ozsu, M., Pernici, B. and Theodoulidis, B. (1994) Towards an infrastructure for temporal databases, ACM Sigmod Record, 23(1), 35–61.
Sacerdoti, E. D. (1979) Problem solving tactics, in Proceedings of the Sixth International Joint Conference on Artificial Intelligence, pp. 1077–1085.
Swartout, W. et al. (1987) Summary report, in Proceedings of Knowledge-Based Planning Workshop, DAPRA, Austin, TX, pp. A1-A23.
Tambe, M. and Rosenbloom, P. S. (1994) Event tracking for an intelligent automated agent, in Time94: An International Workshop on Temporal Representation.
Taylor, R. M., Wilkinson, A. J., Gunner, M., Sawyer, A. and Gibson, I. (1990) Integration of a flexible workcell for garment assembly, in Proceedings of the 28th International MATADOR Conference, pp. 131–135.
Wilkins, D. E. (1988) Practical Planning: Extending the Classical AI Planning Paradigm, Morgan Kaufmann, San Mateo, CA.
Author information
Authors and Affiliations
Additional information
Dr Kokinaki is currently Science and Engineering Research Centre, De Montfort University, UK.
Rights and permissions
About this article
Cite this article
Kokkinaki, A.I., Valavanis, K.P. A distributed task planning system for computer-integrated manufacturing systems. J Intell Manuf 7, 293–309 (1996). https://doi.org/10.1007/BF00124830
Issue Date:
DOI: https://doi.org/10.1007/BF00124830