The eightfold way of deliberation dialogue
2007
Abstract
Abstract Deliberation dialogues occur when two or more participants seek to jointly agree on an action or a course of action in some situation. We present the first formal framework for such dialogues, grounding it in a theory of deliberative reasoning from the philosophy of argumentation. We further fully articulate the locutions and rules of a formal dialogue game for this model, so as to specify a protocol for deliberation dialogues.
References (85)
- R. Alexy. A theory of practical discourse. In S. Benhabib and F. Dallmayr, editors, The Communicative Ethics Controversy, Studies in Contemporary German Social Thought, pages 151-190. MIT Press, Cambridge, MA, USA, 1990. Translation by D. Frisby of: Eine Theorie des praktischen Diskurses. In: W. Oelmüller, Edi- tor, Normenbegründung-Normendurchsetzung. Paderborn, Germany: Schöningh, 1978.
- J. F. Allen, L. K. Schubert, G. Ferguson, P. Heeman, C. H. Hwang, T. Kato, M. Light, N. G. Martin, B. W. Miller, M. Poesio, and D. R. Traum. The TRAINS Project: a case study in building a conversational planning agent. Journal of Experimental and Theoretical Artificial Intelligence, 7:7-48, 1995.
- S. J. Ambler. A categorical approach to the semantics of argumentation. Mathe- matical Structures in Computer Science, 6:167-188, 1996.
- L. Amgoud, N. Maudet, and S. Parsons. Modelling dialogues using argumenta- tion. 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 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.
- 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.
- 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 Interna- tional Conference on Expert Systems and Applications, pages 123-140, Avignon, France, 1991.
- A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5(2):56-68, 1940.
- M. Colombetti and M. Verdicchio. An analysis of agent speech acts as institu- tional actions. 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 1157-1164, New York City, NY, USA, 2002. ACM Press.
- J. Conklin and M. L. Begeman. gIBIS: A hypertext tool for exploratory policy discussion. In Proceedings of the Second Conferences on Computer-Supported Co-operative Work, pages 140-152, New York, NY, USA, 1988. ACM Press.
- F. Dignum, B. Dunin-Ke ¸plicz, and R. Verbrugge. Agent theory for team forma- tion by dialogue. In C. Castelfranchi and Y. Lespérance, editors, Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Lan- guages (ATAL-2000), pages 141-156, Boston, USA, 2000.
- F. Dignum, B. Dunin-Ke ¸plicz, and R. Verbrugge. Creating collective intention through dialogue. Logic Journal of the IGPL, 9(2):305-319, 2001.
- R. M. van Eijk. Programming Languages for Agent Communications. PhD thesis, Department of Computer Science, Utrecht University, The Netherlands, 2000.
- C. Ess. The political computer: Democracy, CMC, and Habermas. In C. Ess, editor, Philosophical Perspectives on Computer-Mediated Communication, pages 197-230. State University of New York Press, Albany, NY, USA, 1996.
- 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.
- 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.
- D. J. Fiorino. Environmental risk and democratic process: a critical review. Columbia Journal of Environmental Law, 14:501-547, 1989.
- FIPA. Dutch Auction Interaction Protocol Specification. Technical Report XC00032F, Foundation for Intelligent Physical Agents, 10 August 2001.
- FIPA. English Auction Interaction Protocol Specification. Technical Report XC00031F, Foundation for Intelligent Physical Agents, 10 August 2001.
- FIPA. Communicative Act Library Specification. Standard SC00037J, Founda- tion for Intelligent Physical Agents, 3 December 2002.
- R. A. Flores and R. C. Kremer. Bringing coherence to agent conversations. In M. J. Wooldridge, G. Weiß, and P. Ciancarine, editors, Agent-Oriented Soft- ware Engineering II. Second International Workshop, (AOSE-2001), Montreal, Canada, May 29, 2001, Lecture Notes in Computer Science 2222, pages 50-67.
- Springer, Berlin, Germany, 2002.
- J. Forester. The Deliberative Practitioner: Encouraging Participatory Planning Processes. MIT Press, Cambridge, MA, USA, 1999.
- D. M. Gabbay and J. Woods. Non-cooperation in dialogue logic. Synthese, 127(1- 2):161-186, 2001.
- S. J. Gollop. Paradoxes of the Black Box: The Allais Paradox, Instransitive Pref- erences and Orthodox Decision Theory. M.A. Thesis, Department of Philosophy, University of Auckland, New Zealand, 2000.
- T. F. Gordon and N. Karacapilidis. The Zeno argumentation framework. In Pro- ceedings of the Sixth International Conference on AI and Law, pages 10-18, New York, NY, USA, 1997. ACM Press.
- 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.
- H. P. Grice. Logic and conversation. In P. Cole and J. L. Morgan, editors, Syntax and Semantics III: Speech Acts, pages 41-58. Academic Press, New York City, NY, USA, 1975.
- B. J. Grosz and S. Kraus. The evolution of SharedPlans. In M. J. Wooldridge and A. Rao, editors, Foundations of Rational Agency, volume 14 of Applied Logic. Kluwer, The Netherlands, 1999.
- J. Habermas. Moral Consciousness and Communicative Action. MIT Press, Cam- bridge, MA, USA, 1991. Translation by C. Lenhardt and S. W. Nicholsen of: Moralbewusstsein un kommunikatives Handeln. Suhrkamp, Frankfurt-am-Main, Germany, 1983.
- J. Habermas. Between Facts and Norms: Contributions to a Discourse Theory of Law and Democracy. MIT Press, Cambridge, MA, USA, 1996. Translation by W. Rehg of: Faktizität und Geltung. Beiträge zur Diskurstheorie des Rechts und des demokratischen Rechtsstaats. Published by Suhrkamp, Frankfurt am Main, Germany, 1992.
- J. Habermas. The Inclusion of the Other: Studies in Political Theory. MIT Press, Cambridge, MA, USA, 1998. Edited by C. Cronin and P. De Greiff.
- C. L. Hamblin. Fallacies. Methuen and Co Ltd, London, UK, 1970.
- J. Herbst. State Politics in Zimbabwe, volume 45 of Perspectives on Southern Africa. University of California Press, Berkeley, CA, USA, 1990.
- D. Hitchcock. Some principles of rational mutual inquiry. In F. van Eemeren, R. Grootendorst, J. A. Blair, and C. A. Willard, editors, Proceedings of the Sec- ond International Conference on Argumentation, pages 236-243, Amsterdam, The Netherlands, 1991. SICSAT: International Society for the Study of Argu- mentation.
- J. Hulstijn. Dialogue Models for Inquiry and Transaction. PhD thesis, Univer- siteit Twente, Enschede, The Netherlands, 2000.
- L. Hunsberger and M. Zancanaro. A mechanism for group decision making in collaborative activity. In Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000), pages 30-35, Menlo Park, CA, USA, 2000. AAAI Press.
- R. Johnson. Manifest Rationality: A Pragmatic Theory of Argument. Lawrence Erlbaum Associates, Mahwah, NJ, USA, 2000.
- N. Karacapilidis and P. Moraitis. Engineering issues in inter-agent dialogues. In F. van Harmelen, editor, Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002), pages 58-62, Lyon, France, 2002.
- N. Karacapilidis and P. Moraitis. Inter-agent dialogues in electronic marketplaces. Computational Intelligence, 20(1):1-17, 2004.
- N. Karacapilidis and D. Papadias. Computer supported argumentation and collab- orative decision making: the HERMES system. Information Systems, 26(4):259- 277, 2001.
- N. Karacapilidis, D. Papadias, T. Gordon, and H. Voss. Collaborative environ- mental planning with GeoMed. European Journal of Operational Research, 102(2):335-346, 1997.
- E. C. W. Krabbe. The problem of retraction in critical discussion. Synthese, 127(1-2):141-159, 2001.
- I. Lakatos. Proofs and Refutations: The Logic of Mathematical Discovery. Cam- bridge University Press, Cambridge, UK, 1976.
- J. A. Levin and J. A. Moore. Dialogue-games: metacommunications structures for natural language interaction. Cognitive Science, 1(4):395-420, 1978.
- P. Lorenzen and K. Lorenz. Dialogische Logik. Wissenschaftliche Buchge- sellschaft, Darmstadt, Germany, 1978.
- R. Luehrs, T. Malsch, and K. Voss. Internet, discourses, and democracy. In T. Ter- ano, T. Nishida, A. Namatame, S. Tsumoto, Y. Ohsawa, and T. Washio, editors, New Frontiers in Artificial Intelligence: Joint JSAI 2001 Workshop Post Proceed- ings, Lecture Notes in Artificial Intelligence 2253, pages 67-74. Springer, Berlin, Germany, 2001.
- J. Lukacs. Five Days in London: May 1940. Yale University Press, New Haven, CT, USA, 1999.
- J. D. MacKenzie. Question-begging in non-cumulative systems. Journal of Philo- sophical Logic, 8:117-133, 1979.
- M. Mandler. A difficult choice in preference theory: rationality implies com- pleteness or transitivity but not both. In E. Millgram, editor, Varieties of Practi- cal Reasoning, pages 373-402. MIT Press: A Bradford Book, Cambridge, MA, USA, 2001.
- N. Maudet and F. Evrard. A generic framework for dialogue game implementa- tion. In Proceedings of the Second Workshop on Formal Semantics and Pragmat- ics of Dialog, Thirteenth International Twente Workshop on Language Technol- ogy (TWLT 13), Universite Twente, The Netherlands, 1998. Centre for Telemat- ics and Information Technology.
- 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, 7(3):235-273, 2003.
- P. McBurney and S. Parsons. Representing epistemic uncertainty by means of di- alectical 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 Informa- tion, 11(3):315-334, 2002.
- 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.
- A. Naess. Communication and Argument: Elements of Applied Semantics. Allen and Unwin, London, UK, 1966. Translation of: En del Elementaere Logiske Emner. Universitetsforlaget, Oslo, Norway, 1947.
- K. Nakata. Enabling public discourse. In T. Terano, T. Nishida, A. Namatame, S. Tsumoto, Y. Ohsawa, and T. Washio, editors, New Frontiers in Artificial Intel- ligence: Joint JSAI 2001 Workshop Post Proceedings, Lecture Notes in Artificial Intelligence 2253, pages 59-66. Springer, Berlin, Germany, 2001.
- A. J. Nathan and P. Link, editors. The Tiananmen Papers. Little, Brown and Company, London, UK, 2001. Compiled by Zhang Liang, with an afterword by O. Schell.
- H. P. Nii. Blackboard systems (Part One): The blackboard model of problem solv- ing and the evolution of blackboard architectures. The AI Magazine, Summer:38- 53, 1986.
- P. Panzarasa, N. R. Jennings, and T. J. Norman. Formalizing collaborative decision-making and practical reasoning in multi-agent systems. Journal of Logic and Computation, 12(1):55-117, 2002.
- S. Parsons and P. McBurney. Argumentation-based dialogues for agent co- ordination. Group Decision and Negotiation, 12(5):415-439, 2003.
- S. Parsons, C. Sierra, and N. R. Jennings. Agents that reason and negotiate by arguing. Logic and Computation, 8(3):261-292, 1998.
- 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), pages 394-401, New York, NY, USA, 2002. ACM Press.
- A. Pekeč and M. H. Rothkopf. Combinatorial auction design. Working Paper, July 2001. Presentation to Workshop on Electronic Market Design, Infonomics Group, University of Maastricht, Maastricht, The Netherlands.
- H. Prakken. On dialogue systems with speech acts, arguments, and counterargu- ments. 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.
- C. Reed. Dialogue frames in agent communications. In Y. Demazeau, editor, Pro- ceedings of the Third International Conference on Multi-Agent Systems (ICMAS- 98), pages 246-253. IEEE Press, 1998.
- W. Rehg. The argumentation theorist in deliberative democracy. Controversia: An International Journal of Debate and Democratic Renewal, 1(1):18-42, 2002.
- W. Rehg, P. McBurney, and S. Parsons. Computer decision-support systems for public argumentation: assessing deliberative legitimacy. AI and Society, 2004. In press.
- H. W. J. Rittel and M. M. Webber. Dilemmas in a general theory of planning. Policy Sciences, 4:155-169, 1973.
- H. M. Robert, S. C. Robert, H. M. Robert III, W. J. Evans, D. H. Honemann, and T. J. Balch. Robert's Rules of Order. Perseus, Cambridge, MA, USA, tenth edition, 2000.
- J. S. Rosenschein and G. Zlotkin. Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. Artificial Intelligence Series. MIT Press, Cambridge, MA, USA, 1994.
- 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.
- T. W. Sandholm. Distributed rational decision making. In G. Weiss, editor, Multiagent Systems: A Modern Introduction to Distributed Artificial Intelligence, pages 201-258. MIT Press, Cambridge, MA, USA, 1999.
- J. Searle. Rationality in Action. MIT Press, Cambridge, MA, USA, 2001.
- A. Sen. Rationality and Freedom. Harvard University Press, Cambridge, MA, USA, 2002.
- C. Sierra, N. R. Jennings, P. Noriega, and S. Parsons. A framework for argumentation-based negotiation. In M. P. Singh, A. Rao, and M. J. Wooldridge, editors, Intelligent Agents IV: Agent Theories, Architectures, and Languages. Proceedings of the Fourth International ATAL Workshop, Lecture Notes in Ar- tificial Intelligence 1365, pages 177-192, Berlin, Germany, 1998. Springer.
- 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. Springer. In press.
- M. P. Singh. A conceptual analysis of commitments in multiagent systems. Tech- nical Report 96-09, Department of Computer Science, North Carolina State Uni- versity, Raleigh, NC, USA, 1996.
- M. P. Singh. An ontology for commitments in multiagent systems: toward a uni- fication of normative concepts. Artificial Intelligence and Law, 7:97-113, 1999.
- K. Sycara. Persuasive argumentation in negotiation. Theory and Decision, 28:203-242, 1990.
- R. D. Tennent. Semantics of Programming Languages. International Series in Computer Science. Prentice-Hall, Hemel Hempstead, UK, 1991.
- 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.
- T. Webler, S. Tuler, and R. Krueger. What is a good public participation process? Five perspectives from the public. Environmental Management, 27(3):435-450, 2001.
- H. Wohlrapp. A new light on non-deductive argumentation schemes. Argumen- tation, 12:341-350, 1998.
- 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.