Formalisation of a cooperation model based on joint intentions

  • Frances M. T. Brazier
  • Catholijn M. Jonker
  • Jan Treur
Part IV: Theories
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1193)


A cooperation model based on joint intentions introduced by Jennings is formalised within the modelling framework DESIRE for compositional multi-agent systems. By formalising the model in the DESIRE framework operationalisation and reusability of the model are obtained, as DESIRE specifications are executable and easily reusable.


Project Coordination Generate Project Cooperative Agent Output Interface Agent Task 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bahler, D., C. Dupont, J. Bowen (1994). An axiomatic approach that supports negotiated resolution of design conflicts in concurrent engineering. In: J.S. Gero, F. Sudweeks (eds.), Artificial Intelligence in Design, Kluwer Academic Publishers, Dordrecht, pp. 363–379.Google Scholar
  2. 2.
    Brazier, F.M.T., B. Dunin-Keplicz, N.R. Jennings, J. Treur (1995). Formal Specification of Multi-Agent Systems: a Real World Case. In: V. Lesser (ed.), Proc. of the First International Conference on Multi-Agent Systems, ICMAS-95, MIT Press, pp. 25–32.Google Scholar
  3. 3.
    Brazier, F.M.T., B. Dunin-Keplicz, N.R. Jennings, J. Treur (1997). DESIRE: modelling multi-agent systems in a compositional formal framework. International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997. In press.Google Scholar
  4. 4.
    Brazier, F.M.T., C.M. Jonker & J. Treur (1996). Modelling Project Coordination in a Multi-Agent Framework. In: Proceedings of the Fifth Workshops on Enabling Technology for Colloborative Enterprises, WET ICE'96, IEEE Computer Society Press, 1996, pp. 148–155.Google Scholar
  5. 5.
    Brazier, F.M.T., J. Treur, N.J.E. Wijngaards and M. Willems (1996). Temporal semantics of complex reasoning tasks. In: B.R. Gaines and M.A. Musen (eds.) Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW '96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary.Google Scholar
  6. 6.
    Cutkosky, M., R. Engelmore, R. Fikes, T. Gruber, M. Genesereth, W. Mark, J. Tenenbaum, J. Weber (1993). PACT: An experiment in integrating concurrent engineering systems. IEEE Computer 26, Special Issue on Computer Support for Concurrent Engineering, pp. 28–37.Google Scholar
  7. 7.
    Durfee E.H., V.R. Lesser, Using Partial Global Plans to Coordinate Distributed Problem Solvers. In: J. McDermott (ed.), Proc. Int. Joint Conf. on AI, IJCAI'87. Morgan Kaufman, 1987, pp. 875–883.Google Scholar
  8. 8.
    Haddadi, A. (1996). Communication and cooperation in agent systems: a pragmatic theory. Lecture Notes in Artificial Intelligence, vol. 1056, Springer Verlag.Google Scholar
  9. 9.
    Jennings, N.R. (1995). Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems using Joint Intentions, Artificial Intelligence Journal 74 (2)Google Scholar
  10. 10.
    Jennings, N.R., J. Corera, I. Laresgoiti, E.H. Mamdani, F. Perriolat, P. Skarek, L.Z. Varga (1995). Using ARCHON to develop real-world DAI applications for electricity transportation management and particle accelerator control, IEEE Expert — Special Issue on Real World Applications of DAI.Google Scholar
  11. 11.
    Levesque, H.J., P.R. Cohen, J.H.T. Nunes, On acting together. In: Proc. AAAl'90, vol. 1. MIT Press, 1990, pp. 94–99.Google Scholar
  12. 12.
    Smith, R.G. (1980). The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers C-29: 12, pp. 1104–1113.Google Scholar
  13. 13.
    Wooldridge, M.J. and N.R. Jennings (1994). Formalizing the Cooperative Problem Solving Process. In Proc. of the European Workshop on Modelling Autonomous Agents in Multi-Agent World (MAAMAW-94), pp. 403–417.Google Scholar
  14. 14.
    Wooldridge, M., N.R. Jennings (eds.) (1995), Intelligent Agents, Proc. of the ECAI'94 Workshop on Agent Theories, Architectures and Languages, Lecture Notes in AI, vol. 890, Springer Verlag.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Frances M. T. Brazier
    • 1
  • Catholijn M. Jonker
    • 1
  • Jan Treur
    • 1
  1. 1.Artificial Intelligence Group, Department of Mathematics and Computer ScienceVrije Universiteit AmsterdamHV AmsterdamThe Netherlands

Personalised recommendations