بررسی PDL بعنوان منطق راهبردی چندعاملی و ارائه یک روش حسابی برای استدلال در زمینه دسته های طبیعی نظریه بازی در هستان شناسی
Publish Year: 1393
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 655
This Paper With 19 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
RCEITT01_212
تاریخ نمایه سازی: 11 اردیبهشت 1394
Abstract:
منطق پویای گزاره ای یا PDL بعنوان منطقی برای استدلال ساختارهای برنامه نویسی منظم مورداستفاده قرار میگیرد که مادراین پژوهش چشم اندازجدیدی برPDL بعنوان منطق راهبردی استراتژیک چندعاملی MASL پیشنهاد می کنیم این منطق برای استدلال راهبردی دارای راهبردهای گروهی می باشد و منطق نظریه بازی را به منطق کیفیتی modal استاندارد نزدیک می کند همچنین نشان میدهیم ه MASL می تواند مفاهیم کلیدی نظریه بازی نظریه انتخاب اجتماعی و نظریه رای گری را بصورت طبیعی بیان کند و سیستم کامل و دقیقی برای MASL ارایه میدهیم همچنین نشان میدهیم که MASL منطق اتحادی را به راحتی کدبندی می کند سپس این زبان را به منطق راهبردی چندعاملی هستی شناسی EMSAL توسعه میدهیم مثالهایی ازآن ارایه داده و کاربرد آنرا برای سخت سوالات جدید درنظریه انتخاب اجتماعی هستی شناسی شناختی شرح میدهیم هدف اصلی دراین مقاله ارایه یک روش حسابی برای استدلال درزمینه دسته های طبیعی نظریه بازی درهستان شناسی می باشد
Keywords:
Authors
محسن فرزادی
دانشگاه آزاد اسلامی واحد خرم آباد،گروه ارشد کامپیوتر،
مجتبی رشیدی
دانشگاه آزاد اسلامی واحد خرم آباد،گروه ارشد کامپیوتر،
آزاده افشاریان
دانشگاه آزاد اسلامی واحد خرم آباد،گروه ارشد کامپیوتر،
سیدعبدالمجید موسوی
عضو هیات علمی گروه برق دانشگاه لرستان، خرم آباد،
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :