کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4663046 | 1345222 | 2013 | 24 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A QBF-based formalization of abstract argumentation semantics
ترجمه فارسی عنوان
یک فرمولاسيون مبتنی بر QBF از معانی استدلال انتزاعی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
معناشناسی برای چارچوب استدلال انتزاعی؛ فرمول بولین کمی؛ تئوری های امضا شده
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
We introduce a unified logical theory, based on signed theories and Quantified Boolean Formulas (QBFs) that can serve as the basis for representing and computing various argumentation-based decision problems. It is shown that within our framework we are able to model, in a simple and modular way, a wide range of semantics for abstract argumentation theory. This includes complete, grounded, preferred, stable, semi-stable, stage, ideal and eager semantics. Furthermore, our approach is purely logical, making for instance decision problems like skeptical and credulous acceptance of arguments simply a matter of entailment and satisfiability checking. The latter may be verified by off-the-shelf QBF-solvers.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 11, Issue 2, June 2013, Pages 229–252
Journal: Journal of Applied Logic - Volume 11, Issue 2, June 2013, Pages 229–252
نویسندگان
Ofer Arieli, Martin W.A. Caminada,