Oyun teorisi sayfasının kaynağını görüntüle

{{Ek kaynak gerekli|tarih=Ocak 2024}}
{{Özgün araştırma|tarih=Aralık 2021}}
'''Oyun teorisi''' veya '''Oyun kuramı''', [[istatistik]], [[siyasi bilimler|sosyal bilimler]] (en fazla [[ekonomi]]de olmak üzere), [[biyoloji]], [[mühendislik]], [[siyasi bilimler]], [[bilgisayar bilimleri]] (temel olarak [[yapay zekâ]] çalışmaları üzerinde) kullanılan meşhur teoridir.<ref name=Myerson>{{kitap kaynağı|soyadı=Myerson|ad=Roger B.|yazarbağı=Roger B. Myerson|yıl=1991|başlık=Game Theory: Analysis of Conflict|url=https://archive.org/details/gametheoryanalys0000myer|yayıncı=[[Harvard University Press]]|isbn=9780674341166}}</ref> 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.<ref>{{Akademik dergi kaynağı |soyadı1=Shapley |ad1=Lloyd S. |soyadı2=Shubik |ad2=Martin |tarih=1 Ocak 1971|başlık=Game Theory in Economics: Chapter 1, Introduction, The Use of Models |url=https://www.rand.org/pubs/reports/R0904z1.html |dil=İngilizce|erişimtarihi=23 Nisan 2023 |arşivtarihi=23 Nisan 2023 |arşivurl=https://web.archive.org/web/20230423130243/https://www.rand.org/pubs/reports/R0904z1.html |ölüurl=hayır}}</ref> İlk başlarda bir bireyin kazancının ötekinin zararına olduğu ([[sıfır toplamlı oyun]]lar) yarışmaları çözümlemek için geliştirilmişse bile, daha sonradan birçok [[Oyun kuramı#Oyun türleri|kısıta]] dayanan çok geniş bir etkileşim alanını incelemeye başlamıştır. Bugün: <blockquote>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.<ref>{{Harvard alıntı|Aumann|1987}}</ref></blockquote>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 ekonomiler]]de 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 kavramı|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'ler|1970'li]] yılların başında oyun teorisi, [[evrim kuramı|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 [[sibernetik]]te 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 (film, 1983)|''WarGames'']] filminin de ana teması oyun kuramı olmuştur. [[Friend or Foe (yarışma programı, 2002)|''Friend or Foe'']], kısmen [[Survivor (yarışma)|''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 piyasası|oligopol]] piyasalarda geçerlidir.

Şu iki özel durumda uygulanabilecek bir kuramsal çözümlemedir:

* Bir oyuncunun elde ettiği kazancın diğerinin (veya diğerlerinin) kaybını oluşturduğu mutlak çelişki durumu.
* Ç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.

Oyun teorisinde ekonomik, sosyal bir çelişki söz konusudur. Oyun kuramının ekonomik, sosyal ve siyasal alanda uygulanabileceği pek çok durum bulunabilir. Oyun kuramı sonradan uluslararası politikada da kullanılmaya başlandı. [[II. Dünya Savaşı]]ndan sonra birkaç büyük devletin uluslararası sistemi belirlediği bir ortamda bu teoriye başvurulabilir. Bu alanların başında çatışma analizi ve strateji konuları gelmektedir. Bu temelde kurulan oyun modelleri başlıca iki varsayıma dayanmaktadır:

* '''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.

[[David Ruelle]] bu konuda ''[[Rastlantı ve Kaos]]'' kitabında şunlara yer vermiştir:

<blockquote style="border: 1px solid blue; padding: 0.5em 0.8em;">
Bir başka oyun da şöyle olabilir: Ben birden fazla sığınağın bulunduğu bir savaş alanındayım, siz de küçük bir uçakla tam üstümde daireler çiziyor ve tepeme bir bomba bırakmak için fırsat 
kolluyorsunuz. Normalde benim çevredeki en sağlam görünüşlü sığınağı seçmem ve orada saklanmam 
gerekir ama sizin de normalde yapabileceğiniz en doğru iş benim en iyi sığınağı seçmiş olabileceğimi 
düşünerek orayı bombalamaktır. Bunu bildiğim için benim o denli sağlam görünmeyen ikinci sığınağı 
seçmem gerekmez mi? Eğer ikimiz de çok akıllıysak olasılıklara dayanan stratejiler izleriz. Örneğin 
ben çevredeki çeşitli sığınaklar arasında bana en fazla kurtulma şansı verecek özelliklere sahip olanları 
arar, bundan sonra nereye saklanacağımı belirlemek için yazı-tura atar ya da gelişigüzel sayılardan oluşan 
bir liste kullanırım. Siz de beni vurma şansınızın en yüksek düzeyde olduğu sığınağı belirlemek için 
benzer biçimde olasılıklardan yararlanırsınız. Bu size saçma gelebilir ama ikimiz de akılcı davranabiliyorsak 
yapacağımız budur. Doğal olarak ben hareketlerimi gizlemezsem sizin işiniz kolaylaşır, buna karşılık 
siz de nereyi bombalamayı tasarladığınızı bana sezdirmemeye çalışmalısınız.

 Günlük hayatta patronunuz, sevgiliniz ya da ülkenizi yönetenlerin sizi yönlendirmeye çalıştığını 
sık sık görürsünüz. Size önerdikleri oyun, seçeneklerden birinin kesinlikle daha parlak göründüğü bir 
seçimdir. Bu seçenekte karar kıldığınız zaman karşınıza yeni bir oyun çıkar ve böylelikle kısa bir süre 
sonra akılcı seçimlerinizin sizi aslında hiçbir zaman istememiş olduğunuz bir yere getirdiğini görür 
ve tuzağa düştüğünüzü anlarsınız.

    Bu noktaya gelmemek için yapacağınız şey arada bir beklenmedik biçimde davranmaktır. En çekici görünen 
seçeneklerden uzak durduğunuz zaman kaybettiğiniz şeylerin karşılığında daha özgür olabilirsiniz.

    Doğal olarak hedefiniz sadece beklenmedik biçimde davranmak değil, bunu belli bir olasılık stratejisine 
uygun olarak yapmaktır.
</blockquote>

== Oyunların gösterimi ==
{{Ayrıca bakınız|Oyun kuramındaki oyunlar listesi}}
Oyun kuramı tarafından çalışılan oyunlar iyi tanımlanmış matematiksel nesnelerdir. Bir oyun, bir [[Oyuncu (oyun)|oyuncular]] kümesinden, bu oyuncuların uygulayabileceği bir eylem kümesinden (ya da [[strateji (oyun kuramı)|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 ===
{{Ana|Yaygın biçim oyunu}}
[[Dosya:Ultimatum Game Extensive Form.svg|küçükresim|sol|Bir yaygın biçim oyunu]]
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ç (çizge kuramı)|ağaçlar]] biçiminde gösterilir. Burada her [[Çizge (matematik)|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'''<nowiki/>'yu seçer. '''''Oyuncu 2''''', '''''Oyuncu 1'''''<nowiki/>'in hareketini görür ve '''A''' ya da '''R'''<nowiki/>'yi seçer. '''''Oyuncu 1'''''<nowiki/>'in '''U'''<nowiki/>'yu seçtiğini varsayalım, bu durumda '''''Oyuncu 2''''' '''A'''<nowiki/>'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ümesi (oyun kuramı)|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 biçim ===
<!--{| align=right border="1" cellpadding="4" cellspacing="0" style="margin: 1em 1em 1em 1em; background: #f9f9f9; border: 1px #aaa solid; border-collapse: collapse; font-size: 95%;"
|+ align=bottom |''Bir normal biçim oyunu''
|-
|
! scope="col" style="color: #900;width: 90px;"|''Oyuncu 2 solu seçer''
! scope="col" style="color: #900;width: 90px;"|''Oyuncu 2 sağı seçer''
|-
! scope="col" style="color: #009;width: 90px;"|''Oyuncu 1 yukarıyı seçer''
|align=center| <span style="color: #009">4</span>, <span style="color: #900">3</span>
|align=center| <span style="color: #009">-1</span>, <span style="color: #900">-1</span>
|-
! scope="col" style="color: #009;width: 100px;"|''Oyuncu 1 aşağıyı seçer''
|align=center| <span style="color: #009">0</span>, <span style="color: #900">0</span>
|align=center| <span style="color: #009">3</span>, <span style="color: #900">4</span>
|}-->
{{Sonuç matrisi 
| Name = Normal biçim ya da 2-oyunculu, 2-stratejili oyunun sonuç matrisi
| 2So = <font color=red>Oyuncu 2<br /> ''Sol''u seçer</font> 
| 2Sa = <font color=red>Oyuncu 2<br /> ''Sağ''ı seçer</font> 
| 1Y = <font color=blue>Oyuncu 1<br /> ''Yukarı''yı seçer</font>  
| 1A = <font color=blue>Oyuncu 1<br /> ''Aşağı''yı seçer</font> 
| YSo = <font color=blue>'''4'''</font>,  <font color=red>'''3'''</font> 
| YSa = <font color=blue>'''–1'''</font>, <font color=red>'''–1'''</font> 
| ASo = <font color=blue>'''0'''</font>,  <font color=red>'''0'''</font> 
| ASa = <font color=blue>'''3'''</font>,  <font color=red>'''4'''</font> 
| Float = right | Width = 330}}

{{Ana|Normal biçim oyunu}}
Normal (ya da stratejik) biçim oyunu genellikle oyuncuları, stratejileri ve sonuçları (örneğe bakın) gösteren bir [[Matris (matematik)|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.

=== Karakteristik fonksiyon biçimi ===
{{Ana|İşbirlikçi oyun}}
[[Devredilebilir araç]]lar bulunan [[işbirlikçi oyun]]larda 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 oyunu|normal biçim oyunlarını]] çalışırken bir birleşim <math>C</math> biçimlendiğinde, bu durumun 2-oyunculu oyun oynuyorlarmışçasına bütünleyici birleşime (<math>N\setminus C</math>) karşı oynandığını varsayan [[John von Neumann|von Neumann]] ve [[Oskar Morgenstern|Morgenstern]]'in ufuk açan kitabındadır. <math>C</math>'nin denge bedeli ''karakteristik''tir. 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) <math>(N,v)</math> çifti olarak verilir ki <math>N</math> burada bir küme oyuncuyu ve <math>v:2^N\longrightarrow\mathbb{R}</math> de bir karakteristik fonksiyonu betimler.

Karakteristik fonksiyon biçimi [[devredilebilir araç]] varsayımı olmayan oyunlara genelleştirilmiştir.

=== Bölme fonksiyon biçimi ===
Karakteristik fonksiyon biçimi, birleşimsel oluşumun [[Dışsallık|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 {{Harvard alıntı|Thrall|Lucas|1963}}.

== Uygulamalar ve meydan okuyuşlar ==
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.
{| class="wikitable"
! colspan="2" |Oyuncu
! colspan="2" |Puan
|-
!A
!B
!A
!B
|-
|Kırmızı
|Kırmızı
| +3
| +3
|-
|Kırmızı
|Mavi
| -3
| +4
|-
|Mavi
|Kırmızı
| +4
| -3
|-
|Mavi
|Mavi
| -4
| -4
|}
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.

== Tarihsel gelişim ==
* 1838, [[Augustin Cournot]], kuramın kökenini ortaya koydu. 
* 1928, [[John von Neumann]], [[Minmaks Kuramı]], 
* 1944, Neumann ve [[Oskar Morgenstern]], ''Oyunlar Kuramı ve İktisadi Davranış'', 
* 1950-1953, [[John Nash]], 1952 ilk ders kitabı, 
* 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.

== Matematiksel gösterim ==
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.

== Kaynakça ==
{{kaynakça}}
<!--altbilgi-->
{{Yapısal bilimler altbilgisi}}

<!--kategoriler-->
{{matematik-altdal}}
{{Otorite kontrolü}}

{{DEFAULTSORT:Oyun Kurami}}
[[Kategori:Oyun teorisi| ]]