On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics

نویسندگان

چکیده

Abstract 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 deeper understanding of this relation by investigating characterizations abstract dialectical frameworks in conditional for reasoning. first show general, there gap semantics when applying several intuitive translations, but then prove can be closed focusing specific classes translations.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Splitting Abstract Dialectical Frameworks

Among the abundance of generalizations of abstract argumentation frameworks, the formalism of abstract dialectical frameworks (ADFs) proved to be powerful in modelling various argumentation problems. Implementations of reasoning tasks that come within ADFs struggle with their high computational complexity. Thus methods simplifying the evaluation process are required. One such method is splittin...

متن کامل

Decomposing Abstract Dialectical Frameworks

We introduce a decomposition scheme for abstract dialectical frameworks (ADFs). The decomposition proceeds along the ADF’s strongly connected components. For several semantics, the decomposition-based version coincides with the original semantics. For others, the scheme defines new semantics. These new semantics allow us to deal with pertinent problems such as odd-length negative cycles in a mo...

متن کامل

Abstract Dialectical Frameworks Revisited

Dialectical Frameworks Revisited∗ Gerhard Brewka and Stefan Ellmauthaler and Hannes Strass Institute of Computer Science, Leipzig University Johannes Peter Wallner and Stefan Woltran Institute of Information Systems, Vienna University of Technology

متن کامل

Abstract Dialectical Frameworks* - Properties, Complexity, and Implementation

Dialectical Frameworks∗ Properties, Complexity, and Implementation Stefan Ellmauthaler Intelligent Systems Computer Science Institute University of Leipzig 15.11.2012 ∗The presented results are from the same-titled Master’s thesis, done at the Vienna University of Technology (Institute of Information Systems, Database and Artificial Intelligence Group) Outline

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Mathematics and Artificial Intelligence

سال: 2021

ISSN: ['1573-7470', '1012-2443']

DOI: https://doi.org/10.1007/s10472-021-09758-y