Skip to main content

2016 | OriginalPaper | Buchkapitel

Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction

verfasst von : Ryuta Arisaka, Ken Satoh

Erschienen in: PRIMA 2016: Principles and Practice of Multi-Agent Systems

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Compared to abstract argumentation theory which encapsulates the exact nature of arguments, logic-based argumentation is more specific and represents arguments in formal logic. One significant advantage of logic-based argumentation over abstract argumentation is that it can directly benefit from logical properties such as logical consistency, promoting adherence of an argumentation framework to rational principles. On the other hand, a logical argumentation framework based on classical logic has been also reported of its less-than-desirable utility. In this work we show a way of enhancing utility without sacrificing so much of rationality. We propose a rational argumentation framework with just classical logic sentences and a belief contraction operation. Despite its minimalistic appearance, this framework can characterise attack strengths, allowing us to facilitate coalition profitability and formability semantics we previously defined for abstract argumentation.

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!

Fußnoten
2
In this paper, we will focus on pairwise logical inconsistency only.
 
Literatur
1.
Zurück zum Zitat Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. logic 50, 510–530 (1985)MathSciNetCrossRefMATH Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. logic 50, 510–530 (1985)MathSciNetCrossRefMATH
2.
Zurück zum Zitat Amgoud, L., Besnard, P.: Bridging the gap between abstract argumentation systems and logic. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol. 5785, pp. 12–27. Springer, Heidelberg (2009)CrossRef Amgoud, L., Besnard, P.: Bridging the gap between abstract argumentation systems and logic. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol. 5785, pp. 12–27. Springer, Heidelberg (2009)CrossRef
3.
Zurück zum Zitat Arisaka, R., Satoh, K.: Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. arXiv e-prints:1605.00495 (2016) Arisaka, R., Satoh, K.: Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. arXiv e-prints:1605.00495 (2016)
4.
Zurück zum Zitat Caminada, M., Amgoud, L.: An axiomatic account of formal argumentation. In: AAAI, pp. 608–613 (2005) Caminada, M., Amgoud, L.: An axiomatic account of formal argumentation. In: AAAI, pp. 608–613 (2005)
5.
6.
Zurück zum Zitat Coste-Marquis, S., Devred, C., Marquis, P.: Symmetric argumentation frameworks. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 317–328. Springer, Heidelberg (2005)CrossRef Coste-Marquis, S., Devred, C., Marquis, P.: Symmetric argumentation frameworks. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 317–328. Springer, Heidelberg (2005)CrossRef
8.
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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
9.
10.
Zurück zum Zitat Gabbay, D.M., D’Avila Garcez, A.S.: Logical modes of attack in argumentation networks. Stud. Logica. 93(2), 199–230 (2009)MathSciNetCrossRefMATH Gabbay, D.M., D’Avila Garcez, A.S.: Logical modes of attack in argumentation networks. Stud. Logica. 93(2), 199–230 (2009)MathSciNetCrossRefMATH
11.
Zurück zum Zitat Gorogiannis, N., Hunter, A.: Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artif. Intell. 175(9–10), 1479–1497 (2011)MathSciNetCrossRefMATH Gorogiannis, N., Hunter, A.: Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artif. Intell. 175(9–10), 1479–1497 (2011)MathSciNetCrossRefMATH
12.
Zurück zum Zitat Kaci, S., van der Torre, L., Weydert, E.: Acyclic argumentation: attack = conflict + preference. In: ECAI, pp. 725–726 (2006) Kaci, S., van der Torre, L., Weydert, E.: Acyclic argumentation: attack = conflict + preference. In: ECAI, pp. 725–726 (2006)
13.
Zurück zum Zitat Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263–294 (1991)MathSciNetCrossRefMATH Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263–294 (1991)MathSciNetCrossRefMATH
14.
Zurück zum Zitat Prakken, H.: A study of accrual of arguments, with applications to evidential reasoning. In: ICAIL, pp. 85–94 (2005) Prakken, H.: A study of accrual of arguments, with applications to evidential reasoning. In: ICAIL, pp. 85–94 (2005)
15.
Zurück zum Zitat Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non-class. Logics 7, 25–75 (1997)MathSciNetCrossRefMATH Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non-class. Logics 7, 25–75 (1997)MathSciNetCrossRefMATH
Metadaten
Titel
Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction
verfasst von
Ryuta Arisaka
Ken Satoh
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-44832-9_10

Premium Partner