Skip to main content
SpringerLink
Log in

Specifications for Peer-to-Peer Argumentation Dialogues

  • Conference paper
  • First Online:
PRIMA 2017: Principles and Practice of Multi-Agent Systems (PRIMA 2017)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10621))

  • 1091 Accesses

Abstract

In this paper, we propose a generic specification framework for argumentation dialogue protocols in an open multi-agent system. The specification framework is based on reusable elements – dialogue templates – which are realized as an open-source implementation. We provide operational semantics and show formally how templates can be used to determine the possible dialogues. Furthermore, for open multi-agent systems we need to be able to specify peer-to-peer dialogues, where the agents themselves are in a position to know whether their dialogue actions are legal according to the protocol without relying on central entities, institutes or middleware. We prove that all protocols that can be specified in our framework are peer-to-peer suitable.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Black and Hunter [6] use a similar concept which they call action rules.

  2. 2.

    https://git.science.uu.nl/B.J.G.Testerink/OO2APL-P2PArgumentationDialogDemo.

References

  1. Amgoud, L., Maudet, N., Parsons, S.: Modelling dialogues using argumentation. In: Proceedings of the 4th Conference on Multi-Agent Systems, pp. 31–38. IEEE (2000)

    Google Scholar 

  2. Bauer, B., Müller, J.P., Odell, J.: Agent UML: a formalism for specifying multi-agent software systems. Int. J. Softw. Eng. Knowl. Eng. 11(03), 207–230 (2001)

    Article  Google Scholar 

  3. Bex, F., Lawrence, J., Reed, C.: Generalising argument dialogue with the dialogue game execution platform. In: Proceedings of COMMA 2014. Frontiers in Artificial Intelligence and Applications, vol. 266, pp. 141–152. IOS Press (2014)

    Google Scholar 

  4. Bex, F., Peters, J., Testerink, B.: A.I. for online criminal complaints: from natural dialogues to structured scenarios. In: Workshop A.I. for Justice - Proceedings of ECAI 2016, pp. 22–29 (2016)

    Google Scholar 

  5. Bex, F., Reed, C.: Dialogue templates for automatic argument processing. In: Proceedings of COMMA 2012. Frontiers in Artificial Intelligence and Applications, vol. 245, pp. 366–377. IOS Press (2012)

    Google Scholar 

  6. Black, E., Hunter, A.: Executable logic for dialogical argumentation. In: Proceedings of ECAI, pp. 15–20. IOS Press (2012)

    Google Scholar 

  7. Black, E., McBurney, P., Zschaler, S.: Towards agent dialogue as a tool for capturing software design discussions. In: Black, E., Modgil, S., Oren, N. (eds.) TAFA 2013. LNCS, vol. 8306, pp. 95–110. Springer, Heidelberg (2014). doi:10.1007/978-3-642-54373-9_7

    Chapter  Google Scholar 

  8. Dastani, M., Grossi, D., Meyer, J.-J.C., Tinnemeier, N.A.M.: Normative multi-agent programs and their logics. In: Meyer, J.-J.C., Broersen, J. (eds.) KRAMAS 2008. LNCS, vol. 5605, pp. 16–31. Springer, Heidelberg (2009). doi:10.1007/978-3-642-05301-6_2

    Chapter  Google Scholar 

  9. Fan, X., Toni, F.: A general framework for sound assumption-based argumentation dialogues. Artif. Intell. 216, 20–54 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  10. Hannoun, M., Boissier, O., Sichman, J.S., Sayettat, C.: MOISE: an organizational model for multi-agent systems. In: Monard, M.C., Sichman, J.S. (eds.) IBERAMIA/SBIA -2000. LNCS, vol. 1952, pp. 156–165. Springer, Heidelberg (2000). doi:10.1007/3-540-44399-1_17

    Chapter  Google Scholar 

  11. Lawrence, J., Bex, F., Reed, C., Snaith, M.: AIFdb: infrastructure for the argument web. In: Proceedings of COMMA 2012, pp. 515–516 (2012)

    Google Scholar 

  12. Lemon, O., Pietquin, O. (eds.): Data-Driven Methods for Adaptive Spoken Dialogue Systems: Computational Learning for Conversational Interfaces. Springer, New York (2012)

    MATH  Google Scholar 

  13. Maghraby, A., Robertson, D., Grando, A., Rovatsos, M.: Automated deployment of argumentation protocols. In: Proceedings of COMMA 2012. Frontiers in Artificial Intelligence and Applications, vol. 245, pp. 197–204 (2012)

    Google Scholar 

  14. Mazouzi, H., Seghrouchni, A.E.F., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems: Part 2, pp. 517–526. ACM (2002)

    Google Scholar 

  15. McBurney, P., Parsons, S.: Dialogue games for agent argumentation. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 261–280. Springer, Boston (2009). doi:10.1007/978-0-387-98197-0_13

    Chapter  Google Scholar 

  16. Minsky, N., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. TOSEM, ACM Trans. Softw. Eng. Methodol. 9, 273–305 (2000)

    Article  Google Scholar 

  17. Noroozi, O., Weinberger, A., Biemans, H.J., Mulder, M., Chizari, M.: Argumentation-based computer supported collaborative learning (ABCSCL): a synthesis of 15 years of research. Educ. Res. Rev. 7(2), 79–106 (2012)

    Article  Google Scholar 

  18. Odell, J.J., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in UML. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 121–140. Springer, Heidelberg (2001). doi:10.1007/3-540-44564-1_8

    Chapter  Google Scholar 

  19. Pitt, J., Mamdani, A.: A protocol-based semantics for an agent communication language. In: Proceedings of IJCAI 1999, pp. 486–491 (1999)

    Google Scholar 

  20. Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: the case of interaction protocols. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: Part 2, pp. 960–967. ACM (2002)

    Google Scholar 

  21. Prakken, H.: Coherence and flexibility in dialogue games for argumentation. J. Log. Comput. 15(6), 1009–1040 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  22. Prakken, H.: A formal model of adjudication dialogues. Artif. Intell. Law 16(3), 305–328 (2008)

    Article  Google Scholar 

  23. Rahwan, I., Ramchurn, S.D., Jennings, N.R., Mcburney, P., Parsons, S., Sonenberg, L.: Argumentation-based negotiation. Knowl. Eng. Rev. 18(4), 343–375 (2003)

    Article  Google Scholar 

  24. Schatzmann, J., Weilhammer, K., Stuttle, M., Young, S.: A survey of statistical user simulation techniques for reinforcement-learning of dialogue management strategies. Knowl. Eng. Rev. 21(2), 97–126 (2006)

    Article  Google Scholar 

  25. Wells, S., Reed, C.: A domain specific language for describing diverse systems of dialogue. J. Appl. Log. 10(4), 309–329 (2012)

    Article  Google Scholar 

