Oyun oynamak için yapay zeka oluşturmak için neden bu kadar zaman ve para harcıyorsunuz?

John McCarthy ve onun Ortodoks Yapay Zeka vizyonunu okuyordum . Bana göre, AI'ların Satranç gibi oyunlar oynaması için kullanılan kaynaklar (zaman ve para gibi) lehine değildi. Bunun yerine, Turing Testini ve insan davranışlarını taklit eden AI'ları geçmeye odaklanmak istedi.

Ayrıca IBM, Google gibi büyük şirketler hakkında birçok makale okudum. Satranç, Go vb.

Bu ne ölçüde haklı?

Alexander Kronrod bir keresinde “Satranç yapay zekanın Drosophila'sı” dedi. John McCarthy bu ifadeye katılmıyor. Bence öncelikle farklı vizyonu var.
Bu oyunları oynamak için geliştirilen Teknikler ve Yenilikçi yöntemler, Bilgisayar Bilimi'nin (sadece Yapay Zeka'nın değil) geniş spektrumunda faydalı bulunmuştur.

Kitap Yapay Zeka: Modern Bir Yaklaşım kullanılan bir benzetme olarak Grand Prix motor yarışları yukarıdaki sorunu açıklamak için. Chess, Go, Othello gibi oyunlar Grand Prix motor yarışı otomobil endüstrisinde olduğu gibi AI. En son mühendislik ilerlemelerini içeren güçlü, son derece optimize edilmiş motorlar, normal yollarda sürüş, alışveriş vb. İçin iyi değildir. Bununla birlikte, daha geniş topluluk tarafından benimsenen heyecan ve istikrarlı yenilik akışı yaratır .

Chess, Othello, Go gibi oyunları oynamak için yazılan yapay zeka programları, boş hareket sezgisel tarama, boş zaman budama, kombinatoryal oyun teorisi, incelik ve sıkma, metareasoning ve çok daha fazlası gibi kavramları tanıttı . Makine öğrenimi ve derin öğrenmenin son derece gelişmiş algoritmaları çıktılarıdır.

NASA, ISRO, JAXA ve diğer uzay ajanslarının uzay görevlerine benzer şekilde görebilirsiniz. Tüm bu görevlerin vatandaşlara doğrudan bir faydası yok gibi görünüyor, ancak birçok dolaylı faydası var. Teknolojik yeniliklerin (GPS, 3D baskı, araba kazası teknolojisi, temiz enerji, LED), iş yaratma, vb.

AI Games sadece yazılımın değil donanımın da geliştirilmesine yardımcı oldu. Birçok yeniliğin yüksek düzeyde optimize edilmiş ve güçlü donanım ürettiği görülmüştür.

Oyun Oynama AR&GE neden Kaynak Tahsisinin Odak Noktasıdır?

Araştırmacılar, insan problem çözme yeteneklerinin bölümlerini taklit etmeye çalışırken, oyun oynama ile görünen takıntıyı incelerken, John McCarthy'nin (1927 - 2011) görüşlerinin ortodoksu yanıltıcı olabilir.

Yayın editoryal önyargısı ve popüler bilim kurgu temaları, kazanan tahta oyun yazılımı geliştirme ile saplantı ortaya çıkmasına neden olan birincil güçleri gizleyebilir. İstihbarat araştırma ve geliştirmenin birçok alanında fonların ve insan kaynaklarının tahsisini incelerken, bu sosyal ağdaki sorulara verilen cevapların tipik çarpıklıklarını önlemek için bazı tarihsel arka plan gereklidir.

Tarihsel arka plan

Bilimsel ve teknolojik tarih de dahil olmak üzere tarihi analiz ederken kendimizi kendi zamanımızın dışına ve diğer dönemlerin zihniyetine yerleştirme yeteneği yararlıdır.

McCarthy'nin vizyonunun zamanında ortodoks olmadığını düşünün. Batı sanayileşmesini takip eden zamanlarda bilim adamları ve matematikçiler arasında otomasyon düşüncesinde ortaya çıkan bir dizi yeni trend nedeniyle hızla ortodoks oldu. Bu düşünce, baskı, tekstil, tarım ve ulaştırma endüstrilerinin ve savaşın mekanizasyonunun doğal bir uzantısıydı.

Yirminci yüzyılın ortalarında, bu eğilimlerin bazıları dijital bilgisayarı kavramsallaştırmak için bir araya geldi. Diğerleri, dijital sistemler yoluyla zekanın yönlerini araştıran insanlar topluluğu içinde ortodoks oldu. Teknik zemin, bazıları o zamandan beri bir dereceye kadar kamu şöhretine ulaşmış olan teorik çalışmaları ve elektro-mekanik çalışmaları içeriyordu. Ancak o zamanlar ulusal güvenlik çıkarlarının bir parçası olarak görülmesi genellikle gizli ya da çok soyuttu (ve dolayısıyla belirsizdi).

