انجمن منطق ایران برگزار می‌کند
منطق (وجهی) احتمال
ریحانه ذوقی‌فرد
پژوهشگاه دانش‌های بنیادی (IPM)
چکیده: فضاهای تایپ معرفی شده توسط هارسانی (۶۸-۱۹۶۷)، یکی از ابزارهای مهم در مطالعه بازیهای با اطلاعات ناکامل است. در فضاهای تایپ باور بازیکنان با یک توزیع احتمال روی فضا بیان میشود. منطق احتمال چهارچوبی برای بررسی و مطالعه این ساختارهای احتمالی است که در آن کران‌های روی احتمال‌ها به عنوان عملگرهای وجهی در نظر گرفته می‌شوند. سیستم‌های اصل موضوعی مختلفی برای این مدل‌ها ارائه شده و درستی و تمامیت آنها بررسی شده است. اگرچه تمامیت قوی برای منطق احتمال برقرار نیست اما اگر مدل‌ها را فضاهای تایپ با تابع احتمال متناهی جمعی در نظر بگیریم تمامیت قوی برقرار خواهد بود. با این حال فشردگی برای هیچ یک از این کلاسها برقرار نیست.
در این سخنرانی مروری خواهیم داشت بر سیستم‌های اصل موضوعی مختلف ارائه شده برای منطق احتمال و برخی از ویژگی‌های نظریه مدلی فضاهای تایپ را بررسی کرده و پاره‌هایی از این منطق را معرفی می‌کنیم که دارای ویژگی فشردگی باشند.
مکان: تهران، دانشگاه صنعتی امیرکبیر،
دانشکده‌ی ریاضی، اتاق ۳۱۱
زمان : دوشنبه، ۲۸ مرداد ۱۳۹۸، ساعت ۴ بعد از ظهر