Download references

Acknowledgements

This research is part of the project Intelligence Amplification for Cybercrime which has been funded by the Dutch National Police Innovation Programme.

Author information

Authors and Affiliations

  1. Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    Bas Testerink & Floris J. Bex

Authors
  1. Bas Testerink
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Floris J. Bex
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bas Testerink .

Editor information

Editors and Affiliations

  1. Nanyang Technological University, Singapore, Singapore

    Bo An

  2. Universidade Federal Rio Grande do Sul, Porto Alegre, Rio Grande do Sul, Brazil

    Ana Bazzan

  3. Universidade Nova de Lisboa, Caparica, Portugal

    João Leite

  4. Université Côte d’Azur, Sophia Antipolis, France

    Serena Villata

  5. University of Luxembourg, Esch-sur-Alzette, Luxembourg

    Leendert van der Torre

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Testerink, B., Bex, F.J. (2017). Specifications for Peer-to-Peer Argumentation Dialogues. In: An, B., Bazzan, A., Leite, J., Villata, S., van der Torre, L. (eds) PRIMA 2017: Principles and Practice of Multi-Agent Systems. PRIMA 2017. Lecture Notes in Computer Science(), vol 10621. Springer, Cham. https://doi.org/10.1007/978-3-319-69131-2_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-69131-2_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-69130-5

  • Online ISBN: 978-3-319-69131-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation