A Computational Model for a Cooperating Agent System
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.
KeywordsComputational model Multi-agent System Cooperating Knowledge Based System
Unable to display preview. Download preview PDF.
- C. Hewitt: “Open Information Systems Semantics for DAI”, AI Journal, Jan 1991.Google Scholar
- 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.Google Scholar
- M.E. Bratman: “Intentions, Plans and Practical Reason”, Harvard University Press, 1987.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- J.R. Searle: Speech Act, Cambridge University Press, 1969.Google Scholar
- [9a]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-3Google Scholar
- [9b]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.Google Scholar
- M.R. Genesereth and R.E. Fikes: “Knowledge Interchange Format Reference Manual”, Computer Science Department, Stanford University, June 92.Google Scholar
- T. Finin and R. Fritszon: “KQML-A language for protocol and information exchange”, Proc 13th DAI workshop, pp 127–136, Seattle, WA, USA.Google Scholar
- [12b]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.Google Scholar
- 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.Google Scholar
- A. Haddadi: Communication and Cooperation in Agent Systems-A Pragmatic Theory, Springer 1996.Google Scholar
- 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-3Google Scholar
- J.P. Mueller: The Design of Intelligent Agents, Springer, 1996.Google Scholar
- 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 9521789Google Scholar
- N.R. Jennings: Controlling cooperative problem solving in industrial multiagent systems using joint intentions”, Artificial Intelligence, vol (74:2), 1995.Google Scholar
- 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-3Google Scholar
- 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.Google Scholar
- M.P. Singh: Multi-agent Systems: A Theoretical Framework for Intentions, Know-how and Communications, Springer, 1994.Google Scholar
- 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
- Patricia Churchland et al: “The Computational Brain”, MIT Press, 1992.Google Scholar
- 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.Google Scholar
- 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://email@example.com/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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- H. Van Dyke Parunak et al: “The AARIA Agent Architecture“:ICAA Workshop on Agent-Based Manufacturing, 1998Google Scholar
- H. Van Dyke Parunak: Practical and Industrial Application of Agent-Based Systems, 1998.Google Scholar
- 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.Google Scholar
- D. Jarvis et al.: “Quality Control Holonic Manufacturing Systems”, Technical Report, CSIRO, Australia, 1998a (to be published).Google Scholar
- 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)Google Scholar