Karar Teorisyeni AI'yi Kurdu: Herbert Simon'un Noel Düşünme Makinesi Her Şeyi Nasıl Değiştirdi

Ocak 1956. Carnegie Teknoloji Enstitüsü. 39 yaşında bir profesör — eğitimli bir siyaset bilimci, ekonomistler arasında kimsenin hiçbir şeyi optimize etmediğini savunarak zaten ünlü — matematiksel modelleme dersine, gerçeği olamayacak bir cümleyle başlar: Noel'de, Al Newell ve ben bir düşünme makinesi icat ettik.

Makine neredeyse bir makine olarak var olmuyordu. Tatil arası boyunca, Simon, Allen Newell ve programcı Cliff Shaw, Logic Theorist'ı geliştirmişti — ve bu program bir bilgisayarda çalışmadan önce, onu elle simüle ettiler: programın alt rutinleri 3×5 indeks kartlarına yazılmış, Simon'ın ailesine ve öğrencilerine dağıtılmış, her insan bir bileşenin kurallarını uyguluyordu. Düşünen bir makine, önce insanlarda çalıştı. O yaz, donanım üzerinde çalışmaya başladı ve Dartmouth atölyesinde sunuldu — yapay zekaya ismini veren toplantı.

Hikaye genellikle bilgisayar tarihi altında dosyalanır. Aynı zamanda karar bilimine de aittir — çünkü Logic Theorist daha hızlı bir hesap makinesi değildi. Bu, Simon'un sınırlı rasyonellik teorisinin koda uygulanmasıydı: eğer insan zekası, kapsamlı hesaplamalar yerine kestirmeler ve seçici arama yoluyla çalışıyorsa, o zaman kestirmeler ve seçici arama kullanan bir makine de zeki olabilir. Simon'un yapay zeka alanında inşa ettiği her şey bu tek hamleden türetilmiştir.

Olmaması Gereken Özgeçmiş

Herbert Alexander Simon (1916–2001), siyaset bilimi alanında doktora yaptı (Chicago, 1943), organizasyonların nasıl karar verdiği üzerine İdari Davranış (1947) adlı eseri yazdı ve Carnegie Mellon'da ekonomi, psikoloji, bilgisayar bilimi ve bilim felsefesi alanlarında beş on yıl geçirdi. Ödüller, kapsamı gösteriyor: yapay zeka ve insan bilişinin psikolojisine temel katkılardan dolayı Allen Newell ile birlikte verilen 1975 ACM Turing Ödülü; ekonomik organizasyonlardaki karar verme üzerine öncü araştırmalar için verilen 1978 Nobel Anma Ödülü; 1986 ABD Ulusal Bilim Madalyası. Hem Turing hem de Nobel ödülünü alan nadir kişilerden biri olmaya devam ediyor — bunun tek bir araştırma programı olduğunu ısrarla savunuyordu.

O program: zekayı, insanların, organizasyonların ve makinelerin gerçek bilgi, hesaplama ve zaman sınırlamaları altında nasıl çalıştığı gibi anlamak. teori yarısı mükemmel rasyonel ekonomik insanı emekli etti. Mühendislik yarısı ise bariz bir sonraki soruyu sordu: eğer zeka sınırlı bir arama ise, bunu inşa edebilir miyiz?

Mantık Teorisyeni: Kestirme ile Kanıt

Logic Teorisyeni, Whitehead ve Russell'ın Principia Mathematica adlı teoremlerine saldırdı — erken yüzyılın biçimsel mantık anıtı — ve ikinci bölümde ilk 52'den 38'ini kanıtladı. Yöntem mesajdı: her türetmeyi (dönemin donanımının dayanamayacağı kaba güç) ezmek yerine, umut verici yolları seçmek için sezgisel yöntemler kullandı, hedeflerden geriye doğru çalıştı ve en iyi kanıt yerine geçerli bir kanıt elde ettiğinde durdu. Sezgisel arama ve tatmin edici sonuçlar — Simon'un karar bilimi, makine hızında çalışıyor.

