برداشت کلی شما از مقاله‌ی داده‌شده چیست؟

مقاله: یک بازی منطقی به شکل یک دنباله نامتناهی از تصمیم‌های دو بازیکن اجرا می‌شود. در هر مرحله دقیقا یک بازیکن حق انتخاب دارد و تصمیمات دو بازیکن از دامنه اتخاذ می‌شوند. بعد از تعدادی متناهی یا نامتناهی مرحله یک بازیکن می‌تواند به پیروزی برسد و دیگری شکست بخورد، بعد از این اتفاق ادامه بازی نتیجه حاصل را تغییر نمی‌دهد. به دلیل استدلالی که جلوتر مطرح می‌شود، دو بازیکن را و می‌نامیم. همچنین هر دنباله متناهی از تصمیمات را یک وضعیت بازی و هر دنباله نامتناهی از تصمیمات را یک واقعیت بازی می‌نامیم. پس به عنوان تعریف دقیق، یک بازی منطقی ۴ تایی است به طوری مجموعه‌ای از انتخاب‌ها، مجموعه وضعیت‌های بازی و مجموعه واقعیت‌های بازی باشند. در نفش تابع نوبت، هر عضو از را به یا متناظر می‌کند. در نهایت و زیرمجموعه‌هایی از اجتماع وضعیت‌ها و واقعیت‌های بازی هستند که با توجه به ثبات پیروزی، شرایط ذیل را ارضا می‌کنند: بازی‌های منطقی با نام gale-stewart نیز شناخته می‌شوند. اگر بازی را به شکل یک استدلال در قالب مناظره ببینیم، ارتباط بازی و منطق ریاضی به دوران قبل از میلاد و عقاید ارسطو بازمی‌گردد اما پیشرفت کندی در چندین قرن بعد داشته‌است. در اوایل قرن بیستم به دلیل تولد علم رایانه و به وجود آمدن نظریه بازی‌ها مدرن، توجه به این مبحث چند برابر شد. نیمه اول قرن بیستم پیشرفت چشم‌گیری در زمینه منطق ریاضی و نظریه مجموعه‌ها را شامل شد اما در عین حال که بعضی از دانشمندان از بازی به عنوان معنا بخشیدن به مفاهیم این مباحث استفاده می‌کردند، برخی دیگر این کار را بیهوده و غیرعلمی می‌دانستند. در نیمه دوم قرن بیستم این روند شروع به تغییر کرد تا جایی که در اوایل قرن بیستم و یکم، بازی‌ها به عنوان ابزاری معتبر و رایج برای تحلیل مباحث منطقی به کار گرفته می‌شوند. هر جا که بازی و منطق در هم تنیده شده‌اند و استدلال تعاملی مطرح است، می‌توان کاربردی برای بازی‌های منطقی یافت. تفاوت اصلی کاربردهای این شاخه با نظریه بازی‌های تکراری، تمرکز روی برد و باخت و ساختار نتیجه‌گیری به جای محاسبه سود و انگیزه‌های بازیکنان است. نوعی از یک بازی منطقی است که در آزمون‌های پذیرش مدارس حقوق رواج دارد. این بازی که به چهار دسته خطی ساده، خطی پیچیده، گروهی و گروهی با ترکیبیات خطی تقسیم می‌شود، می‌تواند برای افزایش پیچیدگی شامل مفاهیم تناظر، …
برداشت:
بازی‌های منطقی حالت خاصی از بازی‌ها هستند که با توجه به ساختار مشخصشان در علم منطق ریاضی و نظریه محاسبات کاربرد دارند . در این بازی‌ها وجود راهبرد پیروزی بررسی و معانی مختلفی به آن منسوب می‌شود . تفاوت‌های اصلی این بازی‌ها با نسخهٔ عام‌تر بازی که در نظریه بازی‌ها بررسی می‌شود ، وجود تنها ۲ بازیکن ، تعداد مراحل نامحدود ، سنجیدن نتیجه به شکل برد یا باخت و عدم وجود استراتژی‌های ترکیبی می‌باشد . امروزه این نوع بازی‌ها علاوه بر کاربردهای نظری ، در علومی مانند نظریه استدلال و مناظره نیز کاربرد دارند .