Autor(en): | Heyninck, Jesse Kern-Isberner, Gabriele Thimm, Matthias Skiba, Kenneth |
Titel: | On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics |
Sprache (ISO): | en |
Zusammenfassung: | The exact relationship between formal argumentation and nonmonotonic logics is a research topic that keeps on eluding researchers despite recent intensified efforts. We contribute to a deeper understanding of this relation by investigating characterizations of abstract dialectical frameworks in conditional logics for nonmonotonic reasoning. We first show that in general, there is a gap between argumentation and conditional semantics when applying several intuitive translations, but then prove that this gap can be closed when focusing on specific classes of translations. |
Schlagwörter: | Abstract argumentation Abstract dialectical frameworks Non-monotonic logics Non-monotonic conditionals Conditional logics Non-monotonic reasoning Defeasible reasoning |
Schlagwörter (RSWK): | Nichtmonotone Logik Argumentation Dialektische Logik |
URI: | http://hdl.handle.net/2003/40899 http://dx.doi.org/10.17877/DE290R-22755 |
Erscheinungsdatum: | 2021-07-06 |
Rechte (Link): | http://creativecommons.org/licenses/by/4.0/ |
Enthalten in den Sammlungen: | LS 01 Logik in der Informatik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
Heyninck2021_Article_OnTheCorrespondenceBetweenAbst.pdf | 611.37 kB | Adobe PDF | Öffnen/Anzeigen |
Diese Ressource ist urheberrechtlich geschützt. |
Diese Ressource wurde unter folgender Copyright-Bestimmung veröffentlicht: Lizenz von Creative Commons