Teorem 2.85 için, orijinalinden daha şık bir kanıt bulundu. O sırada seksenli yaşlarında olan Bertrand Russell, Simon bununla ilgili ona yazdığında sevinçle yanıt verdi. Sembolik Mantık Dergisi ise daha zor ikna oldu: bir temel teoremin yeni bir kanıtını yayınlamayı reddetti ve bunu yayınlamaya değer bulmadı — görünüşe göre yazarlarından birinin bir bilgisayar programı olduğunu kaydetmeden.

Genel Problem Çözücü: Konu Olmadan Strateji

Mirasçı program, İdari Davranışın yazarından bekleyeceğiniz tam anlamıyla daha iddialıydı. Genel Problem Çözücü — ilk versiyonu 1957'de çalıştı, rapor 1959'da Newell, Shaw ve Simon tarafından yayımlandı — amaç-araç analizini tanıttı: mevcut durum ile hedef durum arasındaki farkı ölç, bu farkı azaltan bir operatör bul, uygula, tekrarla. Açık kapatmaya dayalı navigasyon.

GPS'nin gerçek yeniliği mimariydi: problem çözme stratejisini problemin içeriğinden ayırdı. Aynı motor, durumlar ve operatörler hakkında bir tanım verildiğinde bulmacaları, kanıtları veya planları ele alabiliyordu. Bu ayrım — genel yöntem, takılabilir alan — yapay zekanın kurucu tasarım ilkelerinden biri haline geldi ve araç-hedef analizi modern planlama sistemleri içinde hala tanınabilir.

Büyük İddia: Semboller ve Arama

1976 Turing Ödülü konuşmalarında, Bilgisayar Bilimi olarak Ampirik Soruşturma, Newell ve Simon, alandaki iki on yılın çalışmalarını en ünlü hipoteze damıttılar: bir fiziksel sembol sistemi, genel zeki eylem için gerekli ve yeterli araçlara sahiptir. Zihinler sembolleri manipüle eder; bilgisayarlar sembolleri manipüle eder; bu nedenle, uygun şekilde programlandıklarında, bilgisayarlar zeki bir şekilde hareket edebilir — ve sembol manipülasyonunun ötesinde hiçbir şey gereklidir. Bu, artık sembolik AI veya GOFAI olarak adlandırılan şeyin tüzüğü haline geldi.

Ayrıca üzerinde tarihler bulunan tahminler yaptılar ve tarihler yanlıştı. 1958 tarihli Operations Research makalelerinde, Simon ve Newell, on yıl içinde bir dijital bilgisayarın dünyanın satranç şampiyonu olacağını, kuralların rekabetten men etmediği sürece öngördüler. Dünya şampiyonu 1997'de bir bilgisayara yenildi — tahminden 39 yıl sonra, on yıl değil. Bu yanlışlığın ne tür bir yanlış olduğunu belirtmekte fayda var: mekanizma (hiçbir makinenin tükenemeyeceği bir alanda sezgisel arama) tam olarak doğruydu; zaman çizelgesi bir nesil kadar yanlıştı. Her iki gerçek de kayıtlara geçmelidir.

Derin Öğrenme Simon'u Yanılttı mı?

İşte 2026 okuyucusunun geldiği itiraz: modern yapay zeka sembolik değildir. Sinir ağları verilerden kalıplar öğrenir; kimse sezgileri elle yazmaz; ve Richard Sutton'ın etkili 2019 makalesi The Bitter Lesson, Simon'ın tüm yaklaşımına karşı bir hüküm gibi okunuyor — hesaplama ile ölçeklenebilen genel yöntemlerin, insan yapımı alan bilgisine dayanan sistemleri yendiğini gösteren yetmiş yıllık yapay zeka tarihi.

