Skip to main content
SpringerLink
Log in

Formal Dialectic Specification

  • Conference paper
Argumentation in Multi-Agent Systems (ArgMAS 2004)

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

Included in the following conference series:

Abstract

Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for the computational implementation of such a system of argumentative dialogue.

This paper introduces a formal framework for the specification of Hamblin-type systems that has a range of benefits for theoretical work in the area including: yielding concise sets of clearly defined moves; allowing the moves of both existing and new games to be specified in a consistent manner; facilitating the use of dialectical shifts and dialogue embeddings independent of ruleset; facilitating the investigation of the coupling between sets of moves and dialogue situations; defining the attributes possessed by the general Hamblin-style formal dialectical system and thereby enabling the systematic exploration of the types of moves that these systems might encompass; and facilitating the rapid development of software applications that use formal dialectic to regulate communications.

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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hamblin, C.L.: Fallacies. Methuen and Co. Ltd. (1970)

    Google Scholar 

  2. Woods, J., Walton, D.N.: Arresting circles in formal dialogues. Journal of Philosophical Logic 7, 73–90 (1978)

    Article  MATH  MathSciNet  Google Scholar 

  3. Mackenzie, J.D.: Question begging in non-cumulative systems. Journal of Philosophical Logic 8, 117–133 (1979)

    Article  MATH  MathSciNet  Google Scholar 

  4. Walton, D.N.: Logical Dialogue-Games And Fallacies. University Press of America (1984)

    Google Scholar 

  5. Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue. SUNY series in Logic and Language. State University of New York Press (1995)

    Google Scholar 

  6. Girle, R.A.: Knowledge organized and disorganized. In: Proceedings of the 7th Florida Artificial Interlligence Research Symposium by the Florida AI Research Society (1994)

    Google Scholar 

  7. Girle, R.A.: Commands in dialogue logic. In: Gabbay, D.M., Ohlbach, H.J. (eds.) FAPR 1996. LNCS (LNAI), vol. 1085. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  8. Moore, D., Hobbes, D.: Computational uses of philosophical dialogue theories. Informal Logic 18, 131–163 (1996)

    Google Scholar 

  9. Yuan, T., Moore, D., Grierson, A.: A conversational agent system as a test-bed to study the philosophical model dc. In: 3rd Workshop on Computational Models of Natural Argument, CMNA 2003 (2003)

    Google Scholar 

  10. McBurney, P., Parsons, S.: Agent ludens: Games for agent dialogues. In: Game-Theoretic and Decision-Theoretic Agents (GTDT 2001): Proceedings of the 2001 AAAI Spring Symposium (2001)

    Google Scholar 

  11. Reed, C.: Dialogue frames in agent communication. In: Proceedings of the 3rd International Conference on Multi Agent Systems. IEEE Press, Los Alamitos (1998)

    Google Scholar 

  12. Reed, C., Norman, T.: Argumentation Machines. Kluwer Academic Publishers, Dordrecht (2003)

    Google Scholar 

  13. Amgoud, L., Parsons, S.: Agent dialogues with conflicting preferences. In: Pre-Proceedings of the Eighth International Workshop on Agent Theories (2001)

    Google Scholar 

  14. Amgoud, L., Parsons, S., Maudet, N.: Arguments, dialogue, and negotiation. In: Proceedings of the Fourteenth European Conference on Artificial Intelligence (2000)

    Google Scholar 

  15. Dignum, F., Dunin-Keplicz, B., Verbrugge, R.: Agent theory for team formation by dialogue. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, p. 150. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  16. Dignum, F., Dunin-Keplicz, B., Verbrugge, R.: Creating collective intention through dialogue. Logic Journal of the IGPL (2001)

    Google Scholar 

  17. Hitchcock, D., McBurney, P., Parsons, S.: A framework for deliberation dialogues. In: Proceedings of the Fourth Biennial Conference of the Ontario Society for the Study of Argumentation (2001)

    Google Scholar 

  18. McBurney, P., van Eijk, R.M., Parsons, S., Amgoud, L.: A dialogue-game protocol for agent purchase negotiations. Journal of Autonomous Agents and Multi-Agent Systems 7, 235–273 (2001)

    Article  Google Scholar 

  19. Maudet, N., Moore, D.: Dialogue games as dialogue models for interacting with, and via, computers. Informal Logic 3 (2001)

    Google Scholar 

  20. Maudet, N., Evrard, F.: A generic framework for dialogue game implementation. In: Proceedings of the Second Workshop on Formal Semantics and Pragmatics of Dialog (1998)

    Google Scholar 

  21. Bench-Capon, T.J.M., Geldard, T., Leng, P.H.: A method for the computational modelling of dialectical argument with dialogue games. Artificial Intelligence and Law 8, 233–354 (2000)

    Article  Google Scholar 

  22. Rescher, N.: Dialectics, A Controversy-Oriented Approach to the Theory of Knowledge. State University of New York Press, Albany (1977)

    Google Scholar 

  23. Singh, M.P.: Multi-agent systems as spheres of commitment. In: International Conference on Multi-Agent Systems, ICMAS (1996)

    Google Scholar 

  24. Singh, M.P.: Commitments among autonomous agents in information-rich environments. In: 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW (1997)

    Google Scholar 

  25. Singh, M.P.: An ontology for commitments in multi-agent systems. Artificial Intelligence and Law (1998)

    Google Scholar 

  26. McBurney, P., Parsons, S.: The posit spaces protocol for multi-agent negotiation. Advances in Agent Communication (2004)

    Google Scholar 

  27. Maudet, N., Chaib-draa, B., Labrie, M.A.: Request for action reconsidered as dialogue game based on commitments. In: Workshop on Agent Communication Language, AAMAS 2002 (2002)

    Google Scholar 

  28. Cohen, P.R., Perrault, R.: Elements of a plan-based theory of speech acts. Cognitive Science 3, 177–212 (1979)

    Article  Google Scholar 

  29. van Eemeren, F.H., Grootendorst, R.: Argumentation, Communication, and Fallacies. A Pragma Dialectical Perspective. Lawrence Erlbaum Associates, Mahwah (1992)

    Google Scholar 

  30. Calico jack website (2004), http://www.calicojack.co.uk

  31. Reed, C., Norman, T., Jennings, N.: Negotiating the semantics of agent communication languages. Computational Intelligence (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Division of Applied Computing, University of Dundee, Dundee, DD1 4HN, UK

    Simon Wells & Chris Reed

Authors
  1. Simon Wells
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Chris Reed
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Informatics, British University in Dubai, P.O. Box 502216, Dubau, United Arab Emirates

    Iyad Rahwan

  2. Department of Computer Science, University of Cyprus, CY-1678, Nicosia, Cyprus

    Pavlos Moraïtis

  3. Department of Applied Computing, University of Dundee, DD1 4HN, Dundee, UK

    Chris Reed

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wells, S., Reed, C. (2005). Formal Dialectic Specification. In: Rahwan, I., Moraïtis, P., Reed, C. (eds) Argumentation in Multi-Agent Systems. ArgMAS 2004. Lecture Notes in Computer Science(), vol 3366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32261-0_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-32261-0_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24526-1

  • Online ISBN: 978-3-540-32261-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation