A Computational Model for a Cooperating Agent System

  • S. M. Deen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1652)


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.


Computational model Multi-agent System Cooperating Knowledge Based System 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    C. Hewitt: “Open Information Systems Semantics for DAI”, AI Journal, Jan 1991.Google Scholar
  2. [2]
    S.M. Deen: “An architectural Framework for CKBS Applications”, IEEE Transactions on Knowledge and Data Engineering, Vol (8:4), Aug 1996, pip 663–671.CrossRefGoogle Scholar
  3. [3]
    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
  4. [4]
    M.E. Bratman: “Intentions, Plans and Practical Reason”, Harvard University Press, 1987.Google Scholar
  5. [5]
    M.E. Bratman, et al: “Plans and Resource Bounded Practical Reasoning”, Computational Intelligence, Vol (4:4), pp 349–355, Nov 1988.CrossRefGoogle Scholar
  6. [6]
    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
  7. [7]
    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
  8. [8]
    J.R. Searle: Speech Act, Cambridge University Press, 1969.Google Scholar
  9. [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
  10. [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
  11. [10]
    M.R. Genesereth and R.E. Fikes: “Knowledge Interchange Format Reference Manual”, Computer Science Department, Stanford University, June 92.Google Scholar
  12. [11]
    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
  13. [12a]
    Y. Shoham: “Agent Oriented Programming”, Artificial Intelligence, Vol: 60, pp 51–92, 1993.CrossRefMathSciNetGoogle Scholar
  14. [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
  15. [13]
    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
  16. [14]
    A. Haddadi: Communication and Cooperation in Agent Systems-A Pragmatic Theory, Springer 1996.Google Scholar
  17. [15]
    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
  18. [16]
    J.P. Mueller: The Design of Intelligent Agents, Springer, 1996.Google Scholar
  19. [17]
    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
  20. [18]
    N.R. Jennings: Controlling cooperative problem solving in industrial multiagent systems using joint intentions”, Artificial Intelligence, vol (74:2), 1995.Google Scholar
  21. [19]
    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
  22. [20]
    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
  23. [21]
    M.P. Singh: Multi-agent Systems: A Theoretical Framework for Intentions, Know-how and Communications, Springer, 1994.Google Scholar
  24. [22]
    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:
  25. [23]
    PaulM. Churchland: “On the ontological status of intentional states... ”, Behaviour and Brain Sciences, Vol (11:3), pp 507–508, 1988.CrossRefGoogle Scholar
  26. [24]
    Patricia Churchland et al: “The Computational Brain”, MIT Press, 1992.Google Scholar
  27. [25]
    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
  28. [26]
    R. Davis and R.G. Smith: “Negotiation as a Metaphor for Distributed Problem Solving”, Artificial Intelligence vol 20, pp 63–109, 1983.CrossRefGoogle Scholar
  29. [27]
    Function Blocks for Industrial Process-measurement and Control Systems, Part1: Architecture. Technical Report: International Electrotechnical Commission, TC65, WG6., 1997.
  30. [28]
    J. Christensen: “Holonic Manufacturing Systems, WP1, D1.1”,1998,
  31. [29]
    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
  32. [30]
    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
  33. [31]
    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
  34. [32]
    H. Van Dyke Parunak et al: “The AARIA Agent Architecture“:ICAA Workshop on Agent-Based Manufacturing, 1998Google Scholar
  35. [33]
    H. Van Dyke Parunak: Practical and Industrial Application of Agent-Based Systems, 1998.Google Scholar
  36. [34]
    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
  37. [35]
    D. Jarvis et al.: “Quality Control Holonic Manufacturing Systems”, Technical Report, CSIRO, Australia, 1998a (to be published).Google Scholar
  38. [36]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • S. M. Deen
    • 1
  1. 1.DAKE Group, Computer Science DepartmentUniversity of KeeleKeeleEngland

Personalised recommendations