En naša dostava Prethodno smo rekli kako su Simon, teoretičar političkih znanosti, zajedno s fizičarom po imenu Newell i aktuarom koji je postao programer po imenu Shaw, započeli izgradnju prvog programa umjetne inteligencije poznatog kao Logical Theorist. To je zahtijevalo izum prvog specifičnog programskog jezika za umjetnu inteligenciju
Ovu smo priču ostavili s trojcem zajedno sa suradnicima i obitelji koji su simulirali ponašanje različitih dijelova programa pomoću ljudi i rukom pisanih kartica.
Nakon nekoliko ovakvih simulacija, program je implementiran na stvarno računalo. Test je bio uspješan kao softver je uspio dokazati trideset osam teorema jednog od poglavlja knjige Principia Matemática Russella i Whiteheada. Čak je u jednom od slučajeva (i bez posebnih uputa za to) pronašao način da ga testira puno "elegantniji" od autora knjige.
Prvi programski jezik za umjetnu inteligenciju
Činjenica da je Simonu i njegovom timu trebalo toliko vremena da napišu svoj program je zato što trebao im je specifičan programski jezik koji je imao dovoljno snage i fleksibilnosti za njihove potrebe. Taj jezik je nazvan IPL (Information Processing Language) i prvi je uveo tehniku obrade lista za programiranje.
IPL se po tome razlikovao od tadašnjih jezika visoke razine nije zahtijevao prethodno definiranje simbola i imao je mogućnost pridruživanja i modificiranja struktura simbola.
Takozvana tehnika obrade lista sastoji se od pohranjujući svaku informaciju zajedno s uputama kako pronaći informacije povezane s njima. Promjenom indikacija mogu se graditi nove asocijacije.
"Opće rješavanje problema"
Kako bi stvorili svoj sljedeći softver, Simon i Newell odlučili su isprobati drugačiji pristup. U to je vrijeme kružilo psihološko istraživanje koje je pozivalo sudionike da naglas objasne način na koji su rješavali logičke probleme. Dvojac je otkrio da su ti obrasci potpuno drugačiji od onih koje koristi njihov softver pa su odlučili napraviti vlastitu verziju istrage i izraditi softver na temelju metoda koje su opisali sudionici. Program (poznat kao GPS za rješavanje općih problema) kodiran je na temelju organizacije informacija i heuristike neovisno o zadacima koje su trebali obaviti.
Ova nova metodologija dobila je naziv "Means-to-Ends Analysis" i sastoji se od usporedite trenutnu situaciju s idealnom i poduzmite radnje koje smanjuju razliku između njih i zatim ponovno procijenite dok se razlika ne smanji na nulu. Ova metodologija omogućuje programu da reagira na promjene u varijablama problema. Programer ukazuje na problem i takozvanu tablicu razlika u kojoj su naznačeni mogući pravci djelovanja i okolnosti u kojima se nalaze.
GPS je uspio rastaviti problem na podprobleme i primijeniti pristup povratnog praćenja, to znači da ako jedan put ne funkcionira, on bi se vratio i slijedio drugi.
Tijekom 11 godina rada, GPS je rješavao zagonetke, izvodio simboličku integraciju i razbijao tajne kodove.
Dok su se Simon i Newell time zabavljali, student po imenu Robert K. Lindsay razvio je program poznat kao SAD SAM. meko mogao je izvući informacije iz rečenica tipa "Juan je Pepin sin" i "Juan je Albertov brat" i izgraditi obiteljsko stablootkrivajući da je Alberto također Pepin sin (nemam pojma kako bi se snašao s poočimima u današnjem svijetu.
Naravno, div tadašnje računalne industrije, IBM, nije mogao izostati iz istraživanja umjetne inteligencije, polja koje je usred Hladnog rata već otkrivalo ogroman potencijal za vojnu primjenu, au sljedećem članku ćemo govorit će o svojim prvim doprinosima na terenu.