Allen Newell: Yapay Zekânın Bilişsel Mimarı

1956 — yapay zekânın ilk programı

1956 yazında, Dartmouth Konferansı'nın hemen öncesinde, Carnegie Mellon'da iki adam çalışıyordu: Allen Newell ve Herbert Simon. RAND Corporation programcısı Cliff Shaw ile birlikte yazdıkları program: Logic Theorist.

Bu program, Russell ve Whitehead'in Principia Mathematica'sındaki temel teoremleri kanıtladı. 52 teoremin 38'ini otonom buldu. Bir tanesi için Russell'ın orijinalinden daha sade bir ispat üretti.

Russell'a mektup yazdılar. Cevap: "Hayatımın boyunca uğraştığım o şeyleri bir makine yapıyor; keşke 50 yıl önce bunu yapsaydık."

Bu, "yapay zeka" terimi icat edilmeden 5 ay önceydi. Logic Theorist dünyanın ilk gerçek AI programı sayılır.

San Francisco → Princeton → Carnegie Mellon

1927 doğumlu, San Francisco'da büyüdü. Stanford'da fizik (1949), Princeton'da matematik doktorası başlayıp bitiremedi. 1950'lerin başında RAND Corporation'a katıldı — Soğuk Savaş döneminin önde gelen düşünce kuruluşu.

RAND'da Herbert Simon ile tanıştı. İkilinin işbirliği 35 yıl sürdü, AI'ın temel taşlarının çoğunu birlikte koydular. 1961'de doktorasını Carnegie Mellon'da tamamladı (Simon'un denetiminde), kalıcı olarak profesör oldu.

GPS — General Problem Solver (1957)

Logic Theorist'in ardından General Problem Solver (GPS) geldi. Hedef: alana özgü olmayan, genel bir problem çözücü algoritma.

Temel fikir: araç-amaç analizi. Şu anki durum ile hedef durum arasındaki farkları listele; her fark için onu kapatacak bir operatör seç; bunu özyinelemeli uygula.

GPS satranç değil ama integral hesabı problemleri, kule problemleri (Hanoi), kapsayıcı sözcük bulmacaları gibi çok farklı görevlerde çalıştı. Sembolik AI'ın temel paradigmasını kurdu: bilgi + arama.

"Fiziksel sembol sistemi" hipotezi (1976)

Newell ve Simon, ACM Turing Ödülü'nü aldıkları konuşmada şu hipotezi ortaya attı:

"Akıllı eylem için fiziksel sembol sistemi hem yeterli hem gereklidir."

Yani: zekânın özünü oluşturan, sembollerin kurallarla manipülasyonudur. Beyin de bunu yapar, bilgisayar da yapabilir.

Bu tez, klasik (sembolik) AI'ın felsefi sloganıydı. Brooks (1990) ve sonra konneksyonistler (Hinton, LeCun) bu teze karşı çıktı: "Akıl semboller değil, örüntüler ve istatistikdir." Modern derin öğrenme bu ikincil tarafın zaferi sayılır.

Ama hipotez tarihsel olarak haksız değil — modern LLM'ler aslında semboller (token'lar) üzerinde çalışır, sadece kurallar deterministik değil olasılıksal. Bir anlamda Newell-Simon hipotezi yumuşatılmış formda hâlâ geçerli.

Soar — bilişsel mimari (1983)

Newell'in hayat eseri Soar'dır. Unified Theories of Cognition (1990) kitabında detaylandırılmış bilişsel mimari. Hedef: insan zihninin bütün mimarisi — algı, hafıza, öğrenme, karar verme, akıl yürütme — tek bir sistemde.

Soar'ın anahtar bileşenleri:

1. Üretim kuralları (production rules): "Eğer X koşulu, o zaman Y eylemi."
2. Çalışma hafızası (working memory): Şu anki durumu tutan kısa süreli bellek.
3. Tıkanıklıkla öğrenme (chunking): Bir problemde başarısız olduğunda, çözüm bulunduğunda yeni kural otomatik öğrenilir.
4. Hedef hiyerarşisi: Üst hedeflerden alt hedeflere yönelimli problem çözme.

Soar'ın bugüne miras taşı: insan benzeri bilişsel modelleme. Robot kontrolü, uzman sistem, eğitim simülasyonlarında kullanıldı. Derin öğrenme öncesi AI'ın "bütünleşik teori" denemesinin en olgun örneği.

Akademik soyağacı

Newell'in CMU'daki öğrencileri AI'ın bir kuşağını şekillendirdi:

• Edward Feigenbaum: Uzman sistemlerin babası (DENDRAL).
• Hans Berliner: Bilgisayar satrancı, BKG dama programı.
• John McDermott: XCON, ilk büyük ticari uzman sistem.
• Paul Rosenbloom: Soar'ın ortak yazarı.
• Marvin Minsky (yakın işbirlikçisi): MIT AI Lab.

CMU'nun "AI'ın doğum yeri" olarak şöhretinin temelinde Newell vardır.

Erken ölüm — 1992

1992'de 65 yaşında kanserden öldü. Son projesi tamamlanmamış bir kitap idi. Unified Theories of Cognition yayınlandığında 64 yaşındaydı; öleceğini biliyordu, kitabı bitirme çabası dokunaklı bir hikâye.

Carnegie Mellon'daki yıllık Allen Newell Award for Research Excellence, AI ve bilişsel bilim alanında en saygın ödüllerden biridir.

Sade ders

Newell hikâyesinden iki şey:

1. Bilim insanı uzun vadeli vizyon kurar. Soar 30 yıllık bir programdı. Modern AI 3-5 yıllık trendlere odaklanıyor; ancak Soar gibi büyük bütünleşik teoriler kendi başına yeni bir aşamayı tetikleyebilir.
2. Sembolik AI ölmedi, yumuşatıldı. Modern LLM'ler aslında Newell-Simon hipotezinin olasılıksal versiyonu. Soar benzeri bilişsel mimari arayışı 2023'te DeepMind, Anthropic ve Google Brain araştırma haritasında geri döndü.

Bağlam

Sembolik AI için: [[lisp-yapay-zeka-nin-dili-john-mccarthy]], [[uzman-sistemler-mycin-dendral]]. Modern AI kıyası için: [[transformer-attention-is-all-you-need]], [[geoffrey-hinton-derin-ogrenmenin-baba-figuru]]. Bilişsel mimari için: [[bilissel-bilim-zihin-mimarilari]]. Newell'in eski meslektaşı için: [[herbert-simon-sinirli-akilcilik]] (eğer mevcutsa).