Preprocessing Argumentation Frameworks via Replacement Patterns

Wolfgang Dvořák, Matti Juhani Järvisalo, Thomas Linsbichler, Andreas Johannes Alexand Niskanen, Stefan Woltran

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Abstrakti

A fast-growing research direction in the study of formal argumentation is the development of practical systems for central reasoning problems underlying argumentation. In particular, numerous systems for abstract argumentation frameworks (AF solvers) are available today, covering several argumentation semantics and reasoning tasks. Instead of proposing another algorithmic approach for AF solving, we introduce in this paper distinct AF preprocessing techniques as a solver-independent approach to obtaining performance improvements of AF solvers. We establish a formal framework of replacement patterns to perform local simplifications that are faithful with respect to standard semantics for AFs. Moreover, we provide a collection of concrete replacement patterns. Towards potential applicability, we employ the patterns in a preliminary empirical evaluation of their influence on AF solver performance.

Alkuperäiskielienglanti
OtsikkoLogics in Artificial Intelligence, JELIA 2019
ToimittajatFrancesco Calimeri, Nicola Leone, Marco Manna
Sivumäärä17
Vuosikerta11468
KustantajaSpringer
Julkaisupäivä2019
Sivut116-132
ISBN (painettu)978-3-030-19569-4
ISBN (elektroninen)978-3-030-19570-0
DOI - pysyväislinkit
TilaJulkaistu - 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaEuropean Conference on Logics in Artificial Intelligence - Rende, Italia
Kesto: 7 toukokuuta 201911 toukokuuta 2019
Konferenssinumero: 16
https://jelia2019.mat.unical.it/

Julkaisusarja

NimiLecture Notes in Artificial Intelligence
KustantajaSPRINGER INTERNATIONAL PUBLISHING AG
Vuosikerta11468
ISSN (painettu)0302-9743

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä

Dvořák, W., Järvisalo, M. J., Linsbichler, T., Niskanen, A. J. A., & Woltran, S. (2019). Preprocessing Argumentation Frameworks via Replacement Patterns. teoksessa F. Calimeri, N. Leone, & M. Manna (Toimittajat), Logics in Artificial Intelligence, JELIA 2019 (Vuosikerta 11468, Sivut 116-132). (Lecture Notes in Artificial Intelligence; Vuosikerta 11468). Springer. https://doi.org/10.1007/978-3-030-19570-0_8