Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Handling Heterogeneous Disagreements Through Abstract Argumentation (Extended Abstract) Read chapter Read first chapter

2017 | OriginalPaper | Chapter

ABAplus: Attack Reversal in Abstract and Structured Argumentation with Preferences

Authors : Ziyi Bao, Kristijonas Čyras, Francesca Toni

Published in: PRIMA 2017: Principles and Practice of Multi-Agent Systems

Publisher: Springer International Publishing

Log in

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

search-config
loading …

Abstract

We present ABAplus, a system that implements reasoning with the argumentation formalism ABA\(^+\). ABA\(^+\) is a structured argumentation formalism that extends Assumption-Based Argumentation (ABA) with preferences and accounts for preferences via attack reversal. ABA\(^+\) also admits as instance Preference-based Argumentation which accounts for preferences by reversing attacks in abstract argumentation (AA). ABAplus readily implements attack reversal in both AA and ABA-style structured argumentation. ABAplus affords computation, visualisation and comparison of extensions under five argumentation semantics. It is available both as a stand-alone system and as a web application.

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!

inform now

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!

inform now

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!

inform now
previous chapter Abstract Games of Argumentation Strategy and Game-Theoretical Argument Strength
next chapter Repairing Socially Aggregated Ontologies Using Axiom Weakening
Footnotes
1
As a preorder, \(\leqslant \) has to be reflexive, but for brevity purposes we often omit to specify the reflexive instances of any preorder.
 
2
Other ways of formalising such examples in ABA are possible; we chose a natural and simple representation. Generally, knowledge representation in argumentation (and other formalisms) may be a complex problem, discussion of which is beyond the scope of this paper.
 
3
Our notion of ‘weak contraposition’ bears no relationship with the notion by the same name used e.g. in [15], inspired by conditional entailment in Deontic Logic.
 
4
Unless specified otherwise, we omit \(\mathcal {L}\) and https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-69131-2_25/451625_1_En_25_IEq478_HTML.gif , and adopt the following conventions: unless \(\overline{\mathsf {x}}\) appears in either \(\mathcal {A}\) or \(\mathcal {R}\), it is different from the sentences appearing in \(\mathcal {A}\) or \(\mathcal {R}\); thus, \(\mathcal {L}\) consists of all the sentences appearing in \(\mathcal {R}\), \(\mathcal {A}\) and \(\{ \overline{\mathsf {a}}~:~\mathsf {a}\in \mathcal {A}\}\).
 
Literature
1.
Amgoud, L., Cayrol, C.: A reasoning model based on the production of acceptable arguments. Ann. Math. Artif. Intell. 34(1–3), 197–215 (2002)MathSciNetCrossRefMATH
2.
3.
Besnard, P., García, A.J., Hunter, A., Modgil, S., Prakken, H., Simari, G.R., Toni, F.: Introduction to structured argumentation. Argum. Comput. 5(1), 1–4 (2014)CrossRef
4.
Bistarelli, S., Rossi, F., Santini, F.: ConArg: a tool for classical and weighted argumentation. In: Baroni, P., Gordon, T., Scheffler, T., Stede, M. (eds.) Computational Models of Argument. Frontiers in Artificial Intelligence and Applications, vol. 287, pp. 463–464. IOS Press, Potsdam (2016)
5.
Bistarelli, S., Santini, F.: A Common computational framework for semiring-based argumentation system. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) 19th European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 131–136. IOS Press, Lisbon (2010)
6.
Bondarenko, A., Dung, P.M., Kowalski, R., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93(97), 63–101 (1997)MathSciNetCrossRefMATH
7.
Čyras, K., Toni, F.: ABA+: assumption-based argumentation with preferences. In: Baral, C., Delgrande, J.P., Wolter, F. (eds.) 15th International Conference on Principles of Knowledge Representation and Reasoning, pp. 553–556. AAAI Press, Cape Town (2016)
8.
Dimopoulos, Y., Kakas, A.C.: Logic programming without negation as failure. In: Lloyd, J.W. (ed.) International Symposium on Logic Programming, pp. 369–383. MIT Press, Portland (1995)
9.
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77, 321–357 (1995)MathSciNetCrossRefMATH
10.
Gaggl, S.A., Manthey, N., Ronca, A., Wallner, J.P., Woltran, S.: Improved answer-set programming encodings for abstract argumentation. Theory Pract. Log. Program. 15(4–5), 434–448 (2015)MathSciNetCrossRef
11.
García, A.J., Simari, G.R.: Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers. Argum. Comput. 5(1), 63–88 (2014)CrossRef
12.
Gordon, T.F., Prakken, H., Walton, D.: The carneades model of argument and burden of proof. Artif. Intell. 171(10–15), 875–896 (2007)MathSciNetCrossRefMATH
13.
Gordon, T.F., Walton, D.: Formalizing balancing arguments. In: Baroni, P., Gordon, T.F., Scheffler, T., Stede, M. (eds.) Computational Models of Argument. Frontiers in Artificial Intelligence and Applications, vol. 287, pp. 327–338. IOS Press, Potsdam (2016)
14.
Kakas, A.C., Moraitis, P.: Argumentation based decision making for autonomous agents. In: 2nd International Joint Conference on Autonomous Agents & Multiagent Systems, pp. 883–890. ACM Press, Melbourne (2003)
15.
Liao, B., Oren, N., van der Torre, L., Villata, S.: Prioritized norms and defaults in formal argumentation. In: Roy, O., Tamminga, A., Wille, M. (eds.) 13th International Conference on Deontic Logic and Normative Systems, pp. 139–154. College Publications, Bayreuth (2016)
16.
17.
Prakken, H.: An abstract framework for argumentation with structured arguments. Argum. Comput. 1(2), 93–124 (2010)CrossRef
18.
Snaith, M., Reed, C.: TOAST: online ASPIC+ implementation. In: Verheij, B., Szeider, S., Woltran, S. (eds.) Computational Models of Argument. Frontiers in Artificial Intelligence and Applications, vol. 245, pp. 509–510. IOS Press, Vienna (2012)
19.
20.
Toni, F.: A tutorial on assumption-based argumentation. Argum. Comput. 5(1), 89–117 (2014)CrossRef
21.
Wakaki, T.: Assumption-based argumentation equipped with preferences. In: Dam, H.K., Pitt, J., Xu, Y., Governatori, G., Ito, T. (eds.) PRIMA 2014. LNCS (LNAI), vol. 8861, pp. 116–132. Springer, Cham (2014). doi:10.​1007/​978-3-319-13191-7_​10
Metadata
Title
ABAplus: Attack Reversal in Abstract and Structured Argumentation with Preferences
Authors
Ziyi Bao
Kristijonas Čyras
Francesca Toni
Copyright Year
2017
Book
PRIMA 2017: Principles and Practice of Multi-Agent Systems

Print ISBN: 978-3-319-69130-5

Electronic ISBN: 978-3-319-69131-2

Copyright Year: 2017

DOI
https://doi.org/10.1007/978-3-319-69131-2_25

Premium Partner

    Image Credits