Skip to main content
SpringerLink
Log in

Assumption-Based Argumentation for Selection and Composition of Services

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2007)

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

Included in the following conference series:

Abstract

We present an argumentation-based approach to design and realise agents that can support the selection and composition of services in distributed environments, such as service-oriented architectures and grids. The choice of services (for selection or for composition) is equated to decisions. The agents are equipped with beliefs, in the form of (possibly conflicting) defeasible rules, goals and alternative decisions. Beliefs, goals, decisions may be ranked according to specified preferences. We show how beliefs and preferences can be taken into account to support the decision-making process of the agent, in order to achieve its goals. We deal with conflicts and preferences by using assumption-based argumentation, an existing computational-logic-based argumentation framework, that has already been proven to be an effective tool for many applications of argumentation.

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.: A unified setting for inference and decision: an argumentation-based approach. In: Proc. IJCAI Workshop on Computational Models of Natural Arguments (2005)

    Google Scholar 

  2. Bench-Capon, T., Prakken, H.: Justifying actions by accruing arguments. In: 1st International Conference on Computational Models of Argument (COMMA) (2006)

    Google Scholar 

  3. Bondarenko, A., Dung, P., Kowalski, R., Toni, F.: An abstract, argumentation-theoretic framework for default reasoning. Artificial Intelligence 93(1-2), 63–101 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  4. Brewka, G.: Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research 4, 19 (1996)

    MathSciNet  MATH  Google Scholar 

  5. Caminada, M., Amgoud, L.: An axiomatic account of formal argumentation. In: Proc. AAAI (2005)

    Google Scholar 

  6. Dimopoulos, Y., Nebel, B., Toni, F.: On the computational complexity of assumption-based argumentation for default reasoning. Artificial Intelligence 141, 57–78 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  7. Dung, P.: The acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming and n-person game. Artificial Intelligence 77, 321–357 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  8. Dung, P., Kowalski, R., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence 170, 114–159 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  9. Dung, P., Mancarella, P., Toni, F.: A dialectic procedure for sceptical, assumption-based argumentation. In: 1st International Conference on Computational Models of Argument (COMMA) (2006)

    Google Scholar 

  10. Dung, P., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. Artificial Intelligence - Special Issue on Argumentation in Artificial Intelligence 171(10-15), 642–674 (2007)

    MathSciNet  MATH  Google Scholar 

  11. Foster, I., Jennings, N., Kesselman, C.: Brain meets brawn: why grid and agents need each other. In: Proc. AAMAS (2004)

    Google Scholar 

  12. Gaertner, D., Toni, F.: A credulous and sceptical argumentation system. In: Proc. of ArgNMR (2007)

    Google Scholar 

  13. Kakas, A.C., Moraitis, P.: Argumentation based decision making for autonomous agents. In: Proc. AAMAS, pp. 883–890 (2003)

    Google Scholar 

  14. Kowalski, R.A., Toni, F.: Abstract argumentation. Journal of Artificial Intelligence and Law, Special Issue on Logical Models of Argumentation 4(3-4), 275–296 (1996)

    Google Scholar 

  15. Stathis, K., Lekeas, G.K., Kloukinas, C.: Competence checking for the global e-service society using games. In: Engineering Societies in the Agents World (ESAW 2006). Springer, Heidelberg (2007)

    Google Scholar 

  16. Morge, M.: A dialectics multiagent system in which argumentative agents play and arbitrate to reach an agreement. In: Proc.1st Workshop on Argumentation in Artificial Intelligence and Law (2005)

    Google Scholar 

  17. Nute, D.: Defeasible reasoning. In: Fetzer, J.H. (ed.) Aspects of Artificial Intelligence, pp. 251–288. Kluwer Academic Publishers, Dordrecht (1987)

    Google Scholar 

  18. Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1), 25–75 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  19. Stournaras, T., Dimitrelos, D., Tabasco, A., Barba, J., Pedrazzani, D., Yage, M., An, T., Dung, P., Hung, N., Khoi, V.D., Thang, P.M.: e-business application scenarios. In: Stournaras, T. (ed.) ARGUGRID deliverable D.1.2 (2007)

    Google Scholar 

  20. Toni, F.: Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning. In: Satoh, K., Inokuchi, A., Nagao, K., Kawamura, T. (eds.) JSAI 2007. LNCS (LNAI), vol. 4914, pp. 390–402. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College London, UK

    Francesca Toni

Authors
  1. Francesca Toni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Imperial College London, London, UK

    Fariba Sadri

  2. National Institute of Informatics, Sokendai, Japan

    Ken Satoh

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Toni, F. (2008). Assumption-Based Argumentation for Selection and Composition of Services. In: Sadri, F., Satoh, K. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2007. Lecture Notes in Computer Science(), vol 5056. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88833-8_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88833-8_13

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-88833-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation