En teslimatımız Daha önce Siyaset Bilimi teorisyeni Simon ile Newell adlı bir fizikçi ve Shaw adlı aktüerden programcılığa geçmiş bir programcı ile birlikte Logical Theorist olarak bilinen ilk yapay zeka programının yapımına nasıl başladıklarını anlatmıştık. Bu buluşu gerektiriyordu Yapay Zeka için ilk özel programlama dili
İnsanlar ve el yazısıyla yazılmış kartlar kullanarak programın farklı bölümlerinin davranışını simüle eden bu hikayeyi işbirlikçiler ve aile ile birlikte üçlüye bırakmıştık.
Bunun gibi birkaç simülasyondan sonra program gerçek bir bilgisayarda uygulandı. Test şu şekilde başarılı oldu: yazılım, Russell ve Whitehead tarafından yazılan Principia Matemática kitabının bölümlerinden birinin otuz sekiz teoremini kanıtlamayı başardı.. Vakalardan birinde bile (ve bunu yapmak için özel talimatlara sahip olmadan), onu kitabın yazarlarından çok daha "zarif" olarak test etmenin bir yolunu buldu.
Yapay Zeka için ilk programlama dili
Simon ve ekibinin programlarını yazmasının bu kadar uzun sürmesinin nedeni, amaçları için yeterli güce ve esnekliğe sahip özel bir programlama diline ihtiyaçları vardı. Bu dile IPL (Bilgi İşleme Dili) adı verildi ve ilk olarak programlama için liste işleme tekniğini tanıttı.
IPL, zamanın yüksek seviyeli dillerinden bu konuda farklıydı. sembollerin önceden tanımlanmasını gerektirmiyordu ve sembol yapılarını ilişkilendirme ve değiştirme yeteneğine sahipti.
Sözde liste işleme tekniği şunlardan oluşur: her bilgi parçasını, bunlarla ilişkili bilgi parçalarının nasıl bulunacağına ilişkin talimatlarla birlikte depolamak. Göstergeleri değiştirerek yeni ilişkiler kurulabilir.
"Genel Problem Çözücü"
Bir sonraki yazılımlarını oluşturmak için Simon ve Newell farklı bir yaklaşım denemeye karar verdiler. O zamanlar, katılımcıları mantıksal sorunları nasıl çözdüklerini yüksek sesle açıklamaya davet eden bir psikolojik araştırma ortalıkta dolaşıyordu. İkili, bu formların yazılımları tarafından kullanılanlardan tamamen farklı olduğunu keşfetti ve bu nedenle soruşturmanın kendi versiyonunu yapmaya karar verdiler ve katılımcılar tarafından açıklanan yöntemlere dayalı yazılım oluşturmak. Program (Genel Problem Çözücü için GPS olarak bilinir), gerçekleştirmeleri istenen görevlerden bağımsız olarak bir bilgi organizasyonuna ve buluşsal yöntemlere dayalı olarak kodlanmıştır.
Bu yeni metodoloji "Means-to-Ends Analysis" adını aldı ve aşağıdakilerden oluşuyor: mevcut durumu ideal ile karşılaştırın ve aralarındaki farkı azaltan eylemlerde bulunun ve ardından fark sıfıra inene kadar yeniden değerlendirin. Bu metodoloji, programın problemin değişkenlerindeki değişikliklere tepki vermesini sağlar. Programcı, sorunu ve olası eylem biçimlerinin ve hangi koşullarda olduklarının belirtildiği sözde bir fark tablosunu belirtir.
GPS, bir problemi alt problemlere ayırmayı ve geri izleme yaklaşımını uygulamayı başardı. yani bir yol işe yaramazsa geri dönüp diğerini takip ederdi.
Faaliyet gösterdiği 11 yıl boyunca, GPS bulmacaları çözdü, sembolik entegrasyon gerçekleştirdi ve gizli kodları kırdı.
Simon ve Newell bununla eğlenirken, Robert K. Lindsay adlı bir öğrenci SAD SAM olarak bilinen bir program geliştirdi. Yumuşak "Juan Pepa'nın oğludur" ve "Juan Alberto'nun erkek kardeşidir" gibi cümlelerden bilgi çıkarabildi ve bir aile ağacı oluşturabildi.Alberto'nun aynı zamanda Pepa'nın da oğlu olduğunu öğrenmek (Bugünün dünyasının üvey aileleriyle nasıl başa çıkacağı hakkında hiçbir fikrim yok.
Elbette o dönemin bilgisayar endüstrisi devi IBM, Soğuk Savaş'ın ortalarında askeri uygulamalar için muazzam bir potansiyel ortaya koyan bir alan olan yapay zeka konusundaki araştırmaların dışında kalamadı ve bir sonraki yazıda biz alanındaki ilk katkılarından bahsedecek.