En meie kohaletoimetamine Eelnevalt rääkisime, kuidas politoloogiateoreetik Simon koos füüsiku nimega Newell ja programmeerijaks saanud aktuaarist Shaw alustasid esimese loogikateoreetikuna tuntud tehisintellekti programmi ehitamist. See nõudis leiutist esimene tehisintellekti spetsiifiline programmeerimiskeel
Selle loo olime jätnud kolmikuga koos kaastöötajate ja perega simuleerides programmi erinevate osade käitumist, kasutades inimesi ja käsitsi kirjutatud kaarte.
Pärast mitmeid selliseid simulatsioone rakendati programm päris arvutis. Test oli edukas kui tarkvaral õnnestus tõestada Russelli ja Whiteheadi raamatu Principia Matemática ühe peatüki kolmkümmend kaheksa teoreemi. Isegi ühel juhul (ja omamata selleks konkreetseid juhiseid) leidis ta võimaluse testida seda palju "elegantsemalt" kui raamatu autorid.
Esimene tehisintellekti programmeerimiskeel
Asjaolu, et Simon ja tema meeskond võttis oma programmi kirjutamiseks nii kaua aega, on sellepärast nad vajasid spetsiifilist programmeerimiskeelt, millel oleks nende eesmärkide jaoks piisavalt jõudu ja paindlikkust. Seda keelt nimetati IPL-iks (Information Processing Language) ja see tutvustas esmakordselt programmeerimise loenditöötlustehnikat.
IPL erines tolleaegsetest kõrgetasemelistest keeltest selle poolest see ei nõudnud sümbolite eelnevat määratlemist ja tal oli võimalus sümbolite struktuure seostada ja muuta.
Nn nimekirja töötlemise tehnika koosneb iga teabe salvestamine koos juhistega, kuidas leida nendega seotud teavet. Näidustusi muutes saab rajada uusi kooslusi.
"Üldine probleemide lahendaja"
Järgmise tarkvara loomiseks otsustasid Simon ja Newell proovida teistsugust lähenemist. Sel ajal ringles psühholoogiline uurimine, mis kutsus osalejaid valjusti selgitama, kuidas nad loogilisi probleeme lahendasid. Duo avastas, et need vormid olid täiesti erinevad nendest, mida nende tarkvara kasutas, nii et nad otsustasid teha uurimise oma versiooni ja luua tarkvara osalejate kirjeldatud meetoditel. Programm (tuntud kui GPS üldprobleemide lahendaja jaoks) kodeeriti teabe ja heuristika korralduse põhjal, mis ei sõltu ülesannetest, mida neil paluti täita.
See uus metoodika sai nime "Means-to-Ends Analysis" ja koosneb võrrelge praegust olukorda ideaaliga ja tehke meetmeid, mis vähendavad nendevahelist erinevust ja seejärel hinnake uuesti, kuni erinevus väheneb nullini. See metoodika võimaldab programmil reageerida muutustele probleemi muutujates. Programmeerija näitab probleemi ja nn erinevuste tabeli, milles on näidatud võimalikud tegevussuunad ja millistel asjaoludel need on.
GPS suutis probleemi alamprobleemideks jaotada ja rakendada tagasiliikumise lähenemisviisi, see tähendab, et kui üks tee ei tööta, läheks ta tagasi ja järgiks teist.
11 aasta jooksul, mil see tegutses, GPS lahendas mõistatusi, teostas sümboolset integreerimist ja murdis salakoode.
Samal ajal kui Simon ja Newell end sellega lõbustasid, töötas Robert K. Lindsay-nimeline õpilane välja programmi, mida tuntakse nime all SAD SAM. pehme suutis ammutada teavet lausetest "Juan on Pepa poeg" ja "Juan on Alberto vend" ning ehitada üles sugupuuõpetades, et Alberto on ka Pepa poeg (mul pole õrna aimugi, kuidas ta tänapäeva maailma kasuperedega hakkama saaks.
Muidugi ei saanud tollane arvutitööstuse hiiglane IBM kõrvale jääda tehisintellekti uurimisest. See valdkond paljastas juba keset külma sõda tohutut sõjaliste rakenduste potentsiaali ja järgmises artiklis me räägib oma esimestest panustest selles valdkonnas.