کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
376811 | 658318 | 2015 | 41 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
ترجمه فارسی عنوان
تجزیه و تحلیل پیچیدگی محاسباتی چارچوب دیالکتیکی انتزاعی از طریق تئوری تقریبی ثابت
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
چکیده مقالات دیالکتیکی، پیچیدگی محاسباتی، تئوری نقطه برابری تقریبی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
Abstract dialectical frameworks (ADFs) have recently been proposed as a versatile generalization of Dung's abstract argumentation frameworks (AFs). In this paper, we present a comprehensive analysis of the computational complexity of ADFs. Our results show that while ADFs are one level up in the polynomial hierarchy compared to AFs, there is a useful subclass of ADFs which is as complex as AFs while arguably offering more modeling capacities. As a technical vehicle, we employ the approximation fixpoint theory of Denecker, Marek and Truszczyński, thus showing that it is also a useful tool for complexity analysis of operator-based semantics.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Artificial Intelligence - Volume 226, September 2015, Pages 34–74
Journal: Artificial Intelligence - Volume 226, September 2015, Pages 34–74
نویسندگان
Hannes Strass, Johannes Peter Wallner,