Skip to main content
Top

2018 | OriginalPaper | Chapter

Comparison Criteria for Argumentation Semantics

Authors : Sylvie Doutre, Jean-Guy Mailly

Published in: Multi-Agent Systems and Agreement Technologies

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Argumentation reasoning is a way for agents to evaluate a situation. Given a framework made of conflicting arguments, a semantics allows to evaluate the acceptability of the arguments. It may happen that the semantics associated to the framework has to be changed. In order to perform the most suitable change, the current and a potential new semantics have to be compared. Notions of difference measures between semantics have already been proposed, and application cases where they have to be minimized when a change of semantics has to be performed, have been highlighted. This paper develops these notions, it proposes an additional kind of difference measure, and shows application cases where measures may have to be maximized, and combined.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Appendix
Available only for authorised users
Footnotes
1
Up to our knowledge, the complexity class of \( Cred _{is}\), \( Skept _{is}\) and \( Exist _{is}\) has not yet been determined.
 
2
Under the usual assumptions about inclusions between complexity classes.
 
Literature
2.
go back to reference Amgoud, L., Dimopoulos, Y., Moraitis, P.: A unified and general framework for argumentation-based negotiation. In: Proceedings of AAMAS 2007, p. 158 (2007) Amgoud, L., Dimopoulos, Y., Moraitis, P.: A unified and general framework for argumentation-based negotiation. In: Proceedings of AAMAS 2007, p. 158 (2007)
3.
go back to reference Amgoud, L., Dimopoulos, Y., Moraitis, P.: Making decisions through preference-based argumentation. In: Proceedings of KR 2008, pp. 113–123 (2008) Amgoud, L., Dimopoulos, Y., Moraitis, P.: Making decisions through preference-based argumentation. In: Proceedings of KR 2008, pp. 113–123 (2008)
4.
go back to reference Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26, 365–410 (2011)CrossRef Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26, 365–410 (2011)CrossRef
5.
go back to reference Baroni, P., Giacomin, M.: Skepticism relations for comparing argumentation semantics. Int. J. Approx. Reason. 50(6), 854–866 (2009)MathSciNetCrossRef Baroni, P., Giacomin, M.: Skepticism relations for comparing argumentation semantics. Int. J. Approx. Reason. 50(6), 854–866 (2009)MathSciNetCrossRef
6.
go back to reference Baroni, P., Giacomin, M., Guida, G.: SCC-recursiveness: a general schema for argumentation semantics. Artif. Intell. 168, 162–210 (2005)MathSciNetCrossRef Baroni, P., Giacomin, M., Guida, G.: SCC-recursiveness: a general schema for argumentation semantics. Artif. Intell. 168, 162–210 (2005)MathSciNetCrossRef
7.
go back to reference Baumann, R.: What does it take to enforce an argument? Minimal change in abstract argumentation. In: Proceedings of ECAI 2012, pp. 127–132 (2012) Baumann, R.: What does it take to enforce an argument? Minimal change in abstract argumentation. In: Proceedings of ECAI 2012, pp. 127–132 (2012)
8.
go back to reference Baumann, R., Brewka, G.: Expanding argumentation frameworks: Enforcing and monotonicity results. In: Proceedings of COMMA 2010, pp. 75–86 (2010) Baumann, R., Brewka, G.: Expanding argumentation frameworks: Enforcing and monotonicity results. In: Proceedings of COMMA 2010, pp. 75–86 (2010)
10.
go back to reference Besnard, P., Doutre, S., Ho, V.H., Longin, D.: SESAME - a system for specifying semantics in abstract argumentation. In: Thimm, M., Cerutti, F., Strass, H., Vallati, M. (eds.) Proceedings of SAFA 2016, vol. 1672, pp. 40–51. CEUR Workshop Proceedings (2016) Besnard, P., Doutre, S., Ho, V.H., Longin, D.: SESAME - a system for specifying semantics in abstract argumentation. In: Thimm, M., Cerutti, F., Strass, H., Vallati, M. (eds.) Proceedings of SAFA 2016, vol. 1672, pp. 40–51. CEUR Workshop Proceedings (2016)
11.
go back to reference Bonzon, E., Delobelle, J., Konieczny, S., Maudet, N.: A comparative study of ranking-based semantics for abstract argumentation. In: Proceedings of AAAI 2016 (2016) Bonzon, E., Delobelle, J., Konieczny, S., Maudet, N.: A comparative study of ranking-based semantics for abstract argumentation. In: Proceedings of AAAI 2016 (2016)
12.
go back to reference Caminada, M.: Semi-stable semantics. In: Proceedings of COMMA 2006 (2006) Caminada, M.: Semi-stable semantics. In: Proceedings of COMMA 2006 (2006)
13.
go back to reference Caminada, M.: Comparing two unique extension semantics for formal argumentation: ideal and eager (2007) Caminada, M.: Comparing two unique extension semantics for formal argumentation: ideal and eager (2007)
15.
go back to reference Dimopoulos, Y., Torres, A.: Graph theoretical structures in logic programs and default theories. Theor. Comput. Sci. 170(1–2), 209–244 (1996)MathSciNetCrossRef Dimopoulos, Y., Torres, A.: Graph theoretical structures in logic programs and default theories. Theor. Comput. Sci. 170(1–2), 209–244 (1996)MathSciNetCrossRef
16.
go back to reference Doutre, S., Mailly, J.G.: Quantifying the Difference between Argumentation Semantics. In: Computational models of argument (COMMA), vol. 287, pp. 255–262. IOS Press (2016) Doutre, S., Mailly, J.G.: Quantifying the Difference between Argumentation Semantics. In: Computational models of argument (COMMA), vol. 287, pp. 255–262. IOS Press (2016)
18.
go back to reference 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)MathSciNetCrossRef 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)MathSciNetCrossRef
19.
go back to reference Dung, P., Mancarella, P., Toni, F.: Adialectic procedure for sceptical, assumption-based argumentation. In: COMMA 2006 (2006) Dung, P., Mancarella, P., Toni, F.: Adialectic procedure for sceptical, assumption-based argumentation. In: COMMA 2006 (2006)
21.
23.
24.
go back to reference Dvorák, W., Spanring, C.: Comparing the expressiveness of argumentation semantics. In: Proceedings of COMMA 2012, vol. 245, pp. 261–272. IOS Press (2012) Dvorák, W., Spanring, C.: Comparing the expressiveness of argumentation semantics. In: Proceedings of COMMA 2012, vol. 245, pp. 261–272. IOS Press (2012)
25.
go back to reference Dvorák, W., Woltran, S.: Complexity of semi-stable and stage semantics in argumentation frameworks. Inf. Process. Lett. 110(11), 425–430 (2010)MathSciNetCrossRef Dvorák, W., Woltran, S.: Complexity of semi-stable and stage semantics in argumentation frameworks. Inf. Process. Lett. 110(11), 425–430 (2010)MathSciNetCrossRef
26.
go back to reference Grossi, D., Modgil, S.: On the graded acceptability of arguments. In: Proceedings of IJCAI 2015, pp. 868–874 (2015) Grossi, D., Modgil, S.: On the graded acceptability of arguments. In: Proceedings of IJCAI 2015, pp. 868–874 (2015)
28.
go back to reference Papadimitriou, C.H.: Computational complexity. Addison-Wesley, Reading (1994)MATH Papadimitriou, C.H.: Computational complexity. Addison-Wesley, Reading (1994)MATH
29.
go back to reference Verheij, B.: Two approaches to dialectical argumentation: admissible sets and argumentation stages. In: Proceedings of BNAIC 1996 (1996) Verheij, B.: Two approaches to dialectical argumentation: admissible sets and argumentation stages. In: Proceedings of BNAIC 1996 (1996)
Metadata
Title
Comparison Criteria for Argumentation Semantics
Authors
Sylvie Doutre
Jean-Guy Mailly
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-030-01713-2_16

Premium Partner