On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917747325140992 |
|---|---|
| author | Rapberger, Anna Ulbricht, Markus Toni, Francesca |
| author_facet | Rapberger, Anna Ulbricht, Markus Toni, Francesca |
| contents | The relation between (a fragment of) assumption-based argumentation (ABA) and logic programs (LPs) under stable model semantics is well-studied. However, for obtaining this relation, the ABA framework needs to be restricted to being flat, i.e., a fragment where the (defeasible) assumptions can never be entailed, only assumed to be true or false. Here, we remove this restriction and show a correspondence between non-flat ABA and LPs with negation as failure in their head. We then extend this result to so-called set-stable ABA semantics, originally defined for the fragment of non-flat ABA called bipolar ABA. We showcase how to define set-stable semantics for LPs with negation as failure in their head and show the correspondence to set-stable ABA semantics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_09415 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head Rapberger, Anna Ulbricht, Markus Toni, Francesca Artificial Intelligence The relation between (a fragment of) assumption-based argumentation (ABA) and logic programs (LPs) under stable model semantics is well-studied. However, for obtaining this relation, the ABA framework needs to be restricted to being flat, i.e., a fragment where the (defeasible) assumptions can never be entailed, only assumed to be true or false. Here, we remove this restriction and show a correspondence between non-flat ABA and LPs with negation as failure in their head. We then extend this result to so-called set-stable ABA semantics, originally defined for the fragment of non-flat ABA called bipolar ABA. We showcase how to define set-stable semantics for LPs with negation as failure in their head and show the correspondence to set-stable ABA semantics. |
| title | On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2405.09415 |