Skip to main content

2018 | OriginalPaper | Buchkapitel

Comparison Criteria for Argumentation Semantics

verfasst von : Sylvie Doutre, Jean-Guy Mailly

Erschienen in: Multi-Agent Systems and Agreement Technologies

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
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.
 
Literatur
2.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat Caminada, M.: Semi-stable semantics. In: Proceedings of COMMA 2006 (2006) Caminada, M.: Semi-stable semantics. In: Proceedings of COMMA 2006 (2006)
13.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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)
20.
21.
Zurück zum Zitat Dunne, P.E., Bench-Capon, T.J.M.: Coherence in finite argument systems. Artif. Intell. 141(1/2), 187–203 (2002)MathSciNetCrossRef Dunne, P.E., Bench-Capon, T.J.M.: Coherence in finite argument systems. Artif. Intell. 141(1/2), 187–203 (2002)MathSciNetCrossRef
23.
Zurück zum Zitat Dunne, P.E., Dvorák, W., Woltran, S.: Parametric properties of ideal semantics. Artif. Intell. 202, 1–28 (2013)MathSciNetCrossRef Dunne, P.E., Dvorák, W., Woltran, S.: Parametric properties of ideal semantics. Artif. Intell. 202, 1–28 (2013)MathSciNetCrossRef
24.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat Papadimitriou, C.H.: Computational complexity. Addison-Wesley, Reading (1994)MATH Papadimitriou, C.H.: Computational complexity. Addison-Wesley, Reading (1994)MATH
29.
Zurück zum Zitat 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)
Metadaten
Titel
Comparison Criteria for Argumentation Semantics
verfasst von
Sylvie Doutre
Jean-Guy Mailly
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-030-01713-2_16