Autonomous Agents and Multi-Agent Systems

, Volume 19, Issue 2, pp 173–209 | Cite as

An inquiry dialogue system

Article

Abstract

The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues; we focus on inquiry dialogues, which allow agents to collaborate in order to find new knowledge. We present a general framework for representing dialogues and give the details necessary to generate two subtypes of inquiry dialogue that we define: argument inquiry dialogues allow two agents to share knowledge to jointly construct arguments; warrant inquiry dialogues allow two agents to share knowledge to jointly construct dialectical trees (essentially a tree with an argument at each node in which a child node is a counter argument to its parent). Existing inquiry dialogue systems only model dialogues, meaning they provide a protocol which dictates what the possible legal next moves are but not which of these moves to make. Our system not only includes a dialogue-game style protocol for each subtype of inquiry dialogue that we present, but also a strategy that selects exactly one of the legal moves to make. We propose a benchmark against which we compare our dialogues, being the arguments that can be constructed from the union of the agents’ beliefs, and use this to define soundness and completeness properties that we show hold for all inquiry dialogues generated by our system.

Keywords

Agent interaction Argumentation Inquiry Dialogue Cooperation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Amgoud L., Cayrol C. (2002) A reasoning model based on the production of acceptable arguments. Annals of Mathematics and Artificial Intelligence 34(1–3): 197–216MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Amgoud, L., & Hameurlain, N. (2006). An argumentation-based approach for dialogue move selection. In Third International Workshop on Argumentation in Multi-Agent Systems (ARGMAS 2006) (pp. 111–125). Hakodate, Japan, 8–12 May.Google Scholar
  3. 3.
    Amgoud, L., Maudet, N., & Parsons, S. (2000). Arguments, dialogue and negotiation. In Fourteenth European Conference on Artificial Intelligence (ECAI 2000) (pp. 338–342). Berlin, Germany: IOS Press.Google Scholar
  4. 4.
    Amgoud, L., Maudet, N., & Parsons, S. (2000). Modelling dialogues using argumentation. In Fourth International Conference on Multi-Agent Systems (pp. 31–38). Boston, USA: IEEE Press.Google Scholar
  5. 5.
    Atkinson, K., & Bench-Capon, T. J. M. (2007). Argumentation and standards of proof. In Eleventh International Conference on AI and Law (ICAIL 2007) (pp. 107–116). Palo Alto, CA, USA: ACM Press.Google Scholar
  6. 6.
    Bench-Capon T.J.M. (2003) Persuasion in practical argument using value-based argumentation frameworks. Journal of Logic and Computation 13(3): 429–448MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Bench-Capon T.J.M., Geldard T., Leng P.H. (2000) A method for the computational modelling of dialectical argument with dialogue games. Artificial Intelligence and Law 8: 233–254CrossRefGoogle Scholar
  8. 8.
    Bentahar, J., Alam, R., & Maamar, Z. (2008). An argumentation-based protocol for conflict resolution. In KR2008-Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008) (pp. 19–35). Sydney, Australia.Google Scholar
  9. 9.
    Besnard P., Hunter A. (2001) A logic-based theory of deductive arguments. Artificial Intelligence 128: 203–235MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Bex, F., & Prakken, H. (2004). Reinterpreting arguments in dialogue: An application to evidential reasoning. In Legal Knowledge and Information Systems, JURIX 2004: The Seventeenth Annual Conference (pp. 119–129). IOS Press.Google Scholar
  11. 11.
    Black, E. (2007). A generative framework for argumentation-based inquiry dialogues. Ph.D. thesis, University College London.Google Scholar
  12. 12.
    Black, E., & Hunter, A. (2007). A generative inquiry dialogue system. In Sixth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007) (pp. 1010–1017). Honolulu, HI, USA.Google Scholar
  13. 13.
    Black, E., & Hunter, A. (2008). Using enthymemes in an inquiry dialogue system. In Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2008) (pp. 437–444). Estoril, Portugal.Google Scholar
  14. 14.
    Brena R.F., Aguirre J.-L., Chesñevar C. I., Ramírez E. H., Garrido L. (2007) Knowledge and information distribution leveraged by intelligent agents. Knowledge and Information Systems 12(2): 203–227CrossRefGoogle Scholar
  15. 15.
    Chesñevar C. I., Dix J., Stolzenburg F., Simari G.R. (2003) Relating defeasible and normal logic programming through transformation properties. Theoretical Computer Science 290(1): 499–529CrossRefMathSciNetGoogle Scholar
  16. 16.
    de Almedia Móra I., Alferes J.J., Schroeder M. (1998) Argumentation and cooperation for distributed extended logic programs. In: Dix J., Lobo J.(eds) Working Notes of the Workshop on Nonmonotonic Reasoning. Trento, ItalyGoogle Scholar
  17. 17.
    Dignum, F., Dunin-Keplicz, B., & Verbrugge, R. (2000). Dialogue in team formation. In F. Dignum & M. Greaves (Eds.), Issues in agent communication (pp. 264–280). Springer-Verlag.Google Scholar
  18. 18.
    Dignum, F., & Vreeswijk, G. (2003). Towards a testbed for multi-party dialogues. In AAMAS International Workshop on Agent Communication Languages and Conversation Policies (pp. 63–71).Google Scholar
  19. 19.
    Dung P.M. (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77: 321–357MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Dung P.M., Kowalski R.A., Toni F. (2006) Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence 170(2): 114–159MATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    Dunne P.E., Bench-Capon T.J.M. (2003) Two party immediate response disputes: Properties and efficiency. Artificial Intelligence 149(2): 221–250MATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Dunne, P.E., McBurney, P. (2003). Optimal utterances in dialogue protocols. In Second International Conference on Autonomous Agents and Mutli-Agent Systems (AAMAS 2003) (pp. 608–615). New York, NY, USA: ACM Press.Google Scholar
  23. 23.
    Fox, J., & Das, S. (2000). Safe and sound: Artificial intelligence in hazardous applications. AAAI Press and The MIT Press.Google Scholar
  24. 24.
    Fox, J., Glasspool, D., & Bury, J. (2001). Quantitative and qualitative approaches to reasoning under uncertainty in medical decision making. In Eighth Conference on Artificial Intelligence in Medicine in Europe (AIME 2001) (pp. 272–282). Cascais, Portugal.Google Scholar
  25. 25.
    García A. J., Simari G.R. (2004) Defeasible logic programming an argumentative approach. Theory and Practice of Logic Programming 4(1–2): 95–138CrossRefMathSciNetGoogle Scholar
  26. 26.
    Gómez S.A., Chesñevar C.I., Simari G.R. (2008) Defeasible reasoning in web-based forms through argumentation. International Journal of Information Technology and Decision Making 7(1): 71–101MATHCrossRefGoogle Scholar
  27. 27.
    González, M. P., Chesñevar, C. I., Collazos, C. A., & Simari, G. R. (2007). Modelling shared knowledge and shared knowledge awareness in cscl scenarios through automated argumentation systems. In J. M. Haake, S. F. Ochoa, & A. Cechich (Eds.), CRIWG, volume 4715 of Lecture Notes in Computer Science (pp. 207–222). Springer.Google Scholar
  28. 28.
    Gordon, T. F. (1995). The pleadings game; an artificial intelligence model of procedural justice. Kluwer Academinc Publishers.Google Scholar
  29. 29.
    Hitchcock, D., McBurney, P., & Parsons, S. (2001). A framework for deliberation dialogues. In H. V. Hansen, et al. (Eds.), Fourth Biennial Conference of the Ontario Society for the Study of Argumentation (OSSA 2001). Windsor, Ontario, Canada.Google Scholar
  30. 30.
    Hulstijn, J. (2000). Dialogue models for inquiry and transaction. Ph.D. thesis, Universiteit Twente, Enschede, The Netherlands.Google Scholar
  31. 31.
    Kakas, A., Maudet, N., & Moraitis, P. (2004). Layered strategies and protocols for argumentation-based agent interaction. In I. Rahwan, P. Moraitis, & C. Reed (Eds.), First International Workshop on Argumentation in MultiAgent Systems (ARGMAS 2004), Lecture Notes in Artificial Intelligence (LNAI) 3366 (pp. 66–79). New York: Springer-Verlag.Google Scholar
  32. 32.
    McBurney P., Parsons S. (2001) Representing epistemic uncertainty by means of dialectical argumentation. Annals of Mathematics and Artificial Intelligence 32(1–4): 125–169CrossRefMathSciNetGoogle Scholar
  33. 33.
    McBurney P., Parsons S. (2002) Dialogue games in multi-agent systems. Informal Logic 22(3): 257–274MathSciNetGoogle Scholar
  34. 34.
    McBurney P., Parsons S. (2002) Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information 11(3): 315–334 Special issue on logic and gamesMATHCrossRefMathSciNetGoogle Scholar
  35. 35.
    McBurney P., van Eijk R., Parsons S., Amgoud L. (2003) A dialogue-game protocol for agent purchase negotiations. Journal of Autonomous Agents and Multi-Agent Systems 7(3): 235–273CrossRefGoogle Scholar
  36. 36.
    Modgil, S. (2007). An abstract theory of argumentation that accomodates defeasible reasoning about preferences. In Ninth European Conference on Symbolic and Quantative Approaches to Reasoning with Uncertainty (ECSQARU 2007) (pp. 648–659). Hammamet, Tunisia.Google Scholar
  37. 37.
    Parsons, S., McBurney, P., Sklar, E., & Wooldridge, M. (2007). On the relevance of utterances in formal inter-agent dialogues. In Sixth International Conference on Autonomous Agents and Mutli-Agent Systems (AAMAS 2007) (pp. 1002–1009). Honolulu, HI, USA.Google Scholar
  38. 38.
    Parsons, S., Wooldridge, M., & Amgoud, L. (2002). An analysis of formal inter-agent dialogues. In First International Conference on Autonomous Agents and Mutli-Agent Systems (AAMAS 2002) (pp. 394–401). Bologna, Italy: ACM Press.Google Scholar
  39. 39.
    Parsons, S., Wooldridge, M., & Amgoud, L. (2003). On the outcomes of formal inter-agent dialogues. In Second International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2003) (pp. 616–623). Melbourne, Australia.Google Scholar
  40. 40.
    Parsons S., Wooldridge M., Amgoud. L. (2003) Properties and complexity of some formal inter-agent dialogues. Journal of Logic and Computation 13(3): 347–376 Special issue on computational dialecticsMATHCrossRefMathSciNetGoogle Scholar
  41. 41.
    Pasquier, P., Rahwan, I., Dignum, F., & Sonenberg, L. (2006). Argumentation and persuasion in the cognitive coherence theory. In First International Conference on Computational Models of Argument (COMMA 2006) (pp. 223–234). Liverpool, UK: IOS Press.Google Scholar
  42. 42.
    Prakken H. (2005) Coherence and flexibility in dialogue games for argumentation. Journal of Logic and Computation 15(6): 1009–1040MATHCrossRefMathSciNetGoogle Scholar
  43. 43.
    Prakken, H., Reed, C., & Walton, D. (2005). Dialogues about the burden of proof. In Proceedings of the Tenth International Conference on AI and Law (pp. 115–124). New York, USA: ACM Press.Google Scholar
  44. 44.
    Rahwan, I., McBurney, P., & Sonenberg, L. (2003). Towards a theory of negotiation strategy (a preliminary report). In Fifth Workshop on Game Theoretic and Decision Theoretic Agents (GTDT-2003) (pp. 73–80).Google Scholar
  45. 45.
    Reed, C. (1998). Dialogue frames in agent communications. In Third International Conference on Multi-Agent Systems (ICMAS 1998) (pp. 246–253). IEE Press.Google Scholar
  46. 46.
    Sadri, F., Toni, F., & Torroni, P. (2001). Dialogues for negotiation: Agent varieties and dialogue sequences. In J.-J. Meyer & M. Tambe (Eds.), Pre-Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001) (pp. 69–84).Google Scholar
  47. 47.
    Sadri, F., Toni, F., & Torroni, P. (2001). Logic agents, dialogues and negotiation: an abductive approach. In M. Schroeder & K. Stathis (Eds.), Symposium on Information Agents for E-Commerce (AISB 2001). AISB.Google Scholar
  48. 48.
    Thimm, M., & Kern-Isberner, G. (2008). A distributed argumentation framework using defeasible logic programming. In Second International Conference on Computational Models of Argument (COMMA 2008) (pp. 381–392). Toulouse, France: IOS Press.Google Scholar
  49. 49.
    Walton, D. N., & Krabbe, E. C. W. (1995). Commitment in dialogue: Basic concepts of interpersonal reasoning. SUNY Press.Google Scholar
  50. 50.
    Williams, M., & Hunter, A. (2007). Harnessing ontologies for argument-based decision-making in breast cancer. In 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007) (Vol. 2, pp. 254–261). IEEE.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2008

Authors and Affiliations

  1. 1.COSSAC: IRC in Cognitive Science and Systems Engineering, Department of Engineering ScienceUniversity of OxfordOxfordUK
  2. 2.Department of Computer ScienceUniversity College LondonLondonUK

Personalised recommendations