En naša dostava Prej smo povedali, kako je Simon, teoretik politologije, skupaj s fizikom po imenu Newell in aktuarjem, ki je postal programer po imenu Shaw, začel graditi prvi program umetne inteligence, znan kot Logical Theorist. To je zahtevalo izum prvega posebnega programskega jezika za umetno inteligenco
To zgodbo smo zapustili s trojico, skupaj s sodelavci in družino, ki simulira vedenje različnih delov programa z uporabo ljudi in ročno napisanih kartic.
Po več takšnih simulacijah je bil program implementiran na resničnem računalniku. Test je bil uspešen kot programska oprema je uspela dokazati osemintrideset izrekov enega od poglavij knjige Principia Matemática Russella in Whiteheada. Celo v enem od primerov (in ne da bi imel za to posebna navodila) je našel način, da ga preizkusi veliko bolj "elegantno" kot avtorji knjige.
Prvi programski jezik za umetno inteligenco
Dejstvo, da so Simon in njegova ekipa tako dolgo pisali svoj program, je zato, ker potrebovali so poseben programski jezik, ki je imel dovolj moči in prilagodljivosti za njihove namene. Ta jezik se je imenoval IPL (Information Processing Language) in je prvič predstavil tehniko obdelave seznamov za programiranje.
IPL se je v tem razlikoval od jezikov visoke ravni tistega časa simbolov ni bilo treba definirati vnaprej in je imel možnost povezovanja in spreminjanja struktur simbolov.
Tako imenovano tehniko obdelave seznama sestavljajo shranjevanje vsake informacije skupaj z navodili, kako najti informacije, povezane z njimi. S spreminjanjem indikacij se lahko zgradijo nove asociacije.
"Splošni reševalec težav"
Za ustvarjanje svoje naslednje programske opreme sta se Simon in Newell odločila poskusiti drugačen pristop. Takrat je krožila psihološka raziskava, ki je udeležence vabila, naj na glas razložijo način reševanja logičnih problemov. Dvojec je odkril, da so ti obrazci popolnoma drugačni od tistih, ki jih uporablja njihova programska oprema, zato sta se odločila narediti svojo različico preiskave in ustvariti programsko opremo na podlagi metod, ki so jih opisali udeleženci. Program (znan kot GPS for General Problem Solver) je bil kodiran na podlagi organizacije informacij in hevristik, neodvisnih od nalog, ki so jih morali opraviti.
Ta nova metodologija je dobila ime "analiza sredstev do konca" in je sestavljena iz primerjajte trenutno situacijo z idealno in ukrepajte, da zmanjšate razliko med njima, nato pa ponovno ocenite, dokler se razlika ne zmanjša na nič. Ta metodologija omogoča, da se program odzove na spremembe v spremenljivkah problema. Programer navede problem in tako imenovano tabelo razlik, v kateri so navedeni možni načini delovanja in v kakšnih okoliščinah so.
GPS je lahko razčlenil problem na podprobleme in uporabil pristop povratnega sledenja, to pomeni, da če ena pot ne deluje, bi se vrnil in sledil drugi.
V 11 letih delovanja je GPS je reševal uganke, izvajal simbolno integracijo in razbijal tajne kode.
Medtem ko sta se Simon in Newell s tem zabavala, je študent po imenu Robert K. Lindsay razvil program, znan kot SAD SAM. mehko je lahko izluščil informacije iz stavkov tipa "Juan je Pepin sin" in "Juan je Albertov brat" in zgradil družinsko drevopovedati, da je Alberto tudi Pepin sin (pojma nimam, kako bi se znašel s pastorki današnjega sveta.
Seveda takratni velikan računalniške industrije IBM ni mogel ostati zunaj raziskav umetne inteligence, področja, ki je že sredi hladne vojne razkrivalo ogromen potencial za vojaške aplikacije in v naslednjem članku bomo bo spregovoril o svojih prvih prispevkih na tem področju.