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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Hamblin, C.L.: Fallacies. Methuen and Co. Ltd. (1970)
Woods, J., Walton, D.N.: Arresting circles in formal dialogues. Journal of Philosophical Logic 7, 73–90 (1978)
Mackenzie, J.D.: Question begging in non-cumulative systems. Journal of Philosophical Logic 8, 117–133 (1979)
Walton, D.N.: Logical Dialogue-Games And Fallacies. University Press of America (1984)
Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue. SUNY series in Logic and Language. State University of New York Press (1995)
Girle, R.A.: Knowledge organized and disorganized. In: Proceedings of the 7th Florida Artificial Interlligence Research Symposium by the Florida AI Research Society (1994)
Girle, R.A.: Commands in dialogue logic. In: Gabbay, D.M., Ohlbach, H.J. (eds.) FAPR 1996. LNCS (LNAI), vol. 1085. Springer, Heidelberg (1996)
Moore, D., Hobbes, D.: Computational uses of philosophical dialogue theories. Informal Logic 18, 131–163 (1996)
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)
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)
Reed, C.: Dialogue frames in agent communication. In: Proceedings of the 3rd International Conference on Multi Agent Systems. IEEE Press, Los Alamitos (1998)
Reed, C., Norman, T.: Argumentation Machines. Kluwer Academic Publishers, Dordrecht (2003)
Amgoud, L., Parsons, S.: Agent dialogues with conflicting preferences. In: Pre-Proceedings of the Eighth International Workshop on Agent Theories (2001)
Amgoud, L., Parsons, S., Maudet, N.: Arguments, dialogue, and negotiation. In: Proceedings of the Fourteenth European Conference on Artificial Intelligence (2000)
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)
Dignum, F., Dunin-Keplicz, B., Verbrugge, R.: Creating collective intention through dialogue. Logic Journal of the IGPL (2001)
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)
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)
Maudet, N., Moore, D.: Dialogue games as dialogue models for interacting with, and via, computers. Informal Logic 3 (2001)
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)
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)
Rescher, N.: Dialectics, A Controversy-Oriented Approach to the Theory of Knowledge. State University of New York Press, Albany (1977)
Singh, M.P.: Multi-agent systems as spheres of commitment. In: International Conference on Multi-Agent Systems, ICMAS (1996)
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)
Singh, M.P.: An ontology for commitments in multi-agent systems. Artificial Intelligence and Law (1998)
McBurney, P., Parsons, S.: The posit spaces protocol for multi-agent negotiation. Advances in Agent Communication (2004)
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)
Cohen, P.R., Perrault, R.: Elements of a plan-based theory of speech acts. Cognitive Science 3, 177–212 (1979)
van Eemeren, F.H., Grootendorst, R.: Argumentation, Communication, and Fallacies. A Pragma Dialectical Perspective. Lawrence Erlbaum Associates, Mahwah (1992)
Calico jack website (2004), http://www.calicojack.co.uk
Reed, C., Norman, T., Jennings, N.: Negotiating the semantics of agent communication languages. Computational Intelligence (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)