Oyun teorisi

Oyun teorisi veya Oyun kuramı, istatistik, sosyal bilimler (en fazla ekonomide olmak üzere), biyoloji, mühendislik, siyasi bilimler, bilgisayar bilimleri (temel olarak yapay zekâ çalışmaları üzerinde) kullanılan meşhur teoridir. Oyun teorisi, bireyin başarısının diğerlerinin seçimlerine dayalı olduğu seçimler yapması olan bazı stratejik durumların matematiksel olarak davranış biçimlerini yakalamaya çalışır. İlk başlarda bir bireyin kazancının ötekinin zararına olduğu (sıfır toplamlı oyunlar) yarışmaları çözümlemek için geliştirilmişse bile, daha sonradan birçok kısıta dayanan çok geniş bir etkileşim alanını incelemeye başlamıştır. Bugün: Oyun teorisi, sosyal kelimesinin geniş anlamda insan ve insan-dışı oyuncuları (bilgisayarlar, hayvanlar ve bitkiler) kapsayacak biçimde tanımlandığı, sosyal bilimlerin rasyonel yönü için bir birleşik alan kuramı veya bir tür şemsiyedir.Karar verenlerin diğer düşüncelerle uyumlu ya da rekabet halinde olduğu sosyal durumları modelleyen bir yaklaşım olması bu kuramın en temel özelliğidir. Oyun teorisi, neoklasik ekonomilerde geliştirilmiş bilinen iyileştirme yaklaşımlarını genişletmiştir.

Oyun teorisinin geleneksel uygulamaları bu oyunlarda —bireylerin davranışlarını değiştirmek istemediği— denge bulmaya çalışır. Bu fikri gerçekleştirmek üzere birçok denge kavramları en ünlüsü Nash dengesi geliştirilmiştir. Bu denge kavramları uygulama alanına göre farklı amaçlara sahiptir, fakat genel olarak uyuşurlar ve iç içe geçmişlerdir. Bu yöntemler eleştiriden uzak değildir ve bazı özel denge kavramlarının uygunluğu, dengenin tümden uygunluğu ve genel olarak matematiksel modellerin faydaları üzerine tartışmalar sürmektedir.

Daha öncesinde bazı gelişmeler olmuşsa da, oyun kuramı, 1944 yılında çıkan John von Neumann ve Oskar Morgenstern tarafından yazılmış olan Theory of Games and Economic Behavior (Oyunların ve Ekonomik Davranışın Kuramı) adlı kitapla başlamıştır. Bu kuram 1950'lerde birçok akademisyen tarafından geliştirilmiştir. Benzer gelişmeler 1930'lara kadar gitmekte idiyse de, 1970'lerde açıktan biyolojiye uygulanmıştır. Birçok alanda önemli bir araç olarak kabul edilmiştir. Ekonomide sekiz oyun kuramcısı Nobel Ödülü almıştır ve John Maynard Smith biyolojideki uygulaması için Crafoord Ödülüne layık görülmüştür.

Bu teori, geçmişten geleceğe, sosyal bilimlerde çok önemli bir rol oynamaktadır, ayrıca günümüzde birçok farklı akademik alanda da kullanılmaktadır. 1970'li yılların başında oyun teorisi, evrim teorisini içeren hayvan davranışlarına uygulanmıştır. Siyaset bilimi ve etik alanlarındaki düşünceleri betimlemek için özellikle tutsak ikilemi gibi birçok oyundan yararlanılmıştır. Son zamanlarda oyun kuramı, yapay zekâda ve sibernetikte kullanılmasıyla bilgisayar biliminin de dikkatini üzerinde toplamayı başarmıştır.

Akademik ilginin yanı sıra, popüler kültürde de ilgi çekmiştir. Nobel Ödüllü oyun kuramcısı, John Forbes Nash, Sylvia Nasar tarafından kaleme alınan 1998 tarihli biyografinin ve 2001 yılında çekilen A Beautiful Mind filminin konusu olmuştur. 1983 yapımı WarGames filminin de ana teması oyun kuramı olmuştur. Friend or Foe, kısmen Survivor gibi televizyonda yayınlanan bazı yarışma programlarında bile oyun kuramının izlerini sürmek mümkündür. Her ne kadar bazı oyun kuramsal çözümlemeler karar kuramıyla benzer görülseler de oyun kuramı çalışmaları, oyuncuların etkileşim içinde olduğu bir ortamda verilen kararlar üzerinde çalışmaktadır. Diğer bir deyişle, oyun kuramı, her bir tercihin kâr ve maliyetinin diğer bireylerin kararlarına bağlı olduğu durumlarda en uygun davranışın seçilmesini inceler.

