Formalization of a Cooperation Model Based on Joint Intentions

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.

[1]  B Wedge,et al.  Conflict Management , 2019, Cases in Public Relations Management.

[2]  Mark Klein.  Conflict management as part of an integrated exception handling approach , 1995, Artif. Intell. Eng. Des. Anal. Manuf..

[3]  Hector J. Levesque,et al.  On Acting Together , 1990, AAAI.

[4]  Michael Wooldridge,et al.  Formalizing the Cooperative Problem Solving Process , 1994 .

[5]  Nicholas R. Jennings,et al.  Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems Using Joint Intentions , 1995, Artif. Intell..

[6]  Nicholas R. Jennings,et al.  DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework , 1997, Int. J. Cooperative Inf. Syst..

[7]  Mark R. Cutkosky,et al.  PACT: an experiment in integrating concurrent engineering systems , 1993, Computer.

[8]  Jan Treur,et al.  Formal Specification of Compositional Architectures , 1992, ECAI.

[9]  James Bowen,et al.  An Axiomatic Approach that Supports Negotiated Resolution of Design Conflicts in Concurrent Engineering , 1994 .

[10]  Nicholas R. Jennings,et al.  Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

[11]  David C. Brown,et al.  Using Single Function Agents to investigate conflict , 1995, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[12]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[13]  Edmund H. Durfee,et al.  Using Partial Global Plans to Coordinate Distributed Problem Solvers , 1987, IJCAI.

[14]  West Balcones,et al.  Design space navigation as a collaborative aid , 1993 .

[15]  Catholijn M. Jonker,et al.  Modelling project coordination in a multi-agent framework , 1996, Proceedings of WET ICE '96. IEEE 5th Workshop on Enabling Technologies; Infrastucture for Collaborative Enterprises.

[16]  Afsaneh Haddadi,et al.  Communication and Cooperation in Agent Systems: A Pragmatic Theory , 1996 .

[17]  Nicholas R. Jennings,et al.  Using Archon to Develop Real-World DAI Applications, Part 1 , 1996, IEEE Expert.