• Sibernetik teorisi, büyük ölçüde Norbert Wiener tarafından geliştirilmiştir (1894 - 1964)
• Aritmetiğin otomatikleştirilmesi (George Boole teorisini ve Blaise Pascal'ın hesap makinesini genişletme) üzerinde yapılan çalışmalar, ABD ordusundan gelen birincil fon, uçak düşmanlarının muhtemel yörüngelerini hesaplayarak ve olası bir ilginç koordinat oluşturmak için küresel koordinatları belirleyerek bir çıkar balistik yörünge
• Çoğu zaman Alonso Kilisesi'nin (1903 - 1995) lambda hesabı üzerindeki çalışmaları reddedildi.
• Bilgi teorisinin doğuşu, öncelikle Claude Shannon'ın (1916 - 2001) çalışmasıyla, Bell Labs aracılığıyla iletişim anahtarlamasını otomatikleştirmek amacıyla finanse edildi
• Kilise doktora öğrencisi Alan Turing'in ilk kriptanaliz çalışması, Müttefik Kuvvetler tarafından Enigma şifreleme cihazını yenmek için Ar-Ge hedefi ile finanse edildi, böylece Nazi kuvvetleri Londra'nın ve diğer Müttefiklerin tamamen imha edilmesinden önce durdurulabildi.
• John von Neumann (1903 - 1957) üzerinde rasgele Boole mantığının tam sayı aritmetiği ile birlikte tek bir ünitede (şu anda CPU olarak adlandırılır) uygulanmasının merkezileştirilmesi ve uygulamayı kontrol eden programı verilerle birlikte elektronik olarak saklamak için yapılan çalışma işlenecek ve sonuçlar (bugün neredeyse tüm çağdaş bilişim cihazları tarafından kullanılan aynı genel mimari)

Bunların hepsi, memeli nörolojisinin fonksiyonel yönlerinin simülasyonu olan otomata vizyonunu çevreleyen kavramlardı. (Bir maymun ya da fil bir sinek sineklemesini başarılı bir şekilde planlayabilir ve yürütebilir, ancak bir sinek bir maymun ya da filin saldırısını planlamaktan ve yürütmekten acizdir.)

Yeni bir programlama dili olan LISP kullanarak sembolik manipülasyon yoluyla istihbarat deneyi ve simülasyonu, John McCarthy'nin ve MIT AI Laboratuarı'nın oluşturulmasındaki rolünün birincil odak noktasıydı. Ancak, kural tabanlı (üretim sistemleri), sinir ağları ve genetik algoritmalarla var olan her ne olursa olsun, ortodoksiyi biraz belirsiz yapan bir fikir bulutuna dönüşmüştür. Birkaç örnek aşağıdadır.

• Richard Stallman MIT AI Lab'den istifa etti ve o döneme hakim olan birçok ekonomik felsefeden uzaklaşarak felsefi bir değişim başlattı. Sonuç, GNU yazılımı ve LINUX, ardından açık donanım ve yaratıcı müştereklerdi, AI yataklarını finanse edenlerin felsefi yönelimlerine büyük ölçüde karşı çıkan kavramlar.
• Birçok tescilli (ve dolayısıyla şirket gizli) sistem, Norbert Wiener'in çalışmalarından 1970'lerde ana yapay AI araştırması olarak kabul edilen her şeyden daha çok Bayes yöntemleri veya uyarlanabilir bileşenler kullanır.

Oyun Teorisinin Doğuşu

Tarihsel olayların bu geçit töreninde soruyu en doğrudan cevaplayan anahtar olay, von Neumann'ın başka bir çalışmasıdır. Oskar Morgenstern ile ortaklaşa yazılan Oyun Teorisi kitabı, belki de Go ve Chess'in problem çözme yazılımı için test senaryoları olarak kalıcılığına yol açan tarihsel koşullar arasında en güçlü faktördür.

Satranç ya da Go'da nasıl kazanılacağına dair daha önce yapılmış birçok çalışma olmasına rağmen, daha önce hiçbir zaman Oyun Teorisinde olduğu kadar matematiksel bir tedavi ve sunum yoktu.

Bilimsel topluluğun ayrıcalıklı üyeleri, kırılgan malzemenin sıcaklığını ve basıncını kritik kütleye yükseltmedeki başarısının ve kuantum teorisinden klasik termodinamiğin türetilmesindeki çalışmasının farkındaydı. Oyun Teorisinde sunduğu matematiğin temeli hızla (MIT'de araştırmayı finanse eden bazı kişiler tarafından) ekonomi için potansiyel bir tahmin aracı olarak kabul edildi. Ekonomiyi tahmin etmek, onu kontrol etmenin ilk adımı oldu.

Teori Jeopolitik Felsefe ile Buluşuyor

O dönemde batı politikasını sürükleyen egemen felsefe, başı ABD gücünün koltuğunda olacak olan Yeni Dünya Düzeni'nin kaderci görüşü olan Manifest Destiny idi. Sınıflandırılmamış belgeler, o zamandaki liderlerin, oyun teorisinin uygulanması yoluyla elde edilen ekonomik hakimiyeti, askeri fetihten çok daha az riskli ve pahalı olarak gördüklerini ve ardından yurtdışındaki her nüfuslu bölgenin yakınında operasyon üslerinin (yüksek teknoloji garnizonları) sürdürüldüğünü göstermektedir. .

Chess ve Go otomatlarını geliştirmek için son derece halka açık zorluklar, şirketlerin ve hükümetlerin personel varlıklarının edinilmesinde ilk kez kullandıkları drajelerdir. Oyun sonuçları özgeçmiş gibidir. Kazanan bir oyun oynama programı, milyarlarca dolar hareket eden veya savaş kazanan daha önemli oyunların geliştirilmesinde başarılı olabilecek programlama becerisinin varlığının bir kanıtıdır.

Kazanan Satranç veya Go kodu yazabilenler yüksek değerli varlıklar olarak kabul edilir. Oyun oynama araştırmalarını finanse etmek, bu varlıkları tanımlamanın bir yolu olarak görülmüştür. Yatırımın hemen geri dönüşü olmadığında bile, bu varlıkların tanımlanması, çünkü dünyanın egemenliğini planlamak için düşünce kuruluşlarında saklanabildikleri için, araştırma fonları tahsis edildiğinde birincil husus haline gelmiştir.

Yatırım Getirisinin Yavaş ve Hızlı Yolları

Bu jeopolitik düşüncenin aksine, kurnaz bir programcı veya ekibin arkasında kurumsal prestij aramak başka bir faktördür. Bu senaryoda, bazı önemli endüstrilerde veya askeri uygulamalarda geometrik gelişme potansiyeli olan zekayı simüle etme konusunda herhangi bir ilerleme sağlanmıştır.

Örneğin, Maxima (Mathematica gibi matematiksel problem çözme uygulamalarının öncüsü) gibi programlar sembolik hesaplama kullanarak matematik geliştirme umuduyla finanse edildi.

Başarıya giden bu yol kavramsal olarak kapsayıcı bir doğal felsefe olarak determinizme dayanıyordu. Aslında, determinizmin özüdür. Bir bilgisayar sadece aritmetik yapmakla kalmaz, aynı zamanda süper insan karmaşıklığının matematiksel teoremlerini geliştirirse, insan çabalarının modellerinin denklemlere indirgenebileceği ve çözülebileceği öne sürülmüştür. Çok çeşitli önemli ekonomik, askeri ve politik fenomenler için öngörülebilirlik, karar almada kullanılabilir ve bu da önemli kazançlar sağlar.

Pek çoğuna sürpriz olarak, Maxima'nın ve diğer matematik programlarının başarısı, ekonomik ve jeopolitik olayları güvenilir bir şekilde tahmin etme yeteneği üzerindeki olumlu etkisiyle çok sınırlıydı. Kaos Teorisinin ortaya çıkışı nedenini açıkladı.

Bir insan ustasını bir programla yenmek, yirminci yüzyılın Ar-Ge'sinin ulaştığı bir yer haline geldi. Bir oyunu kazanmaya yönelik çeşitli bilgisayar bilimleri yaklaşımlarını denemek için yazılımın kullanılması, kazanan bir basketbol takımı gibi prestij kazanmanın bir yolu olarak kurumlar için daha cazipti.

Keşfi Unutmayalım

Bazen görünümler gerçekliğe doğrudan karşıdır. Düşünme makinelerinin yukarıda bahsedilen çeşitli uygulamaları unutulmamıştır ve memeli yeteneklerinin yönlerini simüle etmek için gereken zaman ve para gideri, masa oyunu otomasyon gelişimine fon sağlamamaktadır.

Teknoloji büyük ölçüde Satranç ve Go gibi oyunların karmaşıklığını aşan iletişim, askeri, jeopolitik, ekonomik ve finansal sorunları çözmekle meşgul. Oyun teorisi, oyuncu olmayanlar tarafından başlangıcına kadar yapılan rastgele hareket unsurlarını içerir. Bu nedenle, Chess ve Go ile olan takıntı sadece istihbarat simülasyonunun birçok alanında fonlama ve faaliyetin gerçek odağının bir imzasıdır.

Ortalama bir Satranç veya Go oyunu oynayabilen yazılımlar ne NSA küresel modelleme bilgisayarlarına ne de Google'ın indeksleme makinelerine dağıtılmaz. Büyük dolar, IS'nin bu yerlere konuşlandırdığı şeyleri geliştirmek için harcanıyor.

Kişisel olarak zorlayıcı nedenlerden ötürü şirketlerinin gizli anlaşmalarını ihlal eden veya ihanet eden kişiler hariç, çevrimiçi olarak açıklanan Ar-Ge hakkında hiçbir ayrıntı görmeyecek ve hatta genel bir bakış göremeyeceksiniz.

İlk teyit edilen algoritmik zekanın bir NIM otomata olabileceğinden ifadeyi rahatsız edici buluyorum , bu yüzden benim açımdan, Algoritmik Zekanın gelişimi kombinatoryal oyunlardan ayrılmaz. McCarthy'nin oyunların yararlı olduğu görüşüne sahip olmadığı da görülüyor, bu da beni oyun tarihini asla ciddi bir şekilde incelemediğinden şüpheleniyor.

Matematik ve bilişimde uygulamalı bir alan olan Kombinatoryal Oyun Teorisi , NIM oyununun matematiksel bir analizi olan Sprague-Grundy Teoreminden sonraki on yıllarda resmileştirildi . Daha yakın zamanlarda, protein katlama oyunu Foldit , uygulanan bir alanda gerçek sonuçlar üretti.

• Genelde verdiğim cevap, Chess ve Go gibi oyunların son derece basit parametreler kullanarak doğaya benzer bir karmaşıklık sağlamasıdır. (Temelde, Sudoku gibi kombinatoryal oyunlar ve bulmacalar karmaşıklık motorlarıdır.)

Ancak oyunlar, solo çabalar olan bulmacalardan farklı olarak, oldukça yararlı olan bir tür stratejik karar almayı gerektirir. (Cevapları çoğunu listeler.)

• Özellikle kombinatoryal oyunlar, algoritmaların zor problemleri yönetme yeteneği için yararlı bir kıyaslama sağlar.

Bir PR faktörü de vardır . Algoritmik dil çevirisi son yıllarda çok iyi oldu, ancak basının bu konuda önemli bir şey yaptığını asla duymuyorsunuz. DeepBlue ile Kasparov veya AlphaGo vs. Sedol ile karşılaştırın. (Bu yığın, AlphaGo sonucundan sonra ML sorularıyla patladı.) Bu, kesinlikle gerekli olmasa da, nesillere tomurcuklanan bilim insanlarına ilham veren harika mühendislik başarısı olan ABD ay inişlerine benziyor.

Postscript: Yakın zamana kadar "güçlü" teriminin, hâlâ oldukça teorik olan Yapay Genel Zeka'ya ayrılması dikkat çekicidir. AlphaGo'dan sonra akademisyenlerin "Güçlü Dar AI" terimini kullandıklarını görmeye başlıyorum.

Yapay Genel Zeka ile ilgili olarak güçlü kullanımı tamamen felsefi bir yaklaşımdır. Buna karşılık, terimin Kombinatoryal Oyun Teorisinde ( Çözülmüş Oyun'a bakınız ) kullanım şekli tamamen pratiktir ve matematiksel kanıtları içerir.

Satranç çözülmeden kalır ve bu nedenle çalışma için hala yararlıdır. [Aşağıdaki GiraffeChess'e bakın.]

Oyun Teorisi ve Kombinatoryal Oyun Teorisi alanları arasında Von Neumann , Nash ve Conway gibi isimler ve son zamanlarda MIT'de Demain yer alıyor. Eğer Sudoku gibi kombinasyon bulmaca dahil etmek istiyorsanız, biz bunu geri uzatabilirsiniz Euler . Bu nedenlerden ve yukarıda listelenenlerden dolayı, oyunların analizini önemsiz bir arayış olarak görmekte zorlanıyorum.

Zürafa Ches s, 72 saat içinde uluslararası bir usta düzeyinde oynamayı öğreten bir satranç algoritması oluşturmak için Sinir Ağı yaklaşımını kullanan bireysel bir matematikçi / programcı Matthew Lai tarafından kısa bir süre önce sonuçlandı.

Lai'nin hedeflerinden biri daha "insan benzeri oyun" üreten bir algoritma yaratmaktı. (AlphaGo gibi algoritmaların "insanlık dışı" oyunuyla karşılaştırın.) Zürafa AGI değil, ama kesinlikle bulmacanın bir parçası olarak alınabilir.

Bilgisayar oyunları tartışmasız insanlar ve otomatlar tarafından paylaşılan en derin etkileşim türüdür ve bu tür etkileşim neredeyse modern bilişimin başlangıcına kadar uzanır.

Turing testi çok öznel ve bence zaman kaybı. Milyonlarca kişinin botlarla gönderilen e-postalara yanıt verdiğinden veya çevrimiçi olarak sadece bir programa yanıt verdiklerine dair hiçbir fikri olmayan sohbet botlarıyla sohbet ettiğinden eminim.