- AutorIn
- Hannes Strass
- Titel
- Approximating Operators and Semantics for Abstract Dialectical Frameworks
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa-102943
- Schriftenreihe
- Technical report / Leipzig University, Faculty of Mathematics and Computer Science; Institute of Computer Science
- Bandnummer
- 2013,1
- Erstveröffentlichung
- 2013
- ISSN
- 1430-3701
- Abstract (EN)
- We provide a systematic in-depth study of the semantics of abstract dialectical frameworks (ADFs), a recent generalisation of Dung\''s abstract argumentation frameworks. This is done by associating with an ADF its characteristic one-step consequence operator and defining various semantics for ADFs as different fixpoints of this operator. We first show that several existing semantical notions are faithfully captured by our definition, then proceed to define new ADF semantics and show that they are proper generalisations of existing argumentation semantics from the literature. Most remarkably, this operator-based approach allows us to compare ADFs to related nonmonotonic formalisms like Dung argumentation frameworks and propositional logic programs. We use polynomial, faithful and modular translations to relate the formalisms, and our results show that both abstract argumentation frameworks and abstract dialectical frameworks are at most as expressive as propositional normal logic programs.
- Freie Schlagwörter (DE)
- Wissensrepräsentation, Nichtmonotones Schließen, Argumentation
- Freie Schlagwörter (EN)
- knowledge representation, nonmonotonic reasoning, argumentation
- Klassifikation (DDC)
- 000
- Herausgeber (Institution)
- Universität Leipzig
- Version / Begutachtungsstatus
- eingereichte Version / Preprint
- URN Qucosa
- urn:nbn:de:bsz:15-qucosa-102943
- Veröffentlichungsdatum Qucosa
- 31.01.2013
- Dokumenttyp
- Forschungsbericht
- Sprache des Dokumentes
- Englisch