Abstract solvers for Dung’s argumentation frameworks
Abstract solvers are a quite recent method to uniformly describe algorithms in a rigorous formal way via graphs. Compared to traditional methods like pseudo-code descriptions, abstract solvers have several advantages. In particular, they provide a uniform formal representation that allows for...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IOS Press
2018-01-01
|
| Series: | Argument & Computation |
| Online Access: | https://doi.org/10.3233/AAC-170031 |
| _version_ | 1797860942589984768 |
|---|---|
| author | Remi Brochenin Thomas Linsbichler Marco Maratea Johannes P. Wallner Stefan Woltran |
| author_facet | Remi Brochenin Thomas Linsbichler Marco Maratea Johannes P. Wallner Stefan Woltran |
| author_sort | Remi Brochenin |
| collection | DOAJ |
| description |
Abstract solvers are a quite recent method to uniformly describe algorithms in a rigorous formal way via graphs. Compared to traditional methods like pseudo-code descriptions, abstract solvers have several advantages. In particular, they provide a uniform formal representation that allows for precise comparisons of different algorithms. Recently, this new methodology has proven successful in declarative paradigms such as Propositional Satisfiability and Answer Set Programming. In this paper, we apply this machinery to Dung’s abstract argumentation frameworks. We first provide descriptions of several advanced algorithms for the preferred semantics in terms of abstract solvers. We also show how it is possible to obtain new abstract solutions by “combining” concepts of existing algorithms by means of combining abstract solvers. Then, we implemented a new solving procedure based on our findings in cegartix, and call it cegartix+. We finally show that cegartix+ is competitive and complementary in its performance to cegartix on benchmarks of the first and second argumentation competition. |
| first_indexed | 2024-04-09T21:54:00Z |
| format | Article |
| id | doaj.art-4088eca9c1cf4875b0de3d09168d11d9 |
| institution | Directory Open Access Journal |
| issn | 1946-2166 1946-2174 |
| language | English |
| last_indexed | 2024-04-09T21:54:00Z |
| publishDate | 2018-01-01 |
| publisher | IOS Press |
| record_format | Article |
| series | Argument & Computation |
| spelling | doaj.art-4088eca9c1cf4875b0de3d09168d11d92023-03-24T09:48:02ZengIOS PressArgument & Computation1946-21661946-21742018-01-0191417210.3233/AAC-170031Abstract solvers for Dung’s argumentation frameworksRemi Brochenin0Thomas Linsbichler1Marco Maratea2Johannes P. Wallner3Stefan Woltran4Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Università di Genova, Italy. E-mails: r.brochenin@tue.nl, marco@dibris.unige.itInstitute of Information Systems, TU Wien, Austria. E-mails: linsbich@dbai.tuwien.ac.at, wallner@dbai.tuwien.ac.at, woltran@dbai.tuwien.ac.atDipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Università di Genova, Italy. E-mails: r.brochenin@tue.nl, marco@dibris.unige.itInstitute of Information Systems, TU Wien, Austria. E-mails: linsbich@dbai.tuwien.ac.at, wallner@dbai.tuwien.ac.at, woltran@dbai.tuwien.ac.atInstitute of Information Systems, TU Wien, Austria. E-mails: linsbich@dbai.tuwien.ac.at, wallner@dbai.tuwien.ac.at, woltran@dbai.tuwien.ac.at Abstract solvers are a quite recent method to uniformly describe algorithms in a rigorous formal way via graphs. Compared to traditional methods like pseudo-code descriptions, abstract solvers have several advantages. In particular, they provide a uniform formal representation that allows for precise comparisons of different algorithms. Recently, this new methodology has proven successful in declarative paradigms such as Propositional Satisfiability and Answer Set Programming. In this paper, we apply this machinery to Dung’s abstract argumentation frameworks. We first provide descriptions of several advanced algorithms for the preferred semantics in terms of abstract solvers. We also show how it is possible to obtain new abstract solutions by “combining” concepts of existing algorithms by means of combining abstract solvers. Then, we implemented a new solving procedure based on our findings in cegartix, and call it cegartix+. We finally show that cegartix+ is competitive and complementary in its performance to cegartix on benchmarks of the first and second argumentation competition.https://doi.org/10.3233/AAC-170031 |
| spellingShingle | Remi Brochenin Thomas Linsbichler Marco Maratea Johannes P. Wallner Stefan Woltran Abstract solvers for Dung’s argumentation frameworks Argument & Computation |
| title | Abstract solvers for Dung’s argumentation frameworks |
| title_full | Abstract solvers for Dung’s argumentation frameworks |
| title_fullStr | Abstract solvers for Dung’s argumentation frameworks |
| title_full_unstemmed | Abstract solvers for Dung’s argumentation frameworks |
| title_short | Abstract solvers for Dung’s argumentation frameworks |
| title_sort | abstract solvers for dung s argumentation frameworks |
| url | https://doi.org/10.3233/AAC-170031 |
| work_keys_str_mv | AT remibrochenin abstractsolversfordungsargumentationframeworks AT thomaslinsbichler abstractsolversfordungsargumentationframeworks AT marcomaratea abstractsolversfordungsargumentationframeworks AT johannespwallner abstractsolversfordungsargumentationframeworks AT stefanwoltran abstractsolversfordungsargumentationframeworks |