Abstract
This paper investigates a computational model for an abstract HMS operational scenario with a view to outlining rules that should be implemented in a holonic system to ensure a correct dynamic behaviour, particularly during operational disturbances. The model considers operations at the substructure levels of holons. It is claimed that without such a model the system behaviour will be unreliable, potentially causing not only wasted production but also uncontrolled executions. Three features considered under the computational model are execution consistency, execution termination in a finite time and operational stability. A failed action must be rolled back to a recoverable point for possible redoing, execution must follow a sequence of rules, termination must be guaranteed, and stability must be ensured. The paper argues against the implementation of a holonic system without such behavioural features.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Leemans et al, “A Semantic Perspective on Verification of Knowledge”, Data & Knowledge Engineering, Vol (40:1), Jan, 2002, p 33–70.
S. M. Deen: “An architectural Framework for CKBS Applications”, IEEE Transactions on Knowledge and Data Engineering, Vol (8: 4 ), Aug 1996, pp 663–671.
S. M. Deen: „A Database Perspective to a Cooperation Environment”, Proceedings of CIA’97, edited by P. Kanzia and M. Klusch, Springer, 1997, pp 19–41.
S. M. Deen: “A Fault-Tolerant Cooperative Distributed System”, Proceedings. of the 9th IEEE DEXA Workshop, Vienna, Aug 1998, Edited by R. Wagner, pp508–513.
S. M. Deen: “Cooperating Agents for Holonic Manufacturing Systems”, Multi-agent Systems and Applications II, Eds: V. Marik et al, LNAI, No. 2322, Springer, 2002, pp 119–133.
S. M. Deen and C. A. Johnson: “Formalising an Engineering Approach to Cooperating Knowledge Based Systems”, IEEE Transactions on Knowledge and Data Engineering, 15 (2003), pp. 103–177.
M. E. Bratman: “Intentions, Plans and Practical Reason”, Harvard University Press, Cambridge, MA 1987.
M. E. Bratman, et al: “Plans and Resource Bounded Practical Reasoning”, Computational Intelligence, Vol. (4: 4 ), pp 349–355, Nov 1988.
A. S. Rao and M. P. Georgeff: “Modeling Agents within a BDI architecture”, KR’91, edited by R. Fikes and E. Sandewall, pp473–484, published by Morgan Kaufmann.
A. S. Rao and M. P. Georgeff: “BDI agents–from theory to practice”, Proceedings of the 1st International Conference on Multi-agent Systems, San Francisco, 1995.
J. R. Searle: Speech Act, Cambridge University Press, 1969.
A. Sehmi et al: “Support for Distributed Multi-Agent Systems”, Proceedings of the Second International Working Conference on CKBS, Keele University, edited by S.M. Deen, published by the DAKE Centre, pp 357–376, June 1994, ISBN 0 9521789 2 3
M. Fisher et al: “Specifying and Executing Protocols for Cooperative Action”, Proceedings of the Second International Working Conference on CKBS, June, 1994 pp 295– 306.
M.R. Genesereth and R.E. Fikes: “Knowledge Interchange Format Reference Manual”, Computer Science Department, Stanford University, June 92.
T. Finin and R. Fritszon: “KQML–A language for protocol and information exchange”, Proceedings of the 13th DAI workshop, pp 127–136, Seattle, WA.
Y. Shoham: “Agent Oriented Programming”, Artificial Intelligence, Vol: 60, pp 51–92, 1993.
M. Wooldridge: “Intelligent Agents–A modern Approach to DAI”, Multi–agent Systems, edited by G. Weiss, MIT Press, 1999, ISBN: 0–262–23203–0, pp1–27.
R. A Brooks, et al: “Alternative Essence of Intelligence”, American Association for Artificial Intelligence, 1998.
H. Van Brussel et al: “Reference Architecture for Holonic Manufacturing Systems: PROSA”, Computers In Industry, Special Issue in Intelligent Manufacturing Systems, Vol (37:3), pp 255–276).
J. Wyns et all: “Design Pattern for Integrating Centralised Scheduling in distributed holonic manufacturing control systems”, 75–84. Proceedings of the 2nd International Workshop on Intelligent Manufacturing Systems, 1999, edited by H. Van Brussel and P. Valckenaers, SEPT 22–24, 1999, Leuven, Belgium, published by KU Leuven, ISBN 90–73802–69–5.
S. Balasubramanian and D. Norrie: “A Multi-agent Architecture for Concurrent Engineering” Concurrent Engineering: Research and Applications, Vol. (4:1), March 96, pp 7–16.
R. W. Brennan and D. H. Norrie: “The Performance of Partial Dynamic Hierarchies”, pp 05–13. Proceedings of the 2nd International Workshop on Intelligent Manufacturing Systems, 1999, edited by H. Van Brussel and P. Valckenaers, SEPT 22–24, 1999, Leuven, Belgium, published by KU Leuven, ISBN 90–73802–69–5.
W. Shen and D.H. Norrie: “Developing Intelligent Manufacturing Systems Using Collaborating Agents”, pp157–184. Proceedings of the 2nd International Workshop on Intelligent Manufacturing Systems, 1999, edited by H. Van Brussel and P. Valckenaers, SEPT 22–24, 1999, Leuven, Belgium, published by KU Leuven, ISBN 90–73802–69–5.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Deen, S.M. (2003). An Investigation into a Computational Model for HMS. In: Deen, S.M. (eds) Agent-Based Manufacturing. Advanced Information Processing. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05624-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-662-05624-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-07895-8
Online ISBN: 978-3-662-05624-0
eBook Packages: Springer Book Archive