Eğer bir karar, diğer oyuncular ne yaparsa yapsın en iyi kararsa ona oyun teorisi lisanında baskın strateji denir. Her baskın strateji çözümü bir Nash çözümüdür ama tersi doğru değildir. Teori basit şekilde şöyle özetlenebilir: oyuncuların hepsi aynı hedefe yönlenirse, bu oyuncuların elde etme olasılıklarını azaltacak; farklı hedeflere yönelim ise arttıracaktır. Özellikle ekonomide ve oligopol piyasalarda geçerlidir.

Çelişki ile işbirliğinin karma durumu şöyle ki, bu durumda oyuncular ortak kazançlarını artırmak için işbirliğine girişebilirler, ancak yine de kazancın dağıtımı konusunda bir çelişki söz konusudur.

Sıfır toplamlı model: Bu modelde, taraflardan birinin kazancı doğrudan bir diğerinin kaybı anlamına gelmektedir. Soğuk savaş döneminde büyük güçler açısından bu tür bir ilişki var. Böyle bir durumda dahi taraflar kendi açılarından en rasyonel stratejiyi bulmaya çalışırlarsa birisi "en iyisini" seçerek bir denge noktasını yakalayabileceklerdir.

Sıfır toplamlı olmayan model: Bu model, taraflar yine esas olarak birbirlerine rakip olmakla beraber, her iki tarafın da kârlı olabileceği denge durumları söz konusu olabilmektedir. Oyun teorisinin uluslararası politikaya uyarlanışı konusunda üçüncü çabalar Thomas C. Schelling'in çalışmaları olmuştur.

Oyun kuramı tarafından çalışılan oyunlar iyi tanımlanmış matematiksel nesnelerdir. Bir oyun, bir oyuncular kümesinden, bu oyuncuların uygulayabileceği bir eylem kümesinden (ya da stratejilerden) ve her strateji bileşkesi için tanımlanmış sonuçlardan meydana gelir. En işbirlikçi oyunlar karakteristik fonksiyon biçiminde sunulurken, yaygın ve normal biçimler işbirlikçi olmayan oyunlar için kullanılır.

Yaygın biçim önem sırasına sahip oyunları biçimlendirmek için kullanılır. Resimde görüldüğü gibi genellikle bu oyunlar ağaçlar biçiminde gösterilir. Burada her kenar (veya uç) bir oyuncunun seçeneklerini gösterir. Oyuncu kenarların tepesinde listelenen bir sayı tarafından temsil edilir. Bu noktadan çıkan çizgiler o oyuncunun olası eylemlerini gösterir. Ağacın en altında sonuçlar belirtilir.

Buradaki resimde gösterilen oyunda iki oyuncu vardır. Oyuncu 1 ilk hareket eder ve F ya da U'yu seçer. Oyuncu 2, Oyuncu 1'in hareketini görür ve A ya da R'yi seçer. Oyuncu 1'in U'yu seçtiğini varsayalım, bu durumda Oyuncu 2 A'yı seçer, sonra Oyuncu 1, 8 alır ve Oyuncu 2, 2 alır.

Yaygın biçim; eşzamanlı-eylem oyunlarını ve kısmi bilgiye sahip oyunları temsil edebilir. Bu, iki farklı ucu bağlayan, aynı bilgi kümesine (örn. oyuncuların hangi noktada olduklarını bilmedikleri) ait olduklarını gösteren bir noktalı çizgiyle yapılır ya da bunun çevresine kapalı bir çizgi çizilir.

