When are two protocols the same?

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2650, Issue , 2003, Pages 253-268

  Johnson, Mark W ^a   McBurney, Peter ^b   Parsons, Simon ^c  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

^c CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; COMPUTER SOFTWARE; FORMAL LANGUAGES; HUMAN COMPUTER INTERACTION; NETWORK PROTOCOLS; SEMANTICS; SPECIFICATIONS; SPEECH COMMUNICATION;

ARGUMENTATION; DIALOGICAL COMMITMENTS; SOCIAL COMMITMENTS; TYPOLOGY;

MULTI AGENT SYSTEMS;

EID: 23144453079     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-44972-0_14     Document Type: Conference Paper

References (40)

1. L. Amgoud, N. Maudet, and S. Parsons. Modelling dialogues using argumentation. In E. Durfee, editor, Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000), pages 31-38, Boston, MA, USA, 2000. IEEE Press.
2. L. Amgoud and S. Parsons. Agent dialogues with conflicting preferences. In J.-J. Meyer and M. Tambe, editors, Proceedings of the Eighth International Workshop on Agent Theories, Architectures and Languages (ATAL 2001), pages 1-15, 2001.
3. L. Amgoud and S. Parsons. Les dialogues entre agents avec des préférences conflictuelles. In B. Chaib-draa and P. Enjalbert, editors, Proceedings of the I eres Journées Francophones des Modèles Formels de l'Interaction, pages 3-14, 2001.
4. L. Amgoud, S. Parsons, and N. Maudet. Arguments, dialogue, and negotiation. In W. Horn, editor, Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI 2000), pages 338-342, Berlin, Germany, 2000. IOS Press.
5. Aristotle. Topics. Clarendon Press, Oxford, UK, 1928. (W. D. Ross, Editor).
6. M. Barbuceanu and M. S. Fox. COOL: A language for describing co-ordination in multi agent systems. In V. Lesser, editor, Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 17-24, Cambridge, MA, USA, 1995. MIT Press.
7. T. J. M. Bench-Capon, P. E. Dunne, and P. H. Leng. Interacting with knowledge-based systems through dialogue games. In Proceedings of the Eleventh International Conference on Expert Systems and Applications, pages 123-140, Avignon, France, 1991.
8. F. Dignum, B. Dunin-Kȩplicz, and R. Verbrugge. Agent theory for team formation by dialogue. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents VII: Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL 2000), Lecture Notes in Artificial Intelligence 1986, pages 150-166, Berlin, Germany, 2000. Springer.
9. F. Dignum, B. Dunin-Kȩplicz, and R. Verbrugge. Creating collective intention through dialogue. Logic Journal of the IGPL, 9(2):305-319, 2001.
10. A. Finkelstein and H. Fuks. Multi-party specification. In Proceedings of the Fifth International Workshop on Software Specification and Design, Pittsburgh, PA, USA, 1989. ACM Sigsoft Engineering Notes.
11. FIPA. Communicative Act Library Specification. Technical Report XC00037H, Foundation for Intelligent Physical Agents, 10 August 2001.
12. M. Greaves, H. Holmback, and J. Bradshaw. What is a conversation policy? In F. Dignum and M. Greaves, editors, Issues in Agent Communication, Lecture Notes in Artificial Intelligence 1916, pages 118-131. Springer, Berlin, Germany, 2000.
13. C. A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, Cambridge, MA, USA, 1992.
14. J. Habermas. The Theory of Communicative Action: Volume 1: Reason and the Rationalization of Society. Heinemann, London, UK, 1984.
15. Translation by T. McCarthy of: Theorie des Kommunikativen Handelns, Band I, Handlungsrationalitat und gesellschaftliche Rationalisierung. Suhrkamp, Frankfurt, Germany. 1981.
16. C. L. Hamblin. Fallacies. Methuen, London, UK, 1970.
17. D. Hitchcock, P. McBurney, and S. Parsons. A framework for deliberation dialogues. In H. V. Hansen, C. W. Tindale, J. A. Blair, and R. H. Johnson, editors, Proceedings of the Fourth Biennial Conference of the Ontario Society for Study of Argumentation (OSSA 2001), Windsor, Ontario, Canada, 2001. OSSA.
18. P. McBurney and S. Parsons. Chance discovery using dialectical argumentation. In T. Terano, T. Nishida, A. Namatame, S. Tsumoto, Y. Ohsawa, and T. Washio, editors, New Frontiers in Artificial Intelligence: Joint JSAI 2001 Workshop Post Proceedings, Lecture Notes in Artificial Intelligence 2253, pages 414-424. Springer, Berlin, Germany, 2001.
19. P. McBurney and S. Parsons. Representing epistemic uncertainty by means of dialectical argumentation. Annals of Mathematics and AI, 32(1-4): 125-169, 2001.
20. P. McBurney and S. Parsons. Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information, 11(3):315-334, 2002.
21. P. McBurney and S. Parsons. Dialogue game protocols. In M.-P. Huget, editor, Agent Communications Languages, Lecture Notes in Artificial Intelligence, Berlin, Germany, 2003. Springer. This volume.
22. P. McBurney, S. Parsons, and M. Wooldridge. Desiderata for agent argumentation protocols. In C. Castelfranchi and W. L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, pages 402-409, New York City, NY, USA, 2002. ACM Press.
23. P. McBurney, R. van Eijk, S. Parsons, and L. Amgoud. A dialogue-game protocol for agent purchase negotiations. Journal of Autonomous Agents and Multi-Agent Systems, 2003. In press.
24. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, Hemel Hempstead, UK, 1989.
25. H. Prakken. On dialogue systems with speech acts, arguments, and counterarguments. In M. Ojeda-Aciego, M. I. P. de Guzman, G. Brewka, and L. M. Pereira, editors, Proceedings of the Seventh European Workshop on Logic in Artificial Intelligence (JELIA-2000), Lecture Notes in Artificial Intelligence 1919, pages 224-238, Berlin, Germany, 2000. Springer.
26. V. R. Pratt. Transition and cancellation in concurrency and branching time. Mathematical Structures in Computer Science, 2002. Forthcoming.
27. O. Raiman. Order of magnitude reasoning. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), pages 100-104, San Mateo, CA, USA, 1986. Morgan Kaufmann. Reprinted in [37].
28. C. Reed. Dialogue frames in agent communications. In Y. Demazeau, editor, Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS-98), pages 246-253. IEEE Press, 1998.
29. A. Robinson. Non-Standard Analysis. North-Holland, Amsterdam, The Netherlands, 1966.
30. J. A. Rodríguez, F. J. Martin, P. Noriega, P. Garcia, and C. Sierra. Towards a test-bed for trading agents in electronic auction markets. AI Communications, 11(1):5-19, 1998.
31. F. Sadri, F. Toni, and P. Torroni. Logic agents, dialogues and negotiation: an abductive approach. In M. Schroeder and K. Stathis, editors, Proceedings of the Symposium on Information Agents for E-Commerce, Artificial Intelligence and the Simulation of Behaviour Conference (AISB-2001), York, UK, 2001. AISB.
32. J. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, UK, 1969.
33. C. E. Shannon. The mathematical theory of communication. In C. E. Shannon and W. Weaver, editors, The Mathematical Theory of Communication, pages 29-125. University of Illinois Press, Chicago, IL, USA, 1963.
34. Originally published in the Bell System Technical Journal, October and November 1948.
35. M. P. Singh. A conceptual analysis of commitments in multiagent systems. Technical Report 96-09, Department of Computer Science, North Carolina State University, 1996.
36. M. P. Singh. An ontology for commitments in multiagent systems: toward a unification of normative concepts. Artificial Intelligence and Law, 7:97-113, 1999.
37. M. P. Singh. A social semantics for agent communications languages. In F. Dignum, B. Chaib-draa, and H. Weigand, editors, Proceedings of the Workshop on Agent Communication Languages, International Joint Conference on Artificial Intelligence (IJCAI-99), Berlin, Germany, 2000. Springer.
38. D. N. Walton and E. C. W. Krabbe. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany, NY, USA, 1995.
39. D. S. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, USA, 1990.
40. M. J. Wooldridge. Introduction to Multiagent Systems. John Wiley and Sons, New York, NY, USA, 2002.