ABS Golrangi(Latin)
ABSTRACT:
در اين پايان نامه يكي از توسيع هاي منطق تكليف به نام منطق ورودي/خروجي مورد بررسي قرار گرفته است. منطق تكليف يكي از شاخه هاي منطق موجهات است كه به بررسي گزاره هاي در باره وظيفه، مجوز و ممنوعيت مي پردازد و در سال 1951 توسط فون رايت معرفي گرديد. اما از همان ابتدا پارادوكسهاي زيادي براي آن به وجود آمد. يكي از اين توسيع منطق ورودي/خروجي است كه در سال 2000 ارائه گرديد و تا سال 2003 با ارائه دو مقاله ديگر اين منطق به عنوان توسيعي از منطق تكليف كامل گرديد.
ABSTRACT:
In this thesis, we present an expanded account of logics for coalition games based on an article by Hoek and Wooldridge (2006).
– First, we define a correspondence relation, between QCGs and interpretations for CL. The idea is that this relation characterises the circumstances under which a QCG and an interpretation for CL say the same things about coalitions, and hence are equivalent at this level of analysis.
در اين پايان نامه چند نسخه متفاوت از بازي هاي ائتلافي معرفي مي شود . در اين بازيها مفاهيمي چون قانع شدن ائتلاف، ائتلاف مينيمال، بازيگر كليدي ومجموعه پيشنهادي تعريف مي شود.با توجه به اينكه نسخه هاي متفاوتي از بازيهاي ائتلافي وجود دارد براي صورتبندي و استدلال در مورد مسائل مطرح شده در هر بازي منطقهاي متفاوتي متناسب با شرائط بازي ايجاد شده است كه در اين پايان نامه مورد بررسي قرار مي گيرد.
-
در اين پاياننامه به صورتبندي و بيان يك سيستم استنتاجي براي يك منطق كنترل دسترسي پرداختهايم كه هم براي كنترل دسترسي و هم براي بررسي تطابق با قوانين مفيد است. اين سيستم منطقي قابليت بيان سيستمهاي كنترل دسترسي، به عنوان يك دستگاه حقوقي و قانوني را دارد. نخست عملگر says، از منطقهاي كنترل دسترسي را مورد توجه قرار دادهايم. عملگر says مفهوم «گفتن» به عنوان يك وجه در منطق موجهاتي بيان ميشود. در اين ديدگاه عملگر says مفهوم «گفتن» را به صورت شهودي مدلسازي ميكند.
اين پاياننامه اولين مطالعهي نظريه اثباتي و نظريه مدلي از تركيب منطقهاي با زمان محدود و منطقهاي ساختي است. ابتدا به منظور فراهم كردن يك پايه نظري مفيد براي استدلالهاي زماني كه داراي خاصيت ساختي و فراسازگارند، دو منطق IB[l] و PB[l] معرفي ميشود. اين منطقها دو مدل محدود و ساختي از LTL و توسيعهايي از منطق شهودي يا منطق فراسازگار نلسون هستند كه تحت عنوان حسابهاي رشتهاي گنتسني [l] و PB[l] معرفي ميشوند.
در اين رساله به بررسي منطقهاي توجيه و ارتباط آنها با منطقهاي موجهات ميپردازيم. نتايج اين رساله به سه گروه قابل تقسيم هستند. ارايه منطقهاي توجيه جديد، از جمله: JB (صورت صريح منطق موجه براوري KB)، JGL (صورت صريح منطق اثباتپذيري گودل لوب GL) و JLD (صورتهاي صريح منطقهاي دانشي توزيعي).