Skip to main content

2015 | OriginalPaper | Buchkapitel

On Supported Inference and Extension Selection in Abstract Argumentation Frameworks

verfasst von : Sébastien Konieczny, Pierre Marquis, Srdjan Vesic

Erschienen in: Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

We present two approaches for deriving more arguments from an abstract argumentation framework than the ones obtained using sceptical inference, that is often too cautious. The first approach consists in selecting only some of the extensions. We point out several choice criteria to achieve such a selection process. Choices are based either on the attack relation between extensions or on the support of the arguments in each extension. The second approach consists of the definition of a new inference policy, between sceptical and credulous inference, and based as well on the support of the arguments. We illustrate the two approaches on examples, study their properties, and formally compare their inferential powers.

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!

Literatur
1.
Zurück zum Zitat Amgoud, L., Ben-Naim, J.: Ranking-based semantics for argumentation frameworks. In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.) SUM 2013. LNCS, vol. 8078, pp. 134–147. Springer, Heidelberg (2013) CrossRef Amgoud, L., Ben-Naim, J.: Ranking-based semantics for argumentation frameworks. In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.) SUM 2013. LNCS, vol. 8078, pp. 134–147. Springer, Heidelberg (2013) CrossRef
2.
3.
Zurück zum Zitat Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365–410 (2011)CrossRef Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365–410 (2011)CrossRef
4.
Zurück zum Zitat Baroni, P., Giacomin, M.: On principle-based evaluation of extension-based argumentation semantics. Artif. Intell. J. 171, 675–700 (2007)MathSciNetCrossRefMATH Baroni, P., Giacomin, M.: On principle-based evaluation of extension-based argumentation semantics. Artif. Intell. J. 171, 675–700 (2007)MathSciNetCrossRefMATH
5.
Zurück zum Zitat Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 640–647 (1993) Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 640–647 (1993)
6.
Zurück zum Zitat Brams, S.J., Fishburn, P.C.: Voting procedures. In: Kenneth, A.K.S., Arrow, J., Suzumura, K. (eds.) Handbook of Social Choice and Welfare. Handbook of Social Choice and Welfare, vol. 1, pp. 173–236. Elsevier, Amsterdam (2002)CrossRef Brams, S.J., Fishburn, P.C.: Voting procedures. In: Kenneth, A.K.S., Arrow, J., Suzumura, K. (eds.) Handbook of Social Choice and Welfare. Handbook of Social Choice and Welfare, vol. 1, pp. 173–236. Elsevier, Amsterdam (2002)CrossRef
7.
Zurück zum Zitat Caminada, M.: Semi-stable semantics. In: Proceedings of the 1st International Conference on Computational Models of Argument (COMMA 2006), pp. 121–130 (2006) Caminada, M.: Semi-stable semantics. In: Proceedings of the 1st International Conference on Computational Models of Argument (COMMA 2006), pp. 121–130 (2006)
8.
Zurück zum Zitat Cayrol, C., Devred, C., Lagasquie-Schiex, M.-C.: Acceptability semantics accounting for strength of attacks in argumentation. In: Proceedings of the European Conference on Artificial Intelligence (ECAI 2010), pp. 995–996 (2010) Cayrol, C., Devred, C., Lagasquie-Schiex, M.-C.: Acceptability semantics accounting for strength of attacks in argumentation. In: Proceedings of the European Conference on Artificial Intelligence (ECAI 2010), pp. 995–996 (2010)
9.
Zurück zum Zitat Cayrol, C., Lagasquie-Schiex, M.-C.: Graduality in argumentation. J. Artif. Intell. Res. 23, 245–297 (2005)MathSciNetMATH Cayrol, C., Lagasquie-Schiex, M.-C.: Graduality in argumentation. J. Artif. Intell. Res. 23, 245–297 (2005)MathSciNetMATH
10.
Zurück zum Zitat Coste-Marquis, S., Devred, C., Marquis, P.: Prudent semantics for argumentation frameworks. In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), pp. 568–572 (2005) Coste-Marquis, S., Devred, C., Marquis, P.: Prudent semantics for argumentation frameworks. In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), pp. 568–572 (2005)
11.
Zurück zum Zitat Coste-Marquis, S., Konieczny, S., Marquis, P., Ouali, M.A.: Selecting extensions in weighted argumentation frameworks. In: Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), pp. 342–349 (2012) Coste-Marquis, S., Konieczny, S., Marquis, P., Ouali, M.A.: Selecting extensions in weighted argumentation frameworks. In: Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), pp. 342–349 (2012)
12.
Zurück zum Zitat da Costa Pereira, C., Tettamanzi, A., Villata, S.: Changing one’s mind: erase or rewind? In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 164–171 (2011) da Costa Pereira, C., Tettamanzi, A., Villata, S.: Changing one’s mind: erase or rewind? In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 164–171 (2011)
13.
Zurück zum Zitat Dubois, D., Fargier, H., Prade, H.: Refinements of the maximin approach to decision-making in fuzzy environment. Fuzzy Sets Syst. 81, 103–122 (1996)MathSciNetCrossRefMATH Dubois, D., Fargier, H., Prade, H.: Refinements of the maximin approach to decision-making in fuzzy environment. Fuzzy Sets Syst. 81, 103–122 (1996)MathSciNetCrossRefMATH
14.
15.
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. J. 77, 321–357 (1995)MathSciNetCrossRefMATH Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games. Artif. Intell. J. 77, 321–357 (1995)MathSciNetCrossRefMATH
16.
Zurück zum Zitat Dunne, P., Hunter, A., McBurney, P., Parsons, S., Wooldridge, M.: Weighted argument systems: basic definitions, algorithms, and complexity results. Artif. Intell. J. 175(2), 457–486 (2011)MathSciNetCrossRefMATH Dunne, P., Hunter, A., McBurney, P., Parsons, S., Wooldridge, M.: Weighted argument systems: basic definitions, algorithms, and complexity results. Artif. Intell. J. 175(2), 457–486 (2011)MathSciNetCrossRefMATH
17.
18.
Zurück zum Zitat Dvořák, W.: On the complexity of computing the justification status of an argument. In: Modgil, S., Oren, N., Toni, F. (eds.) TAFA 2011. LNCS, vol. 7132, pp. 32–49. Springer, Heidelberg (2012) CrossRef Dvořák, W.: On the complexity of computing the justification status of an argument. In: Modgil, S., Oren, N., Toni, F. (eds.) TAFA 2011. LNCS, vol. 7132, pp. 32–49. Springer, Heidelberg (2012) CrossRef
19.
Zurück zum Zitat Konieczny, S., Marquis, P., Vesic, S.: On supported inference and extension selection in abstract argumentation frameworks. Technical report, CRIL, CNRS - Univ. Artois (2015) Konieczny, S., Marquis, P., Vesic, S.: On supported inference and extension selection in abstract argumentation frameworks. Technical report, CRIL, CNRS - Univ. Artois (2015)
20.
Zurück zum Zitat Martínez, D., García, A., Simari, G.: Strong and weak forms of abstract argument defense. In: Proceedings of the 2nd International Conference on Computational Models of Argument (COMMA 2008), pp. 216–227. IOS Press (2008) Martínez, D., García, A., Simari, G.: Strong and weak forms of abstract argument defense. In: Proceedings of the 2nd International Conference on Computational Models of Argument (COMMA 2008), pp. 216–227. IOS Press (2008)
21.
Zurück zum Zitat Martínez, D.C., García, A., Simari, G.: An abstract argumentation framework with varied-strength attacks. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 135–144 (2008) Martínez, D.C., García, A., Simari, G.: An abstract argumentation framework with varied-strength attacks. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 135–144 (2008)
22.
Zurück zum Zitat Moulin, H.: Axioms of Cooperative Decision Making. Cambridge University Press, New York (1988) CrossRefMATH Moulin, H.: Axioms of Cooperative Decision Making. Cambridge University Press, New York (1988) CrossRefMATH
23.
Zurück zum Zitat Wu, Y., Caminada, M.: A labelling-based justification status of arguments. Stud. Logic 3(4), 12–29 (2010) Wu, Y., Caminada, M.: A labelling-based justification status of arguments. Stud. Logic 3(4), 12–29 (2010)
Metadaten
Titel
On Supported Inference and Extension Selection in Abstract Argumentation Frameworks
verfasst von
Sébastien Konieczny
Pierre Marquis
Srdjan Vesic
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-20807-7_5