Abstract
This paper first describes a cooperation approach for a Cooperating Knowledge Based System, founded on an engineering paradigm (as against a mentallistic paradigm of DAI) that is meant to ensure termination of the execution process at user-defined recoverable points. The paper then develops an execution model, based on a highly distributed architecture with many operational primitives. The execution model forces the operations to terminate at the start of these primitives without forming any cycles, which are are avoided by rigorous control at each functional components within an agent. The model also supports rollback, redo, recovery and abort, and provides operational stability.
This model is intended to provide the theoretical foundation of a major international project in agent-based manufacturing.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
C. Hewitt: “Open Information Systems Semantics for DAI”, AI Journal, Jan 1991.
S.M. Deen: “An architectural Framework for CKBS Applications”, IEEE Transactions on Knowledge and Data Engineering, Vol (8:4), Aug 1996, pip 663–671.
S.M. Deen: “A Database Perspective to a Cooperation Environment”, Proc, CIA’97, edited by P. Kanzia and M. Klusch, Springer, 1997, pp 19–41.
M.E. Bratman: “Intentions, Plans and Practical Reason”, Harvard University Press, 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, pp 473–484, published by Morgan Kaufmann.
A.S. Rao and M.P. Georgeff: “BDI agents-from theory to practice”, Proc. Of the 1st Int Confc 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-952-17892-3
M. Fisher et al: “Specifying and Executing Protocols for Cooperative Action“, Proceedings of the Second International Working Conference on CKBS, June, 1994 as in Ref [9a], 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”, Proc 13th DAI workshop, pp 127–136, Seattle, WA, USA.
Y. Shoham: “Agent Oriented Programming”, Artificial Intelligence, Vol: 60, pp 51–92, 1993.
M.P. Singh: “A Semantics for Speech Acts”, Readings in Agents, Morgan Kaufmann, edited by M.N. Huhns and M.P. Singh, pp 458–470, 1997.
A. Haddadi: “A hybrid architecture for multi-agent systems’, CKBS-SIG Proceedings, 1993, pp 13–26, editor S.M. Deen, published by the DAKE Centre, ISBN 0-952-17891-5.
A. Haddadi: Communication and Cooperation in Agent Systems-A Pragmatic Theory, Springer 1996.
J.P. Mueller: “A conceptual model for agent interaction”, Proceedings of the Second International Working Conference on CKBS, Keele University, edited by S.M. Deen, published by the DAKE Centre, pp 213–234, June 1994, ISBN 0-952-17892-3
J.P. Mueller: The Design of Intelligent Agents, Springer, 1996.
N.R. Jennings: “The ARCHON Project and its Applications”, Proceedings of the Second International Working Conference on CKBS, Keele University, edited by S.M. Deen, published by the DAKE Centre, pp 13–30, June 1994, ISBN 0 9521789
N.R. Jennings: Controlling cooperative problem solving in industrial multiagent systems using joint intentions”, Artificial Intelligence, vol (74:2), 1995.
H. Haugeneder: “IMAGINE: A Framework for Building 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 31–64, June 1994, ISBN 0-952-17892-3
A. Lux and D.D. Steiner: “tUnderstanding Cooperation-An Agent’s Perspectives”, Readings in Agents, Morgan Kaufmann, edited by M.N. Huhns and M.P. Singh, pp 471–480, 1997.
M.P. Singh: Multi-agent Systems: A Theoretical Framework for Intentions, Know-how and Communications, Springer, 1994.
FIPA 97_Specification (version 2, 1998): Foundation of Intelligent Physical Agents. This is a non-profit-making organisation registered in Switzerland, at the time of writing, it had 35 corporate members from 12 countries. Address: http://www.cselt.stet.it/fipa
PaulM. Churchland: “On the ontological status of intentional states... ”, Behaviour and Brain Sciences, Vol (11:3), pp 507–508, 1988.
Patricia Churchland et al: “The Computational Brain”, MIT Press, 1992.
R.G. Smith: “The Contract Net Protocol: High Level Communication and Distributed Problem Solver”, Readings in Distributed Artificial Intelligence, edited by A. Bond and L. Gasser, published by Morgan Kaufmann, pp 357–366, 1988.
R. Davis and R.G. Smith: “Negotiation as a Metaphor for Distributed Problem Solving”, Artificial Intelligence vol 20, pp 63–109, 1983.
Function Blocks for Industrial Process-measurement and Control Systems, Part1: Architecture. Technical Report: International Electrotechnical Commission, TC65, WG6. ftp://ftp.ab.com/stds/iec/tc65wg6/document/pt1cd2.doc, 1997.
J. Christensen: “Holonic Manufacturing Systems, WP1, D1.1”,1998, ftp://hms@ifwpd7.ifw.uni-hannover.de/hms-wps/wp1-seng/html/t1/d11f.htm.
HMS/IMS Programme: IMS (Intelligent Manufacturing Systems) is an international programme with the participation of major industries, universities and research institutes from six regions: Australia, Japan, EFTA countries, EU countries, Canada and USA, partially funded by the Governments. It is intended as a ten year pre-competitive research programme from about 1994. It has several projects, one of which is the Holonic Manufacturing Systems (HMS) for high-variety low-volume manufacturing in a largely un-manned environment. A holon is close to a CKBS agent. The author is a participant in this HMS project, which inspired some of the work presented here.
Martyn Fletcher (Ed):HMS Project, EU Brite-Euram [BPR-CT-97-9000], WP1/Deliverables D1.1-1,and D1.1-2, Holonic Systems Architecture, Sept,1998, DAKE Group, Dept of Computer Science, University of Keele, Keele, England.
S. Balasubramanian and D. Norrie: “A Multi-agent Architecture for Concurrent Concurrent Engineering” Concurrent Engineering:Research and Applications, Vol (4:1), March 96, pp 7–16.
H. Van Dyke Parunak et al: “The AARIA Agent Architecture“:ICAA Workshop on Agent-Based Manufacturing, 1998
H. Van Dyke Parunak: Practical and Industrial Application of Agent-Based Systems, 1998.
S.M. Deen: “A Fault-Tolerant Cooperative Distributed System”, Proc. of the 9th IEEE DEXA Workshop, Vienna, Aug 1998, Edited by R. Wagner, pp 508–513.
D. Jarvis et al.: “Quality Control Holonic Manufacturing Systems”, Technical Report, CSIRO, Australia, 1998a (to be published).
S.M. Deen and C.A. Johnson: “Towards a Theoretical Foundation for Cooperating Knowledge Based Systems”, Proc of the 11th Int Symposium for Methodologies for Intelligent Systems (ISMIS99), June, 1999 (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Deen, S.M. (1999). A Computational Model for a Cooperating Agent System. In: Klusch, M., Shehory, O.M., Weiss, G. (eds) Cooperative Information Agents III. CIA 1999. Lecture Notes in Computer Science(), vol 1652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48414-0_12
Download citation
DOI: https://doi.org/10.1007/3-540-48414-0_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66325-6
Online ISBN: 978-3-540-48414-1
eBook Packages: Springer Book Archive