بررسی PDL بعنوان منطق راهبردی چندعاملی و ارائه یک روش حسابی برای استدلال در زمینه دسته های طبیعی نظریه بازی در هستان شناسی
محل انتشار: اولین همایش ملی پژوهش های مهندسی رایانه
سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 680
فایل این مقاله در 19 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
RCEITT01_212
تاریخ نمایه سازی: 11 اردیبهشت 1394
چکیده مقاله:
منطق پویای گزاره ای یا PDL بعنوان منطقی برای استدلال ساختارهای برنامه نویسی منظم مورداستفاده قرار میگیرد که مادراین پژوهش چشم اندازجدیدی برPDL بعنوان منطق راهبردی استراتژیک چندعاملی MASL پیشنهاد می کنیم این منطق برای استدلال راهبردی دارای راهبردهای گروهی می باشد و منطق نظریه بازی را به منطق کیفیتی modal استاندارد نزدیک می کند همچنین نشان میدهیم ه MASL می تواند مفاهیم کلیدی نظریه بازی نظریه انتخاب اجتماعی و نظریه رای گری را بصورت طبیعی بیان کند و سیستم کامل و دقیقی برای MASL ارایه میدهیم همچنین نشان میدهیم که MASL منطق اتحادی را به راحتی کدبندی می کند سپس این زبان را به منطق راهبردی چندعاملی هستی شناسی EMSAL توسعه میدهیم مثالهایی ازآن ارایه داده و کاربرد آنرا برای سخت سوالات جدید درنظریه انتخاب اجتماعی هستی شناسی شناختی شرح میدهیم هدف اصلی دراین مقاله ارایه یک روش حسابی برای استدلال درزمینه دسته های طبیعی نظریه بازی درهستان شناسی می باشد
کلیدواژه ها:
نویسندگان
محسن فرزادی
دانشگاه آزاد اسلامی واحد خرم آباد،گروه ارشد کامپیوتر،
مجتبی رشیدی
دانشگاه آزاد اسلامی واحد خرم آباد،گروه ارشد کامپیوتر،
آزاده افشاریان
دانشگاه آزاد اسلامی واحد خرم آباد،گروه ارشد کامپیوتر،
سیدعبدالمجید موسوی
عضو هیات علمی گروه برق دانشگاه لرستان، خرم آباد،
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :