En naše dodávka Dříve jsme vyprávěli, jak Simon, teoretik politologie, spolu s fyzikem jménem Newell a pojistným matematikem, který se stal programátorem jménem Shaw, zahájili konstrukci prvního programu umělé inteligence známého jako Logický teoretik. To vyžadovalo vynález prvního specifického programovacího jazyka pro umělou inteligenci
Tento příběh jsme nechali s trojicí spolu se spolupracovníky a rodinou simulující chování různých částí programu pomocí lidí a ručně psaných karet.
Po několika podobných simulacích byl program implementován na reálném počítači. Test byl úspěšný jako softwaru se podařilo dokázat třicet osm teorémů jedné z kapitol knihy Principia Matemática od Russella a Whiteheada. Dokonce v jednom z případů (a aniž by k tomu měl konkrétní návod) našel způsob, jak to otestovat mnohem „elegantněji“ než autoři knihy.
První programovací jazyk pro umělou inteligenci
Skutečnost, že Simonovi a jeho týmu trvalo tak dlouho napsat svůj program, je proto potřebovali specifický programovací jazyk, který by měl pro jejich účely dostatek výkonu a flexibility. Tento jazyk se nazýval IPL (Information Processing Language) a poprvé představil techniku zpracování seznamu pro programování.
IPL se v tom lišil od tehdejších jazyků na vysoké úrovni nevyžadoval, aby byly symboly definovány předem, a měl schopnost asociovat a modifikovat struktury symbolů.
Technika tzv. listového zpracování se skládá z uložení každé informace spolu s pokyny, jak najít informace s nimi spojené. Změnou indikací lze budovat nové asociace.
"Obecné řešení problémů"
K vytvoření dalšího softwaru se Simon a Newell rozhodli vyzkoušet jiný přístup. V té době kolovalo psychologické vyšetřování, které účastníky vyzývalo, aby nahlas vysvětlili způsob, jakým řeší logické problémy. Dvojice zjistila, že tyto formuláře jsou zcela odlišné od těch, které používá jejich software, a tak se rozhodli provést vlastní verzi vyšetřování a vytvořit software založený na metodách popsaných účastníky. Program (známý jako GPS pro General Problem Solver) byl kódován na základě organizace informací a heuristiky nezávisle na úkolech, které byly požadovány.
Tato nová metodika dostala název „Means-to-Ends Analysis“ a skládá se z porovnejte současnou situaci s ideálem a proveďte opatření, která sníží rozdíl mezi nimi, a poté přehodnoťte, dokud se rozdíl nesníží na nulu. Tato metodika umožňuje programu reagovat na změny proměnných problému. Programátor označí problém a tzv. rozdílovou tabulku, ve které jsou naznačeny možné postupy a za jakých okolností.
GPS dokázala rozdělit problém na dílčí problémy a použít přístup zpětného sledování, to znamená, že kdyby jedna cesta nefungovala, vrátil by se a následoval jinou.
Během 11 let provozu GPS řešil hádanky, prováděl symbolickou integraci a prolomil tajné kódy.
Zatímco se tím Simon a Newell bavili, student jménem Robert K. Lindsay vyvinul program známý jako SAD SAM. měkký dokázal vytáhnout informace z vět typu „Juan je Pepův syn“ a „Juan je Albertův bratr“ a sestavit rodokmenvychovávat, že Alberto je také Pepův syn (netuším, jak by to zvládal s nevlastními rodinami dnešního světa.
Tehdejší gigant počítačového průmyslu, IBM, samozřejmě nemohl zůstat stranou výzkumu umělé inteligence, oboru, který již uprostřed studené války odhaloval obrovský potenciál pro vojenské aplikace a v příštím článku bude hovořit o svých prvních příspěvcích v oboru.