Että kaksi edellistä artikkelia näimme kuinka Alan Turingin, Claude Shannonin ja John von Neumanin työ mahdollisti tietokoneiden luomisen, jotka pystyvät isännöimään tekoälyä. Kuitenkin kaikkioli silti luotava ohjelmia, jotka pystyvät suorittamaan tehtävän. Siksi tässä postauksessa kuvataan ohjelmiston polkua ensimmäisistä keskustelusimulaatioista nykyisiin kielimalleihin.
Alan Turing oli ensimmäinen, joka määritteli tavan määrittää tämäntyyppisten ohjelmien menestys. Ongelmana on, että Turingin testi osoitti vain ohjelmointitaitoja, ei sillä, että olisimme kohtaamassa tekoälyksi kutsuttua asiaa.
Ohjelmiston polku
Vaikka Marvin Minskyn määritelmä edellyttää, että koneen pitää toimia tekoälynä, mutta sen on suoritettava sama tehtävä kuin ihmisen, mutta se vaatii kykyä ajatella, Turingin testi pyytää vain, että ihminen ei pysty määrittämään, onko hänen keskustelukumppaninsa vai ei.
Vaikka ELIZA, 60-luvun puolivälissä kirjoitettu tietokoneohjelma, ei ollut tarkoitus läpäistä Turingin testiä, se loi perustan useille ohjelmille, jotka yrittäisivät tehdä niin. Esitys otti roolin psykiatrina, joka kysyi potilaalta joukon kysymyksiä yleisistä aiheista, kuten perheestä, ystävistä tai mielialasta. Vastausten mukaan hän jatkoi ennalta määrättyä linjaa.
ELIZA (ja itse asiassa mikään muu ohjelmisto) ei olisi ollut mahdollista ilman itseoppineen matematiikan opettajan töitä. George Boole, joka XNUMX-luvulla alkoi tutkia ihmisen päättelyprosessin kääntämistä matemaattisiksi termeiksi. Tätä varten hän analysoi tapaa ryhmitellä objektit luokkiin ja mitä tapahtui, kun nämä luokat yhdistettiin muihin luokkiin. Sitten hän määritti symbolit jokaiselle suhteelle.
Virallistamisesta palautteeseen
Jos joukon objektit muuttuvat vahvistuksilla ja muodostamme niiden välille kolme mahdollista suhdetta (AND, OR ja EI) meillä on jo tapa luokitella ne kahteen ryhmään (tosi tai epätosi).
Boolen teokset eivät kuitenkaan olleet hyviä kaikenlaisiin väitteisiin. Tarvittiin tapa kuvata yleisiä käsitteitä. Eli ne voivat olla totta tai tarua olosuhteista riippuen.
Jotta se ymmärretään. Boolen työt antavat sinun työskennellä väitteen kanssa
Diego on argentiinalainen ja kirjoittaa sisään Linux Adictos
Mutta et voi tehdä mitään seuraavilla:
X on... ja kirjoittaa Z:llä.
Tätä jouduimme odottamaan 70-luvulle asti, jolloin saksalainen professori nimeltä Frege esitteli predikaattien käsitteen. Predikaatti on väite, joka voidaan kuvata tosi tai epätosi olosuhteista riippuen.
Diego, argentiinalainen y Linux-addiktis ovat entiteettejä, jotka eivät ole tosia eivätkä epätosi, mutta riippuen siitä, kuinka ne yhdistetään predikaattiin, ne tekevät siitä sellaisen.
Freje lisäsi kaksi ilmaisua vastaavilla symboleilla:
Kaikesta (Ilmoittaa, että kaikki muuttujan arvot täyttävät ehdon)
On… sellainen (Tarkoittaa, että on vähintään yksi elementti, joka täyttää ehdon.
palauteteoria
Seuraava suuri panos tekoälyn luomiseen ei ollut matemaattinen, se tuli biologiasta. Kyberneticsin perustaja Norbert Wiener oli kiinnostunut tekniikan ja biologian yhteisistä kohdista. Tämä kiinnostus sai hänet analysoimaan, kuinka lämminveriset eläimet pitivät lämpötilansa vakiona ympäristön lämpötilan vaihteluista huolimatta. Wiener oletti, että tässä ja muissa tapauksissa palautemekanismit toimivat. Toisin sanoen tietoa vastaanotettaessa tuotettiin vastaus siihen sopeutumiseksi.
Mennessään pidemmälle hän tuli vahvistamaan, että älykäs käyttäytyminen ei ole muuta kuin palautemekanismien tulosta. Toisin sanoen voimme päätellä sen Älykkyys (luonnollinen tai keinotekoinen) on tiedon keräämistä, käsittelyä, tuloksen mukaan toimimista ja prosessin toistamista.