论证理论
计算机科学
还原(数学)
集合(抽象数据类型)
命题演算
答案集编程
表征(材料科学)
论证框架
理论计算机科学
程序设计语言
数学
认识论
几何学
哲学
纳米技术
材料科学
作者
Wolfgang Dvořák,Sarah Alice Gaggl,Thomas Linsbichler,Johannes Wallner
标识
DOI:10.1007/978-3-319-14726-0_17
摘要
This paper reconsiders Modgil’s Extended Argumentation Frameworks (EAFs) that extend Dung’s abstract argumentation frameworks by attacks on attacks. This allows to encode preferences directly in the framework and thus also to reason about the preferences themselves. As a first step to reduction-based approaches to implement EAFs, we give an alternative (but equivalent) characterization of acceptance in EAFs. Then we use this characterization to provide EAF encodings for answer set programming and propositional logic. Moreover, we address an open complexity question and the expressiveness of EAFs.
科研通智能强力驱动
Strongly Powered by AbleSci AI