Abstract
In this paper we propose a new persuasion dialogue game for agent communication. We show how this dialogue game is modeled by a framework based on social commitments and arguments. Called Commitment and Argument Network (CAN), this framework allows us to model communication dynamics in terms of actions that agents apply to commitments and in terms of argumentation relations. This dialogue game is specified by indicating its entry conditions, its dynamics and its exit conditions. In order to solve the problem of the acceptance of arguments, the protocol integrates the concept of agents’ trustworthiness in its specification. The paper proposes a set of algorithms for the implementation of the persuasion protocol and discusses their termination, complexity and correctness.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abdul-Rahman, A., Hailes, S.: Supporting Trust in Virtual Communities. In: Proc. of the 33rd Hawaii Int. Conf. on Systems Science (2000)
Amgoud, L., Maudet, N., Parsons, N.: Modelling dialogues using argumentation. In: Proc. of the 4th Int. Conf. on MAS, pp. 31-38 (2000)
Bench-Capon, T.J.M., Freeman, J.B., Hohmann, H., Prakken, H.: Computational models, argumentation theories and legal practice. In: Reed, C., Norman, T.J. (eds.) Argumentation Machines. New Frontiers in Argument and Computation, pp. 85–120. Kluwer Argumentation Library, Dordrecht (2003)
Bentahar, J., Moulin, B., Chaib-draa, B.: Vers une approche à base d’engagements et d’arguments pour la modélisation du dialogue. In: Modèles Formels de l’Interaction, Cépaduès, 19–28 (2003)
Bentahar, J., Moulin, B., Chaib-draa, B.: Commitment and argument network: a new formalism for agent communication. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 146–165. Springer, Heidelberg (2004)
Bentahar, J., Moulin, B., Meyer, J.-J.Ch., Chaib-draa, B.: A logical model for commitment and argument network (extended abstract). In: Proc. of the 3rd Int. J. Conf. on AAMAS (2004), pp. 792–799 (2004)
Bhat, G., Cleaveland, R., Groce, A.: Efficient model checking via Büchi tableau automata. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 38–52. Springer, Heidelberg (2001)
Castelfranchi, C.: Commitments: from individual intentions to groups and organizations. In: Proc. of the Int. Conf. on Multi-Agent Systems, pp. 41–48 (1995)
Dastani, M., Hulstijn, J., der Torre, L.V.: Negotiation protocols and dialogue games. In: Proc. of the Belgium/Dutch AI Conf., pp. 13–20 (2000)
Dignum, F., Dunin-Keplicz, Verbugge, R.: Creation collective intention through dialogue. Logic Journal of the IGPL 9(2), 305–319 (2001)
Elvang-Goransson, M., Fox, J., Krause, P.: Dialectic reasoning with inconsistent information. In: Proc. of the 9th Conf. on Uncertainty in AI, pp. 114–121 (1993)
Fornara, N., Colombetti, M.: Defining protocols using a commitment-based agent communication language. In: Proc. of the 2nd Int. J. Conf. on AAMAS, pp. 520–527 (2003)
Maudet, N., Chaib-draa, B.: Commitment-based and dialogue-game based protocols, new trends in agent communication languages. Knowledge Engineering Review 17(2), 157–179 (2002)
McBurney, P., Parsons, S.: Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language, and Information 11(3), 1–22 (2002)
McBurney, P.: Rational Interaction. Thesis of Univ. of Liverpool (2002)
Parsons, S., Wooldridge, M., Amgoud, L.: On the outcomes of formal inter-agent Dialogues. In: Proc. of the 2nd Int. J. Conf. on AAMAS, pp. 616–623 (2003)
Prakken, H.: Logical Tools for Modelling legal argument. A study of defeasible reasoning in law. Kluwer Law and Philosophy Library, Dordrecht (1997)
Prakken, H., Sartor, G.: Modelling reasoning with precedents in a formal dialogue game. Artificial Intelligence and Law 6, 231–287 (1998)
Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. In: Gabbay, D. (ed.) Handbook of Philosophical Logic, pp. 218–319. Kluwer, Dordrecht (2000)
Ramchurn, S.D., Sierra, C., Jennings, N.R., Godo, L.: A computational trust model for multi-agent interactions based on confidence and reputation. In: Proc. of 6th Int. Workshop of Deception, Fraud and Trust in Agent Societies, pp. 69–75 (2003)
Reed, C.: Dialogue frames in agent communication. In: Proc. of the 3rd Int. Conf. on MAS, pp. 246–253 (1998)
Sabater, J., Sierra, C.: Reputation and social network analysis in multi-agent systems. In: Proc. of the 1st Int. J. Conf. on AAMAS, pp. 475–482 (2002)
Sadri, F., Toni, F., Torroni, P.: Logic agents, dialogues and negotiation: an abductive approach. In: Proc. of Symposium on Information Agents for E-Commerce (2001)
Searle, J.R.: Speech acts: an essay in the philosophy of language. Cambridge University Press, England (1969)
Singh, M.P.: Agent communication languages: rethinking the principles. IEEE Computer, 40–47 (1998)
Smith, I.A., Cohen, P.R., Bradshaw, J.M., Greaves, M., Holmback, H.: Designing conversation policies using joint intention theory. In: Proc. of the 3rd Int. Conf. on MAS, pp. 269–276 (1998)
Vanderveken, D.: Illocutionary logic and discourse typology. Searle with his Replies of Revue Internat. de Philosophie (2001)
Vreeswijk, G.A.W.: Abstract argumentation systems. Artificial Intelligence 90(1-2), 225–279 (1997)
Walton, D.N., Krabbe, E.C.W.: Commitment in dialogue: basic concepts of interpersonal reasoning. State Univ. of New York Press, State Univ. of New York Press, Albany (1995)
Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Proc. of Int. J. Conf. on AAMAS, pp. 527–534 (2002)
Yu, B., Singh, M.: An evidential model of distributed reputation management. In: Proc. of the 1st Int. J. Conf. on AAMAS, pp. 294–301 (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
Bentahar, J., Moulin, B., Chaib-draa, B. (2005). Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments. 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_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-32261-0_9
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)