کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662969 | 1345215 | 2014 | 16 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Capturing equilibrium models in modal logic
ترجمه فارسی عنوان
گرفتن مدل های تعادلی در منطق مودال
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق تعادل؛ مدل های اینجا و آنجا ؛ منطق دومودال؛ برنامه ریزی مجموعه جواب
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
Here-and-there models and equilibrium models were investigated as a semantical framework for answer-set programming by Pearce, Valverde, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is given in an indirect way: the notion of an equilibrium model is defined in terms of quantification over here-and-there models. We here give a direct semantics of equilibrium logic, stated for a modal language embedding the language of equilibrium logic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 12, Issue 2, June 2014, Pages 192–207
Journal: Journal of Applied Logic - Volume 12, Issue 2, June 2014, Pages 192–207
نویسندگان
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su,