Formalisation of a cooperation model based on joint intentions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1193, Issue , 2015, Pages 141-155

  Brazier, Frances M T ^a   Jonker, Catholijn M ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

REUSABILITY; COMPUTATIONAL LINGUISTICS; INTELLIGENT AGENTS;

COOPERATION MODEL; FORMALISATION; JOINT INTENTION; MODELLING FRAMEWORK;

MULTI AGENT SYSTEMS;

EID: 84926358591     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (14)

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.
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.
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.
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 Colioborative Enterprises, WET 1CE'96, IEEE Computer Society Press, 1996, pp. 148-155.
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.
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.
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, HCAI' 87. Morgan Kaufman, 1987, pp. 875-883.
8. Haddadi, A. (1996). Communication and cooperation in agent systems: a pragmatic theory. Lecture Notes in Artificial Intelligence, vol. 1056, Springer Verlag.
9. Jennings, N.R. (1995). Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems using Joint Intentions, Artificial Intelligence Journal 74 (2)
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 Worm Applications of DAI. 1
11. Levesque, H.J., P.R. Cohen, J.H.T. Nunes, On acting together. In: Proc. AAAI'90, vol. 1. MIT Press, 1990, pp. 94-99.
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.
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 Worm (MAAMAW-94), pp. 403-417.
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.