کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662969 1345215 2014 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Capturing equilibrium models in modal logic
ترجمه فارسی عنوان
گرفتن مدل های تعادلی در منطق مودال
کلمات کلیدی
منطق تعادل؛ مدل های اینجا و آنجا ؛ منطق دومودال؛ برنامه ریزی مجموعه جواب
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

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
نویسندگان
, , ,