Skip to main content
SpringerLink
Log in

A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication

  • 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

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.

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. Amgoud, L., Maudet, N., Parsons, N.: An argumentation-based semantics for agent communication languages. In: 15th Euro. Conf. on AI, pp. 38–42 (2002)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Chapter  Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. Castelfranchi, C.: Commitments: from individual intentions to groups and organizations. In: The Int. Conf. ICMAS, pp. 41–48 (1995)

    Google Scholar 

  6. Cleaveland, R.: Tableau-based model checking in the propositional mu-calculus. Acta Informatica 27(8), 725–747 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  7. Chaib-draa, B., Dignum, F.: Trends in agent communication language. Computational Intelligence 18(2), 89–101 (2002)

    Article  Google Scholar 

  8. 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)

    Google Scholar 

  9. Dastani, M., Hulstijn, J., der Torre, L.V.: Negotiation protocols and dialogue games. In: The Belgium/Dutch AI Conf. Kaatsheuvel, pp. 13-20 (2000)

    Google Scholar 

  10. Elvang-Goransson, M., Fox, J., Krause, P.: Dialectic reasoning with inconsistent information. In: The 9th Conf. on Uncertainty in AI, pp. 114–121 (1993)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: The First Int. Conf. on AAMAS, pp. 536–542 (2002)

    Google Scholar 

  14. Harel, D.: Dynamic logic. In: Gabbay, D.M., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 2, pp. 497–604 (1984)

    Google Scholar 

  15. Rahwan, I., Ramchurn, S.D., Jennings, N.R., McBurney, P., Parsons, S., Sonenberg, L.: Argumentation-based negotiation. Knowledge Engineering Review (2004) (to appear)

    Google Scholar 

  16. Van der Hoek, W., Wooldridge, M.: Towards a logic of rational agency. Logic Journal of the IGPL 11(2), 133–157 (2003)

    Article  Google Scholar 

  17. 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)

    Chapter  Google Scholar 

  18. McBurney, P., Parsons, S., Wooldridge, M.: Desiderata for agent argumentation protocols. In: The First Int. Conf. on AAMAS, pp. 402–409 (2002)

    Google Scholar 

  19. 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)

    MATH  Google Scholar 

  20. Parsons, S., Sierra, C., Jennings, N.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8(3), 261–292 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  21. 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)

    Chapter  Google Scholar 

  22. Rao, A.S., Georgeff, M.P.: BDI agents: from theory to practice. In: The Int. Conf. ICMAS, pp. 312–319 (1995)

    Google Scholar 

  23. Singh, M.P.: Agent communication languages: rethinking the principles. IEEE Computer 31(12), 40–47 (1998)

    Google Scholar 

  24. 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)

    Chapter  Google Scholar 

  25. Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: The Second Int. Conf. on AAMAS, pp. 528–535 (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Software Engineering, Laval University, Ste Foy, QC, G1K 7P4, Canada

    Jamal Bentahar, Bernard Moulin & Brahim Chaib-draa

  2. Department of Computer Science, University Utrecht, PO Box 80.089, 3508TB, Utrecht, The Netherlands

    John-Jules Ch. Meyer

Authors
  1. Jamal Bentahar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernard Moulin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. John-Jules Ch. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Brahim Chaib-draa
    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

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)

Publish with us

Policies and ethics

Search

Navigation