موضوع مقاله: بازی‌های منطقی | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # بازی‌های منطقی | مقدمه: بازی‌های منطقی حالت خاصی از بازی‌ها هستند که با توجه به ساختار مشخصشان در علم منطق ریاضی و نظریه محاسبات کاربرد دارند. | ## بخش 1: بازی‌های منطقی | تفاوت‌های اصلی این بازی‌ها با نسخهٔ عام‌تر بازی که در نظریه بازی‌ها بررسی می‌شود، وجود تنها ۲ بازیکن، تعداد مراحل نامحدود، سنجیدن نتیجه به شکل برد یا باخت و عدم وجود استراتژی‌های ترکیبی می‌باشد. امروزه این نوع بازی‌ها علاوه بر کاربردهای نظری، در علومی مانند نظریه استدلال و مناظره نیز کاربرد دارند. بازی‌های منطقی یک بازی منطقی به شکل یک دنبالهٔ نامتناهی از تصمیم‌های دو بازیکن اجرا می‌شود. در هر مرحله دقیقاً یک بازیکن حق انتخاب دارد و تصمیمات دو بازیکن از دامنهٔ اتخاذ می‌شوند. بعد از تعدادی متناهی یا نامتناهی مرحله یک بازیکن می‌تواند به پیروزی برسد و دیگری شکست بخورد، بعد از این اتفاق ادامهٔ بازی نتیجهٔ حاصل را تغییر نمی‌دهد. همچنین هر دنبالهٔ متناهی از تصمیمات را یک وضعیت بازی و هر دنبالهٔ نامتناهی از تصمیمات را یک واقعیت بازی می‌نامیم. پس به عنوان تعریف دقیق، یک بازی منطقی ۴ تایی است به طوری مجموعه‌ای از انتخاب‌ها، مجموعهٔ وضعیت‌های بازی و مجموعهٔ واقعیت‌های بازی باشند. تاریخچه اگر بازی را به شکل یک استدلال در قالب مناظره ببینیم، ارتباط بازی و منطق ریاضی به دوران قبل از میلاد و عقاید ارسطو بازمی‌گردد اما پیشرفت کندی در چندین قرن بعد داشته‌است. در اوایل قرن بیستم به دلیل تولد علم رایانه و به وجود آمدن نظریه بازی‌ها مدرن، توجه به این مبحث چند برابر شد. نیمهٔ اول قرن بیستم پیشرفت چشم‌گیری در زمینهٔ منطق ریاضی و نظریه مجموعه‌ها را شامل شد اما در عین حال که بعضی از دانشمندان از بازی به عنوان معنا بخشیدن به مفاهیم این مباحث استفاده می‌کردند، برخی دیگر این کار را بیهوده و غیرعلمی می‌دانستند. در نیمهٔ دوم قرن بیستم این روند شروع به تغییر کرد تا جایی که در اوایل قرن بیستم و یکم، بازی‌ها به عنوان ابزاری معتبر و رایج برای تحلیل مباحث منطقی به کار گرفته می‌شوند.Logic and Games کاربردها هر جا که بازی و منطق در هم تنیده شده‌اند و استدلال تعاملی مطرح است، می‌توان کاربردی برای بازی‌های منطقی یافت. تفاوت اصلی کاربردهای این شاخه با نظریهٔ بازی‌های تکراری، تمرکز روی برد و باخت و ساختار نتیجه‌گیری به جای محاسبهٔ سود و انگیزه‌های بازیکنان است. استدلال تحلیلی نوعی از یک بازی منطقی است که در آزمون‌های پذیرش مدارس حقوق رواج دارد. این بازی که به چهار دستهٔ خطی ساده، خطی پیچیده، گروهی و گروهی با ترکیبیات خطی تقسیم می‌شود، می‌تواند برای افزایش پیچیدگی شامل مفاهیم تناظر، ترتیب و جایگشت شود. ارائهٔ مدل منطقی بر پایهٔ بازی می‌تواند به تحلیل و بررسی یک مناظره بپردازد و حتی راهکارهایی برای پیش‌برد آن ارائه دهد. | ## بخش 2: بازی‌های منطقی | این شاخه در تحلیل مناظرات سیاسی، قراردادهای مالی و پرونده‌های حقوقی کاربرد دارد. سرگرمی‌های منطقی بازی‌های سرگرم‌کننده‌ای که استدلال و نتیجه‌گیری منطقی را از بازیکن طلب می‌کنند در این دسته قرار می‌گیرند. معمای منطقی لوئیس کارول، که با کتاب‌های آلیس در سرزمین عجایب و آلیس آنسوی آینه در راستای ملموس کردن مفاهیم منطقی برای مخاطب عام شهره است، در کنار نمودار کرول به این دسته تعلق دارند. بازی‌هایی مثل سودوکو یا پیچ‌راهه‌های منطقی علی‌رغم اینکه ساختار کلامی ندارند می‌توانند در این دسته طبقه‌بندی شوند. اثبات‌های تعاملی بعضی از ابزارهای خودکار و نیمه‌خودکار اثبات ویژگی روی زبان‌های برنامه‌نویسی و ساختارهای رفتاری متفاوت، توانایی مدل‌سازی و استدلال روی ساختارهای تعاملی را نیز دارند. این ویژگی در پروژه‌های مرتبط به روش‌های صوری و درستی‌یابی صوری مفید واقع می‌شود و امکان تحلیل منطقی مفهوم هماهنگی در مهندسی نرم‌افزار بر پایه پیکرپار را فراهم می‌سازد. ویژگی‌ها تمامیت یک بازی منطقی را تمام می‌نامیم اگر مجموعه‌های و خاصیت زیر را داشته باشند: که شهودا به این معناست که برندهٔ هر بازی در زمان نامتناهی مشخص می‌شود و هر واقعیت بازی یک برنده دارد. خوش‌تعریفی اگر در یک بازی منطقی به ازای هر واقعیت، یکی از بازیکنان در تعداد متناهی مرحله به پیروزی برسد، آن بازی را خوش تعریف می‌نامیم: رابطهٔ این‌گونه تعریف می‌شود: تناهی اگر عدد طبیعی وجود داشته باشد به طوری که مستقل از روند بازی، در کمتر از مرحله برنده مشخص شود، بازی را متناهی می‌نامیم: مشخّص است که ویژگی تناهی، خوش‌تعریفی را نتیجه می‌دهد. تعاریف متنوع تغییرهای جزئی در ساختار بازی‌های منطقی معمولاً صحّت قضایا و قدرت بیان مدل را عوض نمی‌کند. به عنوان مثال می‌توان دامنه‌های مختلف یا قوانینی برای انتخاب از دامنه برای هر یک از بازیکنان وضع کرد، برای مدل‌سازی این امر در تعریف استاندارد کافیست هر بازیکنی که تخطی می‌کند را بلافاصله بازنده اعلام کنیم. همچنین می‌توان تابع نوبت را یک تناوب ساده در نظر گرفت و این قانون را وضع کرد که بازیکنان خارج از نوبت باید عمل خنثی را انتخاب کنند. پیشبینی‌پذیری استراتژی در یک بازی منطقی، یه تابعی که به ازای هر وضعیت بازی تصمیم بازیکن را مشخّص می‌کند، استراتژی آن بازیکن می‌گوییم؛ بنابراین برای بازیکن تابع و برای بازیکن تابع ، به ازای هر ورودی از مجموعهٔ یک خروجی از مجموعهٔ را مشخص می‌کنند. بدین ترتیب تابع را تعریف کنیم که یک بازی منطقی و دو استراتژی را به عنوان ورودی دریافت کرده و نتیجه را برمی‌گرداند: استراتژی برد یک تابع تصمیم‌گیری را استراتژی برد می‌نامیم، اگر به ازای هر تصمیم‌گیری ممکن از سوی حریف، بازیکن را به پیروزی برساند. یک بازی حداکثر برای یک بازیکن استراتژی برد دارد، چون اگر هر دو استراتژی برد داشته باشند می‌توان این دو استراتژی را مقابل یک‌دیگر اجرا کرد و نتیجه پیروزی هر دو بازیکن خواهد بود که تناقض است. بازی‌های مصمم یک بازی منطقی مصمم یا پیشبینی‌پذیر است اگر برای یکی از بازیکنان استراتژی برد داشته باشد. | ## بخش 3: بازی‌های منطقی | ارتباط با منطق در منطق مرتبهٔ اول از علائم و به معنای صور عمومی و صور وجودی استفاده می‌شود. هم‌نامی این دو صور با بازیکنان بازی‌های منطقی به این معناست که هر صور را می‌توان به شکل یک مرحله تصمیم‌گیری یکی از بازیکنان دید، بعضاً با توجه به حروف اول نام صورها، بازیکنان Abelard و Eloise نیز نامیده می‌شوند. بازیکن قصد دارد تا نمونه‌ای پیدا کند که عبارت را صحیح و بازیکن به دنبال نمونه‌ای است که عبارت را ناصحیح کند. می‌دانیم که به ازای هر عبارت در منطق مرتبه اول، یک عبارت در فرم نرمال وجود دارد که تمام صورهای آن در ابتدای فرمول قرار دارند. بدین ترتیب یک فرمول را می‌توان به شکل یک بازی منطقی دید که ابتدا بازیکنان برای متغیرها مقدار انتخاب می‌کنند و سپس صحیح یا ناصحیح بودن عبارت برندهٔ بازی را مشخص می‌کند. واضح است که این بازی متناهی و نتیجتاً خوش‌تعریف می‌باشد پس برای یک بازیکن استراتژی برد داریم. هدف بازیکن همانندساز اثبات هم‌ارزی این دو ساختار است و بازیکن خراب‌کار در صورت ناتوانی حریف خود پیروز می‌شود. بازی به این شکل پیش می‌رود که در هر مرحله، بازیکن خراب‌کار یک عضو را انتخاب کرده و بازیکن همانندساز عضوی را انتخاب می‌کند که در کنار اعضای پیشین رفتاری مشابه اعضای انتخاب شده توسط خراب‌کار داشته باشد. در هر مرحله اگر تفاوتی در رفتار دیده شد بازیکن خراب‌کار پیروز می‌شود و اگر هیچ‌وقت بازیکن خراب‌کار پیروز نشد، بازیکن همانندساز را پیروز می‌دانیم. پس تعریف می‌کنیم روی ساختار با مجموعه توابع و مجموعه روابط ، هر وضعیت بازی به شکل دنبالهٔ انتخاب شده توسط دو بازیکن است: بازیکن خراب‌کار در این مرحله بازی را برده‌است اگر یکی از این سه شرط ارضا شود: که یک جایگشت جزئی از اعداد کمتر از است. اثبات تعاملی در نظریهٔ پیچیدگی محاسبات، سیستم‌های اثبات تعاملی محاسبه را به شکل دنباله‌ای از پیام‌ها میان اثبات‌کننده و مصحح می‌بینند. اثبات‌کننده ماشینی با توانایی نامحدود است که می‌تواند دروغ یا راست بگوید و مصحح ماشینی با توانایی محدود است که باید صحت پیام‌های اثبات‌کننده را ارزیابی کند. از ساده‌ترین کلاس‌های پیچیدگی اثبات‌های تعاملی می‌توان کلاس را نام برد که با تبادل یک پیام به پایان می‌رسد. | ## جمع‌بندی | اگر ورودی به زبان تعلق نداشته باشد هیچ اثبات‌کنندهٔ بدخواهی نمی‌تواند مصحح را به دروغ متقاعد کند و اگر ورودی به زبان تعلق داشته باشد اثبات‌کننده‌ای وجود دارد که می‌تواند با ارائهٔ اثبات صحیح، مصحح را متقاعد کند.