Skip to main content
SpringerLink
Log in

Strategic Agent Communication: An Argumentation-Driven Approach

  • Conference paper
Book cover Declarative Agent Languages and Technologies VI (DALT 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5397))

Included in the following conference series:

Abstract

This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based and enables agents to generate a set of strategic goals depending on a set of constraints. Sub-goals are generated using this reasoning and they can be cancelled or substituted for alternatives during the dialogue progress. An original characteristic of this framework is that agents can use this strategic reasoning together with a tactic reasoning to persist in the achievement of their goals by considering alternatives depending on a set of constraints. Tactic reasoning is responsible of selecting the communicative acts to perform in order to realize the strategic goals. Some constraints are fixed when the conversation starts and others during the dialogue progress. The paper also discusses the computational complexity of such a reasoning.

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., Kaci, S.: On the Generation of Bipolar Goals in Argumentation-based Negotiation. In: Rahwan, I., Moraïtis, P., Reed, C. (eds.) ArgMAS 2004. LNCS, vol. 3366, pp. 192–207. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  2. Atkinson, K., Bench-Capon, T., McBurney, P.: Computational Representation of Practical Argument. Synthese 152(2), 157–206 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  3. Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Verification of Protocol Conformance and Agent Interoperability. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 265–283. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying Protocol Conformance for Logic-Based Communicating Agents. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol. 3487, pp. 196–212. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  5. Bange, P.: Analyse Conversationnelle et théorie de l’Action, Paris, Hatier (1992)

    Google Scholar 

  6. Bench-Capon, T.J.M.: Persuasion in practical argument using value based argument. Journal of Logic and Computation 13(3), 429–448 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  7. Bentahar, J., Moulin, B., Meyer, J.-J.C., Lespérance, Y.: A New Logical Semantics for Agent Communication. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 151–170. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  8. Bentahar, J., Mbarki, M., Moulin, B.: Specification and Complexity of Strategic-bsed Reasoning Using Argumentation. In: Maudet, N., Parsons, S., Rahwan, I. (eds.) ArgMAS 2006. LNCS (LNAI), vol. 4766, pp. 142–160. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  9. Brewka, G.: Dynamic argument systems: A formal model of argumentation processes based on stuation calculus. Journal of Logic and Computation 11(2), 257–282 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  10. Caelen, J.: Stratégies de dialogue. Modèles Formels d’Intéraction (MFI 2003), Lille, CEPADUES Editions (May 2003)

    Google Scholar 

  11. Castelfranchi, C.: Commitments: from individual intentions to groups and organizations. In: International Conference on Multi Agent Systems, pp. 41–48 (1995)

    Google Scholar 

  12. Chesnevar, C.I., Maguitman, A., Loui, R.: Logical models of argument. ACM Computing Surveys 32, 337–383 (2000)

    Article  Google Scholar 

  13. Dung, P.M.: On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 321–357 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  14. Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence, pp. 679–684 (2003)

    Google Scholar 

  15. Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: a roadmap of current technologies and future trends. Computational Intelligence Journal (2006)

    Google Scholar 

  16. Johnson, D.S.: A Catalog of Complexity Classes. In: Handbook of Theoretical Computer Science, ch. 2, Elsevier Science Publishers, Amsterdam (1990)

    Google Scholar 

  17. Hayashi, H., Tokura, S., Hasegawa, T., Ozaki, F.: Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 171–187. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  18. Kakas, A.C., Maudet, N., Moraïtis, P.: Layered Strategies and Protocols for Argumentation-Based Agent Interaction. In: Rahwan, I., Moraïtis, P., Reed, C. (eds.) ArgMAS 2004. LNCS, vol. 3366, pp. 64–77. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  19. Moreira, Á.F., Vieira, R., Bordini, R.H.: Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 135–154. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  20. Moulin, B., Irandoust, I., Bélanger, M., Desbordes, G.: Explanation and argumentation capabilities: towards the creation of more persuasive agents. Artificial Intelligence Review 17(3), 169–222 (2002)

    Article  MATH  Google Scholar 

  21. Nau, D.S., Cao, Y., Lotem, A., Munoz-Avila, H.: SHOP: Simple Hierarchical Ordered Planner. In: IJCAI 1999, pp. 968–975 (1999)

    Google Scholar 

  22. Nigam, V., Leite, J.: A Dynamic Logic Programming Based System for Agents with Declarative Goals. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, pp. 174–190. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  23. Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading (1994)

    MATH  Google Scholar 

  24. Pezzulo, G., Falcone, R., Hoffmann, J.: Anticipation and Anticipatory Behavior: Editorial. Cognitive Processing 8(2), 67–70 (2007)

    Article  Google Scholar 

  25. Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. In: Handbook of Philosophical Logic, 2nd edn. (2000)

    Google Scholar 

  26. Sardina, S., De Giacomo, G., Lesperance, Y., Levesque, H.: On the Limits of Planning over Belief States under Strict Uncertainty. In: Proceedings of the KR 2006 Conference, June 2006, pp. 463–471 (2006)

    Google Scholar 

  27. Shapiro, S., Brewka, G.: Dynamic interactions between goals and beliefs. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, India, pp. 2625–2630 (2007)

    Google Scholar 

  28. Shapiro, S., Lesperance, Y., Levesque, H.: Goal change. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2005), Denver, CO, pp. 582–588 (2005)

    Google Scholar 

  29. Singh, M.P.: A social semantics for agent communication language. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication, pp. 31–45 (2000)

    Google Scholar 

  30. Smith, I., Cohen, P., Bradshaw, J., Greaves, M., Holmback, H.: Desiging Conversation Policies using Joint Intention Theory. In: Proc. ICMAS 1998, pp. 269–276. IEEE Press, Los Alamitos (1998)

    Google Scholar 

  31. Toni, F., Torroni, P.: Computational Logic in Multi-Agent Systems. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  32. Torroni, P., Gavanelli, M., Chesani, F.: Argumentation in the Semantic Web. IEEE Intelligent Systems 22(6), 66–74 (2007)

    Article  Google Scholar 

  33. van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of the International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pp. 157–164. ACM Inc., New York (2005)

    Chapter  Google Scholar 

  34. van Dijk, T.A., Kintsch, W.: Strategies of Discourse Comprehension. Academic Press, New York (1983)

    Google Scholar 

  35. van Riemsdijk, M.B., Dastani, M., Dignum, F.P.M., Meyer, J.-J.C.: Dynamics of Declarative Goals in Agent Programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 1–18. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  36. van Riemsdijk, B., Dastani, M., Meyer, J.-J.: Semantics of declarative goals in agent programming. In: AAMAS 2005, pp. 133–140 (2005)

    Google Scholar 

  37. Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and Procedural Goals in Intelligent Agent Systems. In: KR 2002. Morgan Kaufmann, San Francisco (2002)

    Google Scholar 

  38. Yolum, P., Singh, M.P.: Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols. Annals of Mathematics and Artificial Intelligence 42(1-3), 227–253 (2004)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Concordia Institute for Information Systems Engineering (CIISE), Concordia University, Canada

    Jamal Bentahar

  2. Department of Computer Science and Software Engineering, Laval University, Canada

    Mohamed Mbarki & Bernard Moulin

  3. Department of Information and Computer Science, Utrecht University, 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. Mohamed Mbarki
    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. Bernard Moulin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, Via Pessinetto 12, 10149, Turin, Italy

    Matteo Baldoni

  2. Department of Computer Science, New Mexico State University, MSC CS, Las Cruces, P.O. Box 30001, NM 88003, USA

    Tran Cao Son

  3. Delft University of Technology, Mekelweg 4, 2628 CD, Delft, The Netherlands

    M. Birna van Riemsdijk

  4. Higher Education Development Centre, University of Otago, P.O. Box 56, Dunedin, New Zealand

    Michael Winikoff

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bentahar, J., Mbarki, M., Meyer, JJ.C., Moulin, B. (2009). Strategic Agent Communication: An Argumentation-Driven Approach. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds) Declarative Agent Languages and Technologies VI. DALT 2008. Lecture Notes in Computer Science(), vol 5397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-93920-7_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-93920-7_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-93919-1

  • Online ISBN: 978-3-540-93920-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation