ABS Ahmadi(Latin)
ABSTRACT:
In this thesis we Introduce Quantified Interpreted Systems. A Semanticse To Reason About Knowledge In Multi-Agent Systems In A First Order Setting. We Define First Order Modal Axiomatisation For Different Settings.
ABS Pourhaghani(Persion)
در اين پايان نامه يكي از توسيع هاي منطق تكليف به نام منطق ورودي/خروجي مورد بررسي قرار گرفته است. منطق تكليف يكي از شاخه هاي منطق موجهات است كه به بررسي گزاره هاي در باره وظيفه، مجوز و ممنوعيت مي پردازد و در سال 1951 توسط فون رايت معرفي گرديد. اما از همان ابتدا پارادوكسهاي زيادي براي آن به وجود آمد. يكي از اين توسيع منطق ورودي/خروجي است كه در سال 2000 ارائه گرديد و تا سال 2003 با ارائه دو مقاله ديگر اين منطق به عنوان توسيعي از منطق تكليف كامل گرديد.
ABS Moosavi(Latin)
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.
ABS Moosavi(Persion)
در اين پايان نامه چند نسخه متفاوت از بازي هاي ائتلافي معرفي مي شود . در اين بازيها مفاهيمي چون قانع شدن ائتلاف، ائتلاف مينيمال، بازيگر كليدي ومجموعه پيشنهادي تعريف مي شود.با توجه به اينكه نسخه هاي متفاوتي از بازيهاي ائتلافي وجود دارد براي صورتبندي و استدلال در مورد مسائل مطرح شده در هر بازي منطقهاي متفاوتي متناسب با شرائط بازي ايجاد شده است كه در اين پايان نامه مورد بررسي قرار مي گيرد.
-
ABS Ghafoori(Persion)
در اين پايان نامه به بررسي برخي از گزاره هاي معتبر كلاسيك و به طور خاص قضيّهى مقدار مياني در دنياي ساختي مي پردازيم. در اين راستا به اجمال گونه هاي مختلف رياضيات ساختي معرفي و رابطهى بين آن ها بيان مي گردد. سپس به بحث پيرامون اصول غيركلاسيكي خواهيم پرداخت كه نقش مهمّي در رياضيات ساختي بر عهده دارند. علاوه براين، اصولي كه از ديدگاه كلاسيك معتبر امّا در نوع ساختي نيازمند توجيهات مختلف هستند نيز مطرح و نتايج جالب حاصل از حضور اين دو نوع اصل در كنار يكديگر بيان مي گردد.
ABS Akbarifard(Persion)
منطق زماني ATL براي بيان گزارههايي در مورد آنچه ائتلافي از بازيكنها در يك همكاري استراتژيك ميتوانند بدان دست يابند ارائه شده است.
منطقATEL گسترش منطق ATL بوسيله اضافه كردن ابزار شناخت با تعبير جهانهاي ممكن كه در منطقهاي شناختي معمول است حاصل شده است .