کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6858912 1438426 2016 30 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Looking-ahead in backtracking algorithms for abstract argumentation
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Looking-ahead in backtracking algorithms for abstract argumentation
چکیده انگلیسی
We refine implemented backtracking algorithms for a number of problems related to Dung's argumentation frameworks. Under admissible, preferred, complete, stable, semi stable, and ideal semantics we add enhancements, what are so-called global looking-ahead pruning strategies, to the-state-of-the-art implementations of two problems. First, we tackle the extension enumeration problem: constructing some/all set(s) of acceptable arguments of a given argumentation framework. Second, we address the acceptance decision problem: deciding whether an argument is in some/all set(s) of accepted arguments of a given argumentation framework. The experiments that we report show that the speedup gain of the new enhancements is quite significant.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 78, November 2016, Pages 265-282
نویسندگان
, , ,