Abstract
In this paper we present a modal semantics for our approach based on social commitments and arguments for conversational agents. Our formal framework based on this approach uses three basic elements: social commitments, actions that agents apply to these social commitments and arguments that agents use to support their actions. This framework, called Commitment and Argument Network (CAN), formalizes the agents’ interactions as a network in which agents manipulate commitments and arguments. More precisely, we propose a logical model (called DCTL*CAN) based on CTL* and on dynamic logic for this framework. The advantage of this logical model is to bring together social commitments, actions, argumentation relations, and the relations existing between these three elements within the same framework. Our semantics makes it possible to represent the dynamics of agent communication. It also allows us to establish the important link between social commitments as a deontic concept and arguments. The final objective of this paper is to propose a unified framework for pragmatics and semantics of agent communication by defining logic-based protocols.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
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.
References
Amgoud, L., Maudet, N., Parsons, N.: An argumentation-based semantics for agent communication languages. In: 15th Euro. Conf. on AI, pp. 38–42 (2002)
Bentahar, J., Moulin, B., Chaib-draa, B.: Commitment and Argument Network: a formal framework for representing conversation dynamics Logic and Dialogue. Kluwer, Dordrecht (2004) (to appear)
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., Chaib-draa, B.: Specifying and Implementing a Persuasion Dialogue Game using Commitments and Arguments. In: Rahwan, I., Moraïtis, P., Reed, C. (eds.) ArgMAS 2004. LNCS (LNAI), vol. 3366, pp. 130–148. Springer, Heidelberg (2005)
Castelfranchi, C.: Commitments: from individual intentions to groups and organizations. In: The Int. Conf. ICMAS, pp. 41–48 (1995)
Cleaveland, R.: Tableau-based model checking in the propositional mu-calculus. Acta Informatica 27(8), 725–747 (1990)
Chaib-draa, B., Dignum, F.: Trends in agent communication language. Computational Intelligence 18(2), 89–101 (2002)
Cohen, P.R., Levesque, H.J.: Persistence, intentions and commitment. In: Cohen, P.R., Morgan, J., Pollack, M.E. (eds.) Intentions in Communication, Cambridge, pp. 33–70 (1990)
Dastani, M., Hulstijn, J., der Torre, L.V.: Negotiation protocols and dialogue games. In: The Belgium/Dutch AI Conf. Kaatsheuvel, pp. 13-20 (2000)
Elvang-Goransson, M., Fox, J., Krause, P.: Dialectic reasoning with inconsistent information. In: The 9th Conf. on Uncertainty in AI, pp. 114–121 (1993)
Emerson, E.A.: Temporal and Modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 995–1072. Elsevier Science Publishers, Amsterdam (1990)
Finin, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language. In: Bradshaw, J.M. (ed.) Software Agent, pp. 291–316. MIT Press, Cambridge (1997)
Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: The First Int. Conf. on AAMAS, pp. 536–542 (2002)
Harel, D.: Dynamic logic. In: Gabbay, D.M., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 2, pp. 497–604 (1984)
Rahwan, I., Ramchurn, S.D., Jennings, N.R., McBurney, P., Parsons, S., Sonenberg, L.: Argumentation-based negotiation. Knowledge Engineering Review (2004) (to appear)
Van der Hoek, W., Wooldridge, M.: Towards a logic of rational agency. Logic Journal of the IGPL 11(2), 133–157 (2003)
Mallya, A.U., Yolum, P., Singh, M.: Resolving Commitments Among Autonomous Agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 166–182. Springer, Heidelberg (2004)
McBurney, P., Parsons, S., Wooldridge, M.: Desiderata for agent argumentation protocols. In: The First Int. Conf. on AAMAS, pp. 402–409 (2002)
Meyer, J.-J.C., van der Hoek, W., van Linder, B.: A logical Approach to the dynamics of commitments. AI Journal 113(1-2), 1–40 (1999)
Parsons, S., Sierra, C., Jennings, N.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8(3), 261–292 (1998)
Pitt, J., Mamdani, A.: Communication protocols in multi-agent systems: a development method and reference architecture. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS (LNAI), vol. 1916, pp. 160–177. Springer, Heidelberg (2000)
Rao, A.S., Georgeff, M.P.: BDI agents: from theory to practice. In: The Int. Conf. ICMAS, pp. 312–319 (1995)
Singh, M.P.: Agent communication languages: rethinking the principles. IEEE Computer 31(12), 40–47 (1998)
Singh, M.P.: A social semantics for agent communication language. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS (LNAI), vol. 1916, pp. 31–45. Springer, Heidelberg (2000)
Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: The Second Int. Conf. on AAMAS, pp. 528–535 (2003)
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 Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. 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_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-32261-0_4
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)