Aastal kaks eelmist artiklit nägime, kuidas Alan Turingi, Claude Shannoni ja John von Neumani töö võimaldas luua tehisintellekti majutavaid arvuteid. Siiski kõikikka tuli luua programmid, mis suudavad seda ülesannet täita. Seetõttu kirjeldame selles postituses tarkvara teed esimestest vestlussimulatsioonidest praeguste keelemudeliteni.
Alan Turing oli esimene, kes määratles viisi, kuidas seda tüüpi programmide edukust kindlaks teha. Probleem on selles, et Turingi test näitas ainult programmeerimisoskust, mitte, et oleksime silmitsi sellega, mida võiks nimetada tehisintellektiks.
Tarkvara tee
Kui Marvin Minsky definitsioon nõuab, et tehisintellektiks pidamiseks peab masin täitma sama ülesannet kui inimene, siis selleks on vaja mõtlemisvõimet, Turingi test nõuab ainult, et inimene ei saaks kindlaks teha, kas tema vestluskaaslane on või mitte.
Kuigi 60. aastate keskel kirjutatud arvutiprogramm ELIZA ei olnud mõeldud Turingi testi läbimiseks, pani aluse mitmele programmile, mis seda üritaks teha. Saates oli psühhiaater, kes esitas patsiendile mitmeid küsimusi tavalistel teemadel, nagu perekond, sõbrad või meeleolu. Vastuste järgi jätkas ta eelnevalt paika pandud liini järgides.
ELIZA (ja tegelikult ka ükski muu tarkvara) poleks olnud võimalik ilma iseõppinud matemaatikaõpetaja töödeta. George Boole, kes XNUMX. sajandil hakkas uurima inimliku arutlusprotsessi tõlkimist matemaatilistesse terminitesse. Selleks analüüsis ta objektide klassidesse rühmitamise viisi ja seda, mis juhtus nende klasside kombineerimisel teistega. Seejärel määras ta igale sellisele suhtele sümbolid.
Vormistamisest tagasisideni
Kui hulga objekte afirmatsioonid muudavad ja nende vahel luuakse kolm võimalikku seost (JA, VÕI ja EI) on meil juba võimalus liigitada need kahte rühma (tõene või vale).
Boole'i teosed ei sobinud aga igasuguste väidete jaoks. Üldmõistete kirjeldamiseks oli vaja viisi. See tähendab, et need võivad olenevalt asjaoludest olla tõesed või valed.
Et sellest aru saaks. Boole'i töökohad võimaldavad teil väitega töötada
Diego on argentiinlane ja kirjutab sisse Linux Adictos
Kuid te ei saa midagi teha:
X on... ja kirjutab Z-ga.
Selleks tuli oodata 70. aastateni, mil Saksa professor nimega Frege tutvustas predikaatide mõistet. Predikaat on väide, mida võib olenevalt asjaoludest nimetada tõeseks või vääraks.
Diego, Argentiinlane y Linuxi sõltlanes on olemid, mis ei ole tõesed ega valed, kuid olenevalt sellest, kuidas need predikaadis kombineeritakse, muudavad nad selle nii.
Freje lisas kaks väljendit koos vastavate sümbolitega:
Kõik (Näitab, et kõik muutuja väärtused vastavad tingimusele)
Seal on… selline (See tähendab, et on vähemalt üks element, mis vastab tingimusele.
tagasiside teooria
Järgmine suur panus tehisintellekti loomisesse ei olnud matemaatiline, see tuli bioloogiast. Küberneetika asutaja Norbert Wiener tundis huvi inseneriteaduse ja bioloogia ühiste punktide vastu. Just see huvi ajendas teda analüüsima, kuidas soojaverelised loomad säilitasid temperatuuri muutuvatest ümbritsevatest temperatuuridest hoolimata. Wiener oletas, et nii sellel kui ka teistel juhtudel töötasid tagasiside mehhanismid. Teisisõnu, teabe saamisel loodi vastus sellega kohanemiseks.
Edasi minnes jõudis ta kinnitamiseni, et intelligentne käitumine pole midagi muud kui tagasisidemehhanismide tulemus. Teisisõnu võime järeldada Intelligentsus (looduslik või tehislik) seisneb teabe kogumises, selle töötlemises, tulemuses tegutsemises ja protsessi kordamises.