En toimitusmme Aiemmin kerroimme, kuinka valtiotieteiden teoreetikko Simon yhdessä fyysikon Newellin ja ohjelmoijaksi ryhtyneen aktuaarin kanssa Shaw aloitti ensimmäisen tekoälyohjelman rakentamisen, joka tunnetaan nimellä Logical Theorist. Tämä vaati keksintöä ensimmäinen erityisohjelmointikieli tekoälylle
Olimme jättäneet tämän tarinan kolmikolle yhdessä yhteistyökumppaneiden ja perheen kanssa simuloimassa ohjelman eri osien käyttäytymistä ihmisten ja käsinkirjoitettujen korttien avulla.
Useiden tällaisten simulaatioiden jälkeen ohjelma toteutettiin oikealla tietokoneella. Testi onnistui mm ohjelmisto onnistui todistamaan XNUMX lausetta Russellin ja Whiteheadin kirjan Principia Matemática yhdestä luvusta. Jopa yhdessä tapauksessa (ja ilman erityisiä ohjeita siihen) hän löysi tavan testata sitä paljon "tyylikkäämmin" kuin kirjan kirjoittajat.
Ensimmäinen tekoälyn ohjelmointikieli
Se, että Simon ja hänen tiiminsä kestivät niin kauan ohjelman kirjoittamiseen, johtuu siitä he tarvitsivat erityisen ohjelmointikielen, jolla oli tarpeeksi tehoa ja joustavuutta heidän tarkoituksiinsa. Tätä kieltä kutsuttiin IPL:ksi (Information Processing Language), ja se esitteli ensin ohjelmoinnin luettelonkäsittelytekniikan.
IPL erosi sen ajan korkean tason kielistä siinä se ei vaatinut symbolien määrittelyä etukäteen ja sillä oli kyky yhdistää ja muokata symbolirakenteita.
Ns. listankäsittelytekniikka koostuu tallentaa jokaisen tiedon sekä ohjeet siihen liittyvien tietojen löytämiseen. Käyttöohjeita muuttamalla voidaan rakentaa uusia yhdistyksiä.
"Yleinen ongelmanratkaisija"
Luodakseen seuraavan ohjelmistonsa Simon ja Newell päättivät kokeilla erilaista lähestymistapaa. Tuolloin liikkeellä oli psykologinen tutkimus, joka kutsui osallistujia selittämään ääneen tapaa, jolla he ratkaisivat loogisia ongelmia. Kaksikko huomasi, että nämä lomakkeet olivat täysin erilaisia kuin heidän ohjelmistonsa käyttämät lomakkeet, joten he päättivät tehdä oman versionsa tutkimuksesta ja luoda ohjelmistoja osallistujien kuvaamien menetelmien perusteella. Ohjelma (tunnetaan nimellä GPS for General Problem Solver) koodattiin tiedon ja heuristiikan perusteella riippumatta tehtävistä, joita niitä pyydettiin suorittamaan.
Tämä uusi menetelmä sai nimen "Means-to-Ends Analysis" ja koostuu vertaa nykyistä tilannetta ihanteelliseen ja ryhdy toimiin, jotka pienentävät niiden välistä eroa ja arvioi sitten uudelleen, kunnes ero pienenee nollaan. Tämän menetelmän avulla ohjelma voi reagoida muutoksiin ongelman muuttujissa. Ohjelmoija osoittaa ongelman ja ns. erotaulukon, jossa esitetään mahdolliset toimintatavat ja missä olosuhteissa ne ovat.
GPS pystyi jakamaan ongelman osaongelmiin ja soveltamaan takaisinseurannan lähestymistapaa, toisin sanoen, jos yksi polku ei toimisi, hän menisi takaisin ja seuraisi toista.
Niiden 11 vuoden aikana, jotka olivat toiminnassa, GPS ratkaisi pulmia, suoritti symbolisen integroinnin ja rikkoi salaisia koodeja.
Simonin ja Newellin viihdyttäessä itseään tällä, Robert K. Lindsay-niminen opiskelija kehitti ohjelman, joka tunnetaan nimellä SAD SAM. pehmeä pystyi poimimaan tietoa lauseista "Juan on Pepan poika" ja "Juan on Alberton veli" ja rakentamaan sukupuunopettamalla, että Alberto on myös Pepan poika (minulla ei ole aavistustakaan, kuinka hän pärjäisi nykymaailman sukupuoliperheissä.
Tietenkin tietokoneteollisuuden silloinen jättiläinen IBM ei voinut pysyä poissa tekoälyn tutkimuksesta. Ala, joka kylmän sodan keskellä paljasti jo valtavia mahdollisuuksia sotilaallisiin sovelluksiin, ja seuraavassa artikkelissa me puhuu ensimmäisistä panoksistaan alalla.