The rise of the Internet and the growth of distributed computing have led to a major paradigm shift in software engineering and computer science. Until recently, the notion of computation has been variously construed as numerical calculation, as information processing, or as intelligent symbol analysis, but increasingly, it is now viewed as distributed cognition and interaction between intelligent entities [60]. This new view has major implications for the conceptualization, design, engineering and control of software systems, most profoundly expressed in the concept of systems of intelligent software agents, or multi-agent systems [99]. Agents are software entities with control over their own execution; the design of such agents, and of multi-agent systems of them, presents major research and software engineering challenges to computer scientists.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
S. J. Ambler. A categorical approach to the semantics of argumentation. Mathematical Structures in Computer Science, 6:167–188, 1996.
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.
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.
Aristotle. Topics. Clarendon Press, Oxford, UK, 1928. (W. D. Ross, Editor).
K. Atkinson, T. Bench-Capon, and P. McBurney. A dialogue game protocol for multi-agent argument for proposals over action. Autonomous Agents and Multi-Agent Systems, 11(2):153–171, 2005.
K. Atkinson, R. Girle, P. McBurney, and S. Parsons. Command dialogues. In I. Rahwan and P. Moraitis, editors, Proceedings of the Fifth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2008), Lisbon, Portugal, 2008. AAMAS 2008.
J.L. Austin. How To Do Things with Words. Oxford University Press, Oxford, UK, 1962.
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, 1991.
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.
E. Black and A. Hunter. A generative inquiry dialogue system. In M. Huhns, O. Shehory, E.H. Durfee, and M. Yokoo, editors, Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007), Honolulu, Hawaii, USA, 2007. IFAAMAS, ACM Press.
P. Bretier and D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction. In J.P.M. et al., editor, Intelligent Agents III, Lecture Notes in Artificial Intelligence 1193, pages 189–204. Springer, Berlin, Germany, 1997.
C. Cayrol, S. Doutre, and J. Mengin. On decision problems related to the preferred semantics for argumentation frameworks. Journal of Logic and Computation, 13(3):377–403, 2003.
E. Cogan, S. Parsons, and P. McBurney. New types of inter-agent dialogs. In S.P. et al., editor, Argumentation in Multi-Agent Systems: Second International Workshop (ArgMAS 2005), Lecture Notes in Computer Science 4049, pages 154–168. Springer, Berlin, Germany, 2006.
P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P.R.C. et al., editor, Intentions in Communication, pages 221–255. MIT Press, Cambridge, MA, USA, 1990.
P. R. Cohen and C. R. Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3:177–212, 1979.
S. Das. How much does an agent believe: An extension of modal epistemic logic. In A. Hunter and S. Parsons, editors, Applications of Uncertainty Formalisms, Lecture Notes in Artificial Intelligence 1455, pages 415–426. Springer, Berlin, Germany, 1998.
A.P. Dawid and V.G. Vovk. Prequential probability: principles and properties. Bernoulli, 5:125–162, 1999.
F.S. deBoer, R. Eijk, W.v. Hoek, and J.-J.C. Meyer. A fully abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science, 290(3):1753–1773, 2003.
F. Dignum, B. Dunin-Ke¸plicz, and R. Verbrugge. Agent theory for team formation by dialogue. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents VII, Lecture Notes in Artificial Intelligence 1986, pages 150–166, Berlin, Germany, 2000. Springer.
F. Dignum, B. Dunin-Ke¸plicz, and R. Verbrugge. Creating collective intention through dialogue. Logic Journal of the IGPL, 9(2):305–319, 2001.
S. Doutre, P. McBurney, and M. Wooldridge. Law-governed Linda as a semantics for agent interaction protocols. In F.D. et al., editor, Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pages 1257–1258, New York City, NY, USA, 2005. ACM Press.
S. Doutre, P. McBurney, M. Wooldridge, and W. Barden. Information-seeking agent dialogs with permissions and arguments. Technical Report ULCS-05-010, Department of Computer Science, University of Liverpool, Liverpool, UK, 2005.
P.E. Dunne. Prevarication in dispute protocols. In G. Sartor, editor, Proceedings of the Ninth International Conference on AI and Law (ICAIL-03), pages 12–21, New York, NY, USA, 2003. ACM Press.
P.E. Dunne. Suspicion of hidden agenda in persuasive argument. In P.E. Dunne and T.J.M. Bench-Capon, editors, Computational Models of Argument: Proceedings of COMMA 2006, pages 329–340, Amsterdam, The Netherlands, 2006. IOS Press.
P.E. Dunne and T.J.M. Bench-Capon. Two party immediate response disputes: Properties and efficiency. Artificial Intelligence, 149(2):221–250, 2003.
P.E. Dunne and P. McBurney. Optimal utterances in dialogue protocols. In J.S.R. et al., editor, Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2003), pages 608–615, New York City, NY, USA, 2003. ACM Press.
F. Dürrenmatt. A Dangerous Game. Jonathan Cape, London, UK, 1960. (Translation by R. and C. Winston of Die Panne, published in German in 1956.).
R. Eijk. Programming Languages for Agent Communications. PhD thesis, Department of Computer Science, Utrecht University, Utrecht, The Netherlands, 2000.
R. Eijk, F.S. deBoer, W.v. Hoek, and J.-J.C. Meyer. Operational semantics for agent communications. In F. Dignum and M. Greaves, editors, Issues in Agent Communications, Lecture Notes in Artificial Intelligence 1916, pages 80–95. Springer, Berlin, Germany, 2000.
R. Eijk, F.S. deBoer, W.v. Hoek, and J.-J.C. Meyer. Modal logic with bounded quantification over worlds. Journal of Logic and Computation, 11(5):701–715, 2001.
R.E. Fikes and N.J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189–208, 1971.
T. Finin, Y. Labrou, and J. Mayfield. KQML as an agent communication language. In J. Bradshaw, editor, Software Agents, pages 291–316. MIT Press, Cambridge, USA, 1997.
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.
FIPA. Communicative Act Library Specification. Standard SC00037J, IEEE Foundation for Intelligent Physical Agents, 3 December 2002.
D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80–112, 1985.
R. Goldblatt. Topoi: The Categorial Analysis of Logic. North-Holland, Amsterdam, The Netherlands, 1979.
T.F. Gordon. The Pleadings Game: An exercise in computational dialectics. Artificial Intelligence and Law, 2:239–292, 1994.
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.
C.L. Hamblin. Language and the Theory of Information. Ph.D. thesis, Logic and Scientific Method Programme, University of London, London, UK, 1957.
C.L. Hamblin. Fallacies. Methuen, London, UK, 1970.
J. C. Harsanyi. Approaches to the bargaining problem before and after the theory of games: a critical discussion of Zeuthen’s, Hicks’ and Nash’s theories. Econometrica, 24:144–157, 1956.
D. Hilbert. Grundlagen der Geometrie. In Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen, pages 3–92. Teubner, Leipzig, Germany, 1899.
K.V. Hindriks, F.S. de Boer, W. Hoek, and J.-J.C. Meyer. Formal semantics for an abstract agent progamming language. In M.P.S. et al., editor, Intelligent Agents IV, Lecture Notes in Artificial Intelligence 1365, pages 215–229. Springer, Berlin, Germany, 1998.
J. Hintikka. Language-games for quantifiers. Americal Philosophical Quarterly Monograph Series 2: Studies in Logical Theory, pages 46–72, 1968. Blackwell, Oxford, UK.
J. Hintikka. On the development of the model-theoretic viewpoint in logical theory. Synthese, 77(1):1–36, 1988.
J. Hintikka and G. Sandu. Game-theoretical semantics. In J. Benthem and A. Meulen, editors, Handbook of Logic and Language, pages 361–410. Elsevier, Amsterdam, The Netherlands, 1997.
W. Hodges. A Shorter Model Theory. Cambridge University Press, Cambridge, UK, 1997.
J. Hulstijn. Dialogue Models for Inquiry and Transaction. PhD thesis, Universiteit Twente, Enschede, The Netherlands, 2000.
J. Hulstijn, M. Dastani, and L. Torre. Negotiation protocols and dialogue games. In Proceedings of the Belgian-Dutch AI Conference (BNAIC-2000), ADDRESS =, 2000.
H. Jakobovits and D. Vermeir. Dialectic semantics for argumentation frameworks. In Proceedings of the Seventh International Conference on Artificial Intelligence and Law (ICAIL-99), pages 63–72, New York, NY, USA, 1999. ACM Press.
M.W. Johnson, P. McBurney, and S. Parsons. When are two protocols the same? In M.-P. Huget, editor, Communication in Multi-Agent Systems: Agent Communication Languages and Conversation Policies, Lecture Notes in Artificial Intelligence 2650, pages 253–268. Springer, Berlin, Germany, 2003.
H. Kamp and U. Reyle. From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Kluwer, Dordrecht, 1993.
N.C. Karunatillake. Argumentation-Based Negotiation in a Social Context. Ph.D. thesis, School of Electronics and Computer Science, University of Southampton, UK, 2006.
P. Krause, S. Ambler, M. Elvang-Gørannson, and J. Fox. A logic of argumentation for reasoning under uncertainty. Computational Intelligence, 11 (1):113–131, 1995.
S. Kripke. A completeness proof in modal logic. Journal of Symbolic Logic, 24:1–14, 1959.
J.A. Levin and J.A. Moore. Dialogue-games: metacommunications structures for natural language interaction. Cognitive Science, 1(4):395–420, 1978.
S.C. Levinson. Pragmatics. Cambridge University Press, Cambridge, UK, 1983.
P. Lorenzen and K. Lorenz. Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt, Germany, 1978.
M. Luck, P. McBurney, O. Shehory, and S. Willmott. Agent Technology: Computing as Interaction. A Roadmap for Agent Based Computing. AgentLink III, the European Co-ordination Action for Agent-Based Computing, Southampton, UK, 2005.
S. Mac Lane. Categories for the Working Mathematician. Springer, New York, USA, 1971.
J.D. MacKenzie. Question-begging in non-cumulative systems. Journal of Philosophical Logic, 8:117–133, 1979.
P. McBurney, R. Eijk, S. Parsons, and L. Amgoud. A dialogue-game protocol for agent purchase negotiations. Journal of Autonomous Agents and Multi-Agent Systems, 7(3):235–273, 2003.
P. McBurney, D. Hitchcock, and S. Parsons. The eightfold way of deliberation dialogue. International Journal of Intelligent Systems, 22(1):95–132, 2007.
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.
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.
P. McBurney and S. Parsons. A denotational semantics for deliberation dialogues. In I. Rahwan, P. Moraitis, and C. Reed, editors, Argumentation in Multi-Agent Systems, Lecture Notes in Artificial Intelligence 3366, pages 162–175. Springer, Berlin, 2005.
P. McBurney and S. Parsons. Locutions for argumentation in agent interaction protocols. In R.M. van Eijk et al., editor, Developments in Agent Communication, Lecture Notes in Artificial Intelligence 3396, pages 209–225. Springer, Berlin, Germany, 2005.
P. McBurney and S. Parsons. Retraction and revocation in agent deliberation dialogs. Argumentation, 21(3):269–289, 2007.
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), pages 402–409, New York City, NY, USA, 2002. ACM Press.
J.C.C. McKinsey and A. Tarski. Some theorems about the Sentential Calculus of Lewis and Heyting. Journal of Symbolic Logic, 13(1):1–15, 1948.
B. Meyer. Introduction to the Theory of Programming Languages. International Series in Computer Science. Prentice Hall, New York City, NY, USA, 1990.
T. Miller and P. McBurney. Using constraints and process algebra for specification of first-class agent interaction protocols. In G.O. et al., editor, Engineering Societies in the Agents World VII, Lecture Notes in Artificial Intelligence 4457, pages 245–264, Berlin, Germany, 2007. Springer.
T. Miller and P. McBurney. Annotation and matching of first-class agent interaction protocols. In L.P. et al., editor, Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2008), Estoril, Portugal, 2008.
C.W. Morris. Foundations of the theory of signs. In O. Neurath, R. Carnap, and C. Morris, editors, International Encyclopedia of Unified Science, pages 77–138. Chicago University Press, Chicago, IL, USA, 1938.
S. Parsons. Normative argumentation and qualitative probability. In D.M.G. et al., editor, Qualitative and Quantitative Practical Reasoning, Lecture Notes in Artificial Intelligence 1244, pages 466–480, Berlin, Germany, 1997. Springer.
S. Parsons and E. Sklar. How agents alter their beliefs after an argumentation-based dialogue. In S.P. et al., editor, Argumentation in Multi-Agent Systems: Second International Workshop (ArgMAS 2005), Lecture Notes in Computer Science 4049, pages 297–312. Springer, Berlin, Germany, 2006.
L. Perrussel, S. Doutre, J.-M. Thevenin, and P. McBurney. Argumentation in Multi-Agent Systems, chapter A persuasion dialog for gaining access to information, pages 63–79. Lecture Notes in Artificial Intelligence 4946. Springer, Berlin, Germany, 2008.
M. Pieri. Sui principi che reggiono la geometria di posizione. Atti della Reale Accademia delle scienze di Torino, 30:54–108, 1895.
H. Prakken. Formal systems for persuasion dialogue. The Knowledge Engineering Review, 21(2):163–188, 2006.
H. Prakken and G. Sartor. Modelling reasoning with precedents in a formal dialogue game. Artificial Intelligence and Law, 6:231–287, 1998.
I. Rahwan, S.D. Ramchurn, N.R. Jennings, P. McBurney, S. Parsons, and E. Sonenberg. Argumentation-based negotiation. Knowledge Engineering Review, 18(4):343–375, 2003.
I. Rahwan, E. Sonenberg, N.R. Jennings, and P. McBurney. STRATUM: a methodology for designing automated negotiation strategies. Applied Artificial Intelligence, 21(6):489–527, 2007.
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.
A. Reinach. Die apriorischen Grundlagen des bürgerlichen Rechtes. Jahrbuch für Philosophie und phänomenologische Forschung, 1:685–847, 1913.
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.
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 (AISB-2001), York, UK, 2001. AISB.
J. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, UK, 1969.
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.
M.P. Singh. A social semantics for agent communication languages. In F. Dignum and M. Greaves, editors, Issues in Agent Communication, Lecture Notes in Artificial Intelligence 1916, pages 31–45. Springer-Verlag: Heidelberg, Germany, 2000.
T.C. Tang. Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication. Bulletin of the American Mathematical Society, 44:737–744, 1938.
Y. Tang and S. Parsons. Argumentation-based dialogues for deliberation. In F.D. et al., editor, Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pages 552–559, New York City, NY, USA, 2005. ACM Press.
A. Tarski. Der Aussagenkalkül und die Topologie. Fundamenta Mathematicae, 31:103–134, 1938.
A. Tarski. The concept of truth in formalized languages. In Logic, Semantics, Metamathematics, pages 152–278. Clarendon Press, Oxford, UK, 1956. (Translated by J. H. Woodger).
R. Torretti. The Philosophy of Physics. Cambridge University Press, Cambridge, UK, 1999.
D.N. Walton and E.C.W. Krabbe. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. SUNY Press, Albany, NY, USA, 1995.
M. Wardeh, T.J.M. Bench-Capon, and F. Coenen. Arguments from experience: The PADUA protocol. In P.B. et al., editor, Computational Models of Argument: Proceedings of COMMA 2008, pages 405–416, Amsterdam, The Netherlands, 2008. IOS Press.
M.J. Wooldridge. Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems, 3(1):9–31, 2000.
M.J. Wooldridge. Introduction to Multiagent Systems. John Wiley and Sons, New York, NY, USA, 2002.
F.Zeuthen. Problems of Monopoly and Economic Warfare. Routledge and Sons, London, UK, 1930.
Acknowledgments
We are grateful for partial financial support received from the EC Information Society Technologies (IST) programme, through project ASPIC (IST-FP6-002307). This work was also partially supported by the US Army Research Laboratory and the UK Ministry of Defence under Agreement Number W911NF-06-3-0001. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the US Army Research Laboratory, the US Government, the UK Ministry of Defense, or the UK Government. The US and UK Governments are authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright notation hereon.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag US
About this chapter
Cite this chapter
McBurney, P., Parsons, S. (2009). Dialogue Games for Agent Argumentation. In: Simari, G., Rahwan, I. (eds) Argumentation in Artificial Intelligence. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-98197-0_13
Download citation
DOI: https://doi.org/10.1007/978-0-387-98197-0_13
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-98196-3
Online ISBN: 978-0-387-98197-0
eBook Packages: Computer ScienceComputer Science (R0)