Conflict Resolution in Assumption-Based Frameworks | SpringerLink
Skip to main content
Springer Nature Link
Log in

Conflict Resolution in Assumption-Based Frameworks

  • Conference paper
  • First Online:
Multi-Agent Systems (EUMAS 2014)

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

Included in the following conference series:

Abstract

We show how defeasible reasoning can be embedded into ABF. Differently from other proposals, we do not encode the conflict resolution mechanism for defeasible rules into the ABF’s deductive systems. Instead, we formalize the notions of conflict and conflict resolution and make them part of the extended ABF framework (XABF). This improves the control over the conflict resolution process, and allows to devise and compare different domain-dependent conflict resolution strategies. We also show, that no matter which conflict resolution strategy is used, our framework is able to guarantee certain desired properties.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • 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

Similar content being viewed by others

Notes

  1. 1.

    Grounded context is called well-founded in [3]; we call it grounded to be consistent with [5].

  2. 2.

    Direct embedding is such that LP rules will become the rules of the deductive system in \(\mathrm{ASPIC}^{+}\). Note that we do not claim that a more complex, indirect embedding cannot be done.

References

  1. Baláž, M., Frtús, J., Homola, M.: Conflict resolution in structured argumentation. In: LPAR-19 (Short Papers), EPiC, vol. 26, pp. 23–34. EasyChair (2014)

    Google Scholar 

  2. Baláž, M., Frtús, J., Homola, M., Šefránek, J., Flouris, G.: Embedding defeasible logic programs into generalized logic programs. In: WLP, vol. 1335 of CEUR-WS (2014)

    Google Scholar 

  3. Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93(1–2), 63–101 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  4. Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artif. Intell. 171(5–6), 286–310 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  5. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–357 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  6. Dung, P.M., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. Artif. Intell. 171(10–15), 642–674 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  7. Kowalski, R.A., Toni, F.: Abstract argumentation. Artif. Intell. Law 4(3–4), 275–296 (1996)

    Article  Google Scholar 

  8. Modgil, S., Prakken, H.: Revisiting preferences and argumentation. In: IJCAI (2011)

    Google Scholar 

  9. Prakken, H.: An abstract framework for argumentation with structured arguments. Argum. Comput. 1(2), 93–124 (2010)

    Article  Google Scholar 

  10. Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Nonclassical Log. 7(1), 25–75 (1997)

    Article  MATH  MathSciNet  Google Scholar 

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

  12. Vreeswijk, G.A.W.: Abstract argumentation systems. Artif. Intell. 90(1–2), 225–279 (1997)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work resulted from the Slovak–Greek bilateral project co-financed by APVV (as SK-GR-0070-11) and GSRT together with the EU (as 12SLO_ ET29_1087). The Slovak side further acknowledges support from the VEGA project no. 1/1333/12. Martin BalᎠand Martin Homola are also supported by the APVV project no. APVV-0513-10.

Author information

Authors and Affiliations

  1. Comenius University in Bratislava, Bratislava, Slovakia

    Martin Baláž, Jozef Frtús, Martin Homola & Ján Šefránek

  2. FORTH-ICS, Heraklion, Greece

    Giorgos Flouris

Authors
  1. Martin Baláž
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jozef Frtús
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Giorgos Flouris
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Martin Homola
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ján Šefránek
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Baláž .

Editor information

Editors and Affiliations

  1. Delft University of Technology, Delft, The Netherlands

    Nils Bulling

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Baláž, M., Frtús, J., Flouris, G., Homola, M., Šefránek, J. (2015). Conflict Resolution in Assumption-Based Frameworks. In: Bulling, N. (eds) Multi-Agent Systems. EUMAS 2014. Lecture Notes in Computer Science(), vol 8953. Springer, Cham. https://doi.org/10.1007/978-3-319-17130-2_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-17130-2_24

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-17129-6

  • Online ISBN: 978-3-319-17130-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation