Abstract
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexible, this protocol is defined as a combination of a set of conversation policies. These policies are formalized as a set of dialogue games. The protocol is specified using two types of dialogue games: entry dialogue game and chaining dialogue games. The protocol terminates when exit conditions are satisfied. Using a tableau method, we prove that this protocol always terminates. The paper addresses also the implementation issues of our protocol using logical programming and an agent-oriented platform.
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
Amgoud, L., Maudet, N., Parsons, S.: Modelling dialogues using argumentation. In: Proc. of 4th Int. Conf. on Multi Agent Systems, pp. 31–38 (2000)
Amgoud, L., Maudet, N.: Strategical considerations for argumentative agents. In: Proc. of 10th Int. Workshop on Non-Monotonic Reasoning, pp. 409–417 (2002)
Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying protocol conformance for logic-based communicating agents. In: Proc. of 5th Int. Workshop on Computational Logic in Multi-Agent Systems, pp. 82–97 (2004)
Bentahar, J., Moulin, B., Chaib-draa, B.: Commitment and argument network: a new formalism for agent communication. In: [13], pp. 146–165 (2004)
Bentahar, J., Moulin, B., Meyer, J.-J.C., Chaib-draa, B.: A logical model for commitment and argument network for agent communication (extended abstract). In: 3rd Int. J. Conf. on Autonomous Agents and Multi-Agent Systems AAMAS, pp. 792–799 (2004)
Bentahar, J., Moulin, B., Chaib-draa, B.: Specifying and implementing a persuasion dialogue game using commitment and argument network. In: Rahwan, I., Moraïtis, P., Reed, C. (eds.) ArgMAS 2004. LNCS (LNAI), vol. 3366, pp. 130–148. Springer, Heidelberg (2005)
Brewka, G.: Dynamic argument systems: A formal model of argumentation processes based on situation calculus. Journal of Logic and Computation 11(2), 257–282 (2001)
Castelfranchi, C.: Commitments: from individual intentions to groups and organizations. In: Proc. of Int. Conf. on Multi Agent Systems, pp. 41–48 (1995)
Chaib-draa, B., Dignum, F.: Trends in agent communication languages. In Computational Intelligence 18(2), 89–101 (2002)
Cleaveland, R.: Tableau-based model checking in the propositional mu-calculus. Acta Informatica 27(8), 725–747 (1990)
Colombetti, M.: A commitment-based approach to agent speech acts and conversations. In: Proc. of Int. Autonomous Agent Workshop on Conversational Policies, pp. 21–29 (2000)
Dastani, M., Hulstijn, J., der Torre, L.V.: Negotiation protocols and dialogue games. In: Proc. of Belgium/Dutch AI Conference, pp. 13–20 (2000)
Dignum, F.P.M. (ed.): ACL 2003. LNCS (LNAI), vol. 2922, pp. 146–165. Springer, Heidelberg (2004)
Dignum, F.P.M., Greaves, M. (eds.): Issues in Agent Communication. LNCS(LNAI), vol. 1916. Springer, Heidelberg (2000)
Elvang-Goransson, M., Fox, J., Krause, P.: Dialectic reasoning with inconsistent information. In: Proc. of 9th Conf. on Uncertainty in Artificial Intelligence, pp. 114–121 (1993)
Endriss, U., Maudet, N., Sadri, F., Toni, F.: Logic_based agent communication protocols. In: [13], pp. 91–107 (2004)
Fornara, N., Colombetti, M.: Protocol specification using a commitment based ACL. In: [13], pp. 108–127 (2004)
Greaves, M., Holmback, H., Bradshaw, J.: What is a conversation policy? In: [14], pp. 118–131 (2000)
Herrestad, H., Krogh, C.: Obligations directed from bearers to counterparties. In: Proc. of 5th Int. Conf. on Artificial Intelligence and Law, pp. 210–218 (1995)
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)
Parsons, S., Wooldridge, M., Amgoud, L.: On the outcomes of formal inter-agent dialogues. In: Proc. of 2nd Int. J. Conf. on Autonomous Agents and Multi-Agent Systems, pp. 616–623 (2003)
Prakken, H.: Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese 127, 187–219 (2001)
Singh, M.P.: A social semantics for agent communication language. In: [14], pp. 31–45 (2000)
The Agent Oriented Software Group. Jack 4.1 (2004), http://www.agent-software.com/
van Riemsdijk, M.B., de Boer, F.S., Meyer, J.-J.C.: Dynamic logic for plan revision in intelligent agents. In: Proc. of 5th Int. Workshop on Computational Logic in Multi-Agent Systems, pp. 196–211 (2004)
Walton, D.N., Krabbe, E.C.W.: Commitment in dialogue: basic concepts of interpersonal reasoning. State University of New York Press, NY (1995)
Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Proc. of 1st Int. J. Conf. on Autonomous Agents and Multi-Agent Systems, pp. 527–534 (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., Meyer, JJ.C., Chaib-draa, B. (2005). A Computational Model for Conversation Policies for Agent Communication. In: Leite, J., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533092_11
Download citation
DOI: https://doi.org/10.1007/11533092_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28060-6
Online ISBN: 978-3-540-31857-6
eBook Packages: Computer ScienceComputer Science (R0)