İtiraz kısmen kabul ediliyor. Güçlü sembolik iddia hayatta kalmadı: yeterli, anlaşıldığı üzere, semboller yoktu ve 1970'ler ve 80'lerin el yapımı bilgi programları Sutton'un tarif ettiği gibi duraklama dönemine girdi. Simon'un dürüst bir anlatımı bunu açıkça söylüyor. Ama The Bitter Lesson'ın kendi sonucunu okuyun: ölçeklenebilen iki yöntem ailesi arama ve öğrenme. Heuristik arama, Simon ve Newell'in alana katkısıdır, günümüzde oyun ağaçları aramasından mevcut AI sistemlerinin kasıtlı akıl yürütme döngülerine kadar canlıdır. Ve derin ağların yaptığı şey — büyük deneyimlerden biriken kalıpları tanımak — Simon'un uzmanlık tanımına tuhaf bir şekilde yakındır. Kurucuları Andrew Barto ve Richard Sutton 2024 Turing Ödülü'nü (Mart 2025'te açıklandı) aldıkları pekiştirmeli öğrenme, hesaplama sınırları altında seçici deneme-yanılma aramasıdır — Simon'un akraba olarak tanıyacağı bir araştırma programıdır.

Yani, puan kartı bölünmüş durumda ve bu bölünme öğretici: üzerine bahis oynadığı mimari kaybetti; altındaki zeka teorisi kazandı. Makineler, kapsamlı hesaplamalar yaparak zeki hale gelmediler. Sınırlı, sezgisel, tanıma odaklı arama ile zeki hale geldiler — bu, Simon'ın kariyerini üzerine inşa ettiği iddiadır. Son çalışmalar, diğer taraftan döngüyü kapatıyor: 2025 çalışmaları, büyük dil modellerinin kendilerinin sınırlı rasyonellik sergilediğini, insan benzeri şekillerde oyun teorisi optimalitesinden saptığını buluyor; tatmin sağlama ise model uyumuna, hedef seviye kısıtlamaları olarak mühendislik ile entegre edilmiştir.

Simon'un Modern Yapay Zeka Üzerindeki Parmak İzi

Zaman Çizelgesi: Bir Polimatın Hayatı

Simon'dan AI On Yılına Ne Alınmalı

Sınırlı makinelerle inşa eden veya karar veren herkes için dört çalışma prensibi:

Argumentree'nin Uygun Olduğu Yer

Simon, insan ve makine zekasını tek bir konu olarak ele aldı: kısıtlamalar altında arama yapan sınırlı ajanlar. Argumentree aynı premis üzerine inşa edilmiştir. İnsan argümanları ve yapay zeka tarafından çıkarılan argümanlar, akıl yürütmenin görünür olduğu, derecelendirmelerin sınırlı dikkati en güçlü noktalara yönlendirdiği ve kaydın organizasyonel hafıza olarak sürdüğü tek bir incelenebilir yapı — ağaç — içinde bir araya gelir.

Denetim altında tutulması gereken AI kullanımına sahip ekipler için, kardeş ürün AIAgentree, makine akıl yürütmesine aynı fikri genişletir — bir AI sisteminin sonucuna nasıl ulaştığını, Simon'un görmek isteyeceği yapıda izleyerek.

Uzun Bahis

Simon'ın satranç saati dört kez çalıştı, sembolik mimari yerini kaybetti ve birlikte kurduğu alan artık onun inşa etmediği yöntemlerle işliyor. Kehanet olarak değerlendirildiğinde, karışık bir kayıt. Bilim olarak değerlendirildiğinde, daha nadir bir şey: temel iddia — zekanın, nerede olursa olsun, tanıma tarafından yönlendirilen sınırlı bir arama olduğu — onu test etmek için kullanılan her mimariyi, kendi mimarisi de dahil, geride bıraktı.

Bu yüzden sınıf cümlesi yetmiş yıl sonra hala geçerli. O bir alet tanıtmıyordu. Düşünmenin bir mühendislik konusu haline geldiğini duyuruyordu — zihinler için, organizasyonlar için ve şimdi de makineler için.