Dialogue game protocols

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

Volumn 2650, Issue , 2003, Pages 269-283

  McBurney, Peter ^a   Parsons, Simon ^b  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DECISION MAKING; FORMAL LANGUAGES; GAME THEORY; NATURAL LANGUAGE PROCESSING SYSTEMS; NETWORK PROTOCOLS; PUBLIC POLICY; SEMANTICS; SPEECH COMMUNICATION;

AUTOMATABILITY; DELIBERATION DIALOGUES; DIALOGUE GAME PROTOCOLS; INFORMATION-SEEKING DIALOGUES;

MULTI AGENT SYSTEMS;

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

References (59)

1. S. Abramsky. Semantics of interaction: an introduction to game semantics. In A. M. Pitts and P. Dybjer, editors, Semantics and Logics of Computation, pages 1-31. Cambridge University Press, Cambridge, UK, 1997.
2. 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.
3. L. Amgoud and S. Parsons. Agent dialogues with conflicting preferences. In J-J. Meyer and M. Tambe, editors, Pre-Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL 2001), pages 1-14, Seattle, WA, USA, 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. J. L. Austin. How To Do Things with Words. Oxford University Press, Oxford, UK, 1962.
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. T. J. M. Bench-Capon, T. Geldard, and P. H. Leng. A method for the computational modelling of dialectical argument with dialogue games. Artificial Intelligence and Law, 8:233-254, 2000.
9. J. Bohman and W. Rehg, editors. Deliberative Democracy: Essays on Reason and Politics. MIT Press, Cambridge, MA, USA, 1997.
10. P. R. Cohen and C. R. Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3:177-212, 1979.
11. F. Dignum, B. Dunin-Kejplicz, 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), LNAI 1986, pages 150-166, Berlin, Germany, 2000. Springer.
12. F. Dignum, B. Dunin-Kȩplicz, and R. Verbrugge. Creating collective intention through dialogue. Logic Journal of the IGPL, 9(2):305-319, 2001.
13. P. M. Dung. On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-persons games. Artificial Intelligence, 77:321-357, 1995.
14. P. E. Dunne and T. J. M. Bench-Capon. Two party immediate response disputes: properties and efficiency. Technical Report ULCS-01-005, Department of Computer Science, University of Liverpool, Liverpool, UK, 2001.
15. R. van Eijk, F. S. de Boer, W. van der Hoek, and J-J. Ch. Meyer. A fully abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science, April 2002. In press.
16. R. Elio, A. Haddadi, and A. Singh. Task models, intentions, and agent conversation policies. In R. Mizoguchi and J. K. Slaney, editors, Topics in Artificial Intelligence: Proceedings of the Sixth Pacific Rim Conference in Artificial Intelligence (PRICAI-2000), LNAI 1886, pages 394-403, Berlin, Germany, 2000. Springer.
17. 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.
18. FIPA. Communicative Act Library Specification. Technical Report XC00037H, Foundation for Intelligent Physical Agents, 10 August 2001.
19. D. M. Gabbay and J. Woods. Non-cooperation in dialogue logic. Synthese, 127(1-2):161-186, 2001.
20. M. Greaves, H. Holmback, and J. Bradshaw. What is a conversation policy? In F. Dignum and M. Greaves, editors, Issues in Agent Communication, LNAI 1916, pages 118-131. Springer, Berlin, Germany, 2000.
21. C. L. Hamblin. Fallacies. Methuen, London, UK, 1970.
22. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J-J. Ch. Meyer. Formal semantics for an abstract agent progamming language. In M. P. Singh, A. S. Rao, and M. J. Wooldridge, editors, Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages (ATAL-97), LNAI 1365, pages 215-229. Springer, Berlin, Germany, 1998.
23. 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 the Study of Argumentation (OSSA 2001), Windsor, Ontario, Canada, 2001.
24. J. Hulstijn. Dialogue Models for Inquiry and Transaction. PhD thesis, Universiteit Twente, Enschede, The Netherlands, 2000.
25. H. Kamp and U. Reyle. From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Kluwer, Dordrecht, The Netherlands, 1993. Two Volumes.
26. Y. Labrou, T. Finin, and Y. Peng. Agent communication languages: The current landscape. IEEE Intelligent Systems, 14(2):45-52, March/April 1999.
27. J. A. Levin and J. A. Moore. Dialogue-games: metacommunications structures for natural language interaction. Cognitive Science, 1(4):395-420, 1978.
28. G. L. Lilien, P. Kotler, and K. S. Moorthy. Marketing Models. Prentice-Hall, Englewood Cliffs, NJ, USA, 1992.
29. P. Lorenzen and K. Lorenz. Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt, Germany, 1978.
30. J. D. MacKenzie. Question-begging in non-cumulative systems. Journal of Philosophical Logic, 8:117-133, 1979.
31. M. Mandler. A difficult choice in preference theory: rationality implies completeness or transitivity but not both. In Elijah Millgram, editor, Varieties of Practical Reasoning, pages 373-402. MIT Press, Cambridge, MA, USA, 2001.
32. P. McBurney. Rational Interaction. PhD thesis, Department of Computer Science, University of Liverpool, Liverpool, UK, 2002.
33. P. McBurney, R. M. van Eijk, S. Parsons, and L. Amgoud. A dialogue-game protocol for agent purchase negotiations. Journal of Autonomous Agents and Multi-Agent Systems, 2002. In press.
34. 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, LNAI 2253, pages 414-424. Springer, Berlin, Germany, 2001.
35. P. McBurney and S. Parsons. Representing epistemic uncertainty by means of dialectical argumentation. Annals of Mathematics and Artificial Intelligence, 32(1-4):125-169, 2001.
36. 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.
37. P. McBurney and S. Parsons. A geometric semantics for dialogue-game protocols for autonomous agent interactions. Electronic Notes in Theoretical Computer Science, 52(2), 2002.
38. P. McBurney, S. Parsons, and M. W. Johnson. When are two protocols the same? In M. P. Huget, F. Dignum, and J. L. Koning, editors, Agent Communications Languages and Conversation Policies. Proceedings of a Workshop at the First International Joint Conference, on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, 2002.
39. 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, 2002.
40. R. Milner. Communication and Concurrency. Prentice Hall, Hemel Hempstead, UK, 1989.
41. P. Mittelstaedt. Quantum Logic. D. Reidel, Dordrecht, The Netherlands, 1979.
42. M. J. Osborne and A. Rubinstein. A Course in Game Theory. MIT Press, Cambridge, MA, USA, 1994.
43. S. Parsons, C. Sierra, and N. R. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3):261-292, 1998.
44. S. Parsons, M. Wooldridge, and L. Amgoud. An analysis of formal interagent dialogues. 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, 2002. (In press).
45. H. Prakken and G. Sartor. Modelling reasoning with precedents in a formal dialogue game. Artificial Intelligence and Law, 6:231-287, 1998.
46. 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.
47. W. Rehg. The argumentation theorist in deliberative democracy. Controversia, 2002. (In press).
48. 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.
49. 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.
50. J. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, UK, 1969.
51. M. P. Singh. A conceptual analysis of commitments in multiagent systems. Technical Report 96-09, Department of Computer Science, North Carolina State University, Raleigh, NC, USA, 1996.
52. 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.
53. R. D. Tennent. Semantics of Programming Languages. Prentice-Hall, Hemel Hempstead, UK, 1991.
54. A. Unruh and M. Nodine. Industrial-strength conversations. In F. Dignum and M. Greaves, editors, Issues in Agent Communication, LNAI 1916. Springer, Berlin, Germany, 2000.
55. D. N. Walton and E. C. W. Krabbe. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. SUNY Press, Albany, NY, USA, 1995.
56. M. Wooldridge. Reasoning about Rational Agents. MIT Press, Cambridge, MA, USA, 2000.
57. M. Wooldridge. Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems, 3(1):9-31, 2000.
58. M. Wooldridge. Introduction to Multiagent Systems. John Wiley and Sons, New York, NY, USA, 2002.
59. M. Wooldridge and S. Parsons. Languages for negotiation. In W. Horn, editor, Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI 2000), pages 393-397, Berlin, Germany, 2000. IOS Press.