Normal (ya da stratejik) biçim oyunu genellikle oyuncuları, stratejileri ve sonuçları (örneğe bakın) gösteren bir matris tarafından temsil edilir. Her oyuncunun her olası eylemini bir sonuca bağlayan herhangi bir fonksiyon tarafından da temsil edilebilir. Devam eden örnekte iki oyuncu vardır; biri bir satırı seçer, diğeri sütunu. Her oyuncunun, satır ve sütun sayısı tarafından belirlenen, iki stratejisi vardır. İçeride ise sonuçlar gösterilir. İlk sayı satır oyuncusunun (örnekte Oyuncu 1) sonucunu, ikinci ise sütun oyuncusununkini gösterir. Oyuncu 1'in Yukarı oynadığını ve Oyuncu 2'nin Sol oynadığını farzedersek Oyuncu 1, 4 alırken Oyuncu 2, 3 alır.

Bir oyun normal biçimde tanımlandığında, her oyuncunun eşzamanlı olarak hareket ettiği ya da en azından diğerinin eyleminden haberdar olmadığı varsayılır. Eğer oyuncular birbirlerinden biraz da olsa haberdar ise, oyun genellikle yaygın biçimde gösterilir. Bu nedenle asıl olan oyuncuların birbirinden habersiz olmaları. Aksi takdirde, manipüle ve propaganda araçları ile oyuncular birbirini etkiler ve sonsuz sayıda seçenek ortaya çıkar. Bu da oyuncuları çıkmaza sokar.

Devredilebilir araçlar bulunan işbirlikçi oyunlarda bireysel bedeller verilmez. Bunun yerine, karakteristik bir fonksiyon her birleşmedeki bedeli belirler. Standart varsayım boş birleşimin 0 bedelli olduğudur.

Bu biçimin kaynağı, birleşimsel normal biçim oyunlarını çalışırken bir birleşim biçimlendiğinde, bu durumun 2-oyunculu oyun oynuyorlarmışçasına bütünleyici birleşime () karşı oynandığını varsayan von Neumann ve Morgenstern'in ufuk açan kitabındadır. 'nin denge bedeli karakteristiktir. Normal biçim oyunlarından birleşim değerlerini türetmek için şimdi farklı modeller vardır. Fakat karakteristik fonksiyon biçimindeki tüm oyunlar normal biçim oyunlarından türetilemez.

Biçimsel olarak, bir karakteristik fonksiyon oyunu (TU-oyunu olarak da bilinir) çifti olarak verilir, ki burada bir küme oyuncuyu ve de bir karakteristik fonksiyonu betimler.

Karakteristik fonksiyon biçimi, birleşimsel oluşumun dışsallığını görmezden gelir. Bölme fonksiyon biçiminde bir birleşimin bedeli sadece üyelerine değil, ama kalan oyuncuların nasıl bölümlenmiş olduğuna göre de değişir .

Oyun kuramı uzun süredir insan ve hayvan davranışlarının geniş alana yayılmış çeşitlerini incelemek için kullanılmaktadır. Kuram başlangıçta; firmaların, pazarların ve tüketicilerin iktisadi davranışlarının toplandığı büyük yığını anlamak için geliştirildi. Daha sonra oyun kuramının sosyal bilimlerdeki kullanımı da genişledi ve kuram; politik, sosyolojik ve psikolojik davranışlara uygulandı.

Bir Örnek: A ve B oyuncularının her birinin ellerinde kırmızı ve mavi iki kart vardır. Kartların dış yüzeyleri benzerdir ve dışarıdan bakan kartın rengini anlayamaz. Taraflar, bir kart seçip, kapalı olarak önlerine koyarlar. İki oyuncu da kartlarını seçince/belirleyince, kartlar açılır ve aşağıdaki tabloya göre puanlama yapılır.

Yüksek puan almak istiyorsanız, sizin seçiminiz ne olurdu? Birden fazla el oynasaydınız seçiminiz ne olurdu? Rekabet halindeki takımlar, kazan kazan ilişkileri kurabildikleri ölçüde güç kazanabilirler.

1961, John McKinsey, Biyolojiye ilk uygulama; R. C. Lewontin, Evrim ve Oyunlar Kuramı Teori iktisat alanında genelde Oligopol Piyasaların açıklanmasında kullanılmaktadır.

Oyun kuramında oyunlar iyi tanımlanmış matematiksel nesnelerdir. Oyun, oyuncu kümesini, bu oyuncular tarafından kullanılabilir hamle (veya strateji) kümesini ve her bir stratejinin kombinasyonunda edinilen sonuçları içerir.