Արհեստական բանականության պատմություն

Արհեստական բանականության, որի պատմությունը սկսվել է հնուց վարպետ արհեստավորների կողմից խելքով կամ գիտակցությամբ օժտված արհեստական էակներ մասին առասպելներով, պատմություններով և ասեկոսեներով։ ԱԲ ամանակակից սերմերը տնկել են դասական փիլիսոփաները, ովքեր փորձել են մարդկային մտքի գործընթացը նկարագրել որպես խորհրդանիշների մեխանիկական մանիպուլյացիա։ Այս աշխատանքը հասավ իր գագաթնակետին `1940-ականներին ծրագրավորվող թվային համակարգչի հայտնագործմամբ` մեքենա, որը հիմնված էր մաթեմատիկական դատողությունների վերացական էության վրա։ Այս սարքը և դրա հիմքում ընկած գաղափարները մի քանի գիտնականների ոգեշնչեցին սկսելու լրջորեն քննարկել էլեկտրոնային ուղեղի կառուցման հնարավորությունը։ ԱԲ հետազոտության ոլորտը հիմնադրվել է 1956 թվականի ամռանը Դարտմութ քոլեջի տարածքում գտնվող արհեստանոցում[1] : Նրանք, ովքեր այցելում էին, առաջիկա տասնամյակների ընթացքում կլինեին ԱԲ հետազոտությունների առաջատարները։ Նրանցից շատերը կանխատեսում էին, որ մարդու նման խելացի մեքենա գոյություն կունենա ոչ ավելի, քան մեկ սերունդ հետո, և նրանց տրվեց միլիոնավոր դոլարներ այս տեսլականն իրականություն դարձնելու համար։ Ի վերջո ակնհայտ դարձավ, որ նրանք կոպտորեն թերագնահատել էին ծրագրի բարդությունը։ 1973-ին, ի պատասխան Ջեյմս Լայթհիլի քննադատության և Կոնգրեսի շարունակական ճնշման, ԱՄՆ-ի և Մեծ Բրիտանիայի կառավարությունները դադարեցրեցին ԱԲ- ի չկողմնորոշված հետազոտության ֆինանսավորումը, և դրան հաջորդած դժվար տարիները հետագայում հայտնի դարձան որպես «Արհեստական բանականության ձմեռ»։ Յոթ տարի անց, Ճապոնիայի կառավարության հեռանկարային նախաձեռնությունը ոգեշնչեց կառավարություններին և արդյունաբերությանը միլիարդավոր դոլարներ ԱԲ-ին տրամադրելու հարցում, բայց 1980-ականների վերջին ներդրողները հիասթափվեցին և կրկին հրաժարվեցին ֆինանսավորումից։ Ներդրումներն ու հետաքրքրվածությունը ԱԲ-ի հանդեպ աճեցին 21-րդ դարի առաջին տասնամյակների ընթացքում, երբ մեքենայական ուսումը հաջողությամբ կիրառվեց ակադեմիայի և արդյունաբերության բազմաթիվ խնդիրներ լուծելու համար `նոր մեթոդների, հզոր հաշվարկային սարքավորումների օգտագործման և հսկայական տվյալների շտեմարանների հավաքման շնորհիվ։

Նախադրյալներ

խմբագրել

Առասպելական, գեղարվեստական և մտածական նախադրյալներ

խմբագրել

Առասպել և լեգենդ

խմբագրել

Հունական դիցաբանության մեջ Թալոսը բրոնզից կառուցված հսկա էր, որը հանդես էր գալիս որպես Կրետե կղզու պահապան։ Նա քարեր էր նետում զավթիչների նավերի վրա և ամեն օր 3 շրջան էր կազմում կղզու պարագծով[2]։ Ըստ Պսեվդո-Ապոլոդորոսի գրադարանի, Հեփեստոսը կիկլոպների օգնությամբ կերտել է Թալոսին և ինքնաձիգը նվիրել Մինոսին[3] : Արգոնավտիկայում Ջեյսոնը և Արգոնավտները նրան ջախջախեցին ոտքի մոտ գտնվող մեկ խրոցով, ինչը հեռացնելով ՝ թույլ տվեց, որ կենսական հեղուկը դուրս գա նրա մարմնից և նրան անշունչ թողնի[4]։ Պիգմալիոնը լեգենդար արքա էր և հունական դիցաբանության քանդակագործ, որը ներկայացվում էր Օվիդիոսի Մետամորֆոզներում։ Օվիդիոսի պատմողական բանաստեղծության 10-րդ գրքում Պիգմալիոնը զզվում է կանանցից, երբ ականատես է լինում Պրոպետների մարմնավաճառությանը[5] : Չնայած դրան, նա առաջարկներ է անում Վեներայի տաճարում `աստվածուհուն խնդրելով իրեն բերել մի կին, ինչպես այն արձանը, որը փորագրել էր և սիրահարվել։ Իսկապես, արձանը ՝ Գալաթեան, կյանքի կոչվեց, և որոշ հաշվարկներով նա և Պիգմալիոնը երեխա ունեցան[6]։ Գոլեմը հրեական բանահյուսության արհեստական արարած է ՝ ստեղծված կավից և կախված աղբյուրից, ծառայել է տարբեր նպատակների։ Գոլեմի ստեղծման վերաբերյալ ամենավաղ գրավոր պատմությունը հայտնաբերվել է Էլեազար բեն Հուդայի մոտ 12-13-րդ դդ[7] : Միջնադարում ենթադրվում էր, որ Գոլեմի կենդանությանը կարելի է հասնել նրա բերանում տեղադրելով թուղթ, որում գրված կլինի ցանակացած Աստծո անուն[8] : Ի տարբերություն լեգենդար ավտոմատների, ինչպիսիք են Բրազեն Հեադսը, Գոլեմը ի վիճակի չէր խոսել[9]։

Արհեստական բանականության ալքիմիական միջոցներ

խմբագրել

«Իրերի էության մասին» գրքում, որը գրել է Շվեյցարիայում ծնված ալքիմիկոս Պարացելսը, նա նկարագրում է մի ընթացակարգ, որը, նրա պնդմամբ, կարող է սարքել «արհեստական մարդ»։ Տեղադրելով «մարդու սպերման» ձիու գոմաղբի մեջ, և 40 օր հետո կերակրելով նրան «Մարդու արյան արկանոմ» եփուկը կդառնա կենդանի նորածին[10]։ Պարաքելսուսին նախորդում էր Ջաբիր իբն Հայյանի տեսակետը մարդկային էակնեի վերաբերյալ՝ Տակվին[11]։ «Ֆաուստում», Ալքիմիկապես ստեղծված արարած Յոհան Վոլֆգանգ ֆոն Գյոթեի ողբերգության երկրորդ մասը, այն էր որ նրան վիճակված էր հավերժ ապրել իր պատրաստած տաշտակում, իսկ նա ձգտում է ծնվել մարդու լիարժեք մարմնում։ Այնուամենայնիվ, այս վերափոխումը սկսվելուց հետո շիշը կոտրվում է և նա մահանում է[12]։

Վաղ ժամանակակից լեգենդար ավտոմատներ

խմբագրել

Ասում էին, որ վաղ ժամանակահատվածում այս լեգենդար ավտոմատները ունեին իրենց տրված հարցերին պատասխանելու մոգական ունակություն։ Ենթադրվում էր, որ ուշ միջնադարի ալքիմիկոս և գիտնական Ռոջեր Բեկոնը հորինել է բրոնզե գլուխ ՝ զարգացնելով կախարդ լինելու լեգենդը[13] : Այս լեգենդները նման էին ղեկավար Միմիրի մասին սկանդինավյան առասպելին։ Ըստ լեգենդի, Միմիրը հայտնի էր իր բանականությամբ և իմաստնությամբ և գլխատվեց Իզիր-Վանիր պատերազմում։ Ասում են, որ Օդինը գլուխը «զմռսել է» խոտաբույսերով և դրա վրա այնպիսի արտահայտություններ է ասել, որ Միմիրի գլուխը կարողանա իմաստություն խոսել Օդինի հետ։ Դրանից հետո Օդինը գլուխը պահեց իր մոտ ՝ խորհուրդ ստանալու համար[14]։

Ժամանակակից գեղարվեստական գրականություն

խմբագրել

19-րդ դարում արհեստական տղամարդկանց և մտածող մեքենաների մասին գաղափարները զարգանում էին գեղարվեստական գրականության մեջ, ինչպես Մերի Շելլիի Ֆրանկենշտեյնը կամ Կարել Շապեկի Ռոսումի «Ունիվերսալ ռոբոտները» և ինչպիսիք են Սամուել Բաթլերի «Դարվինը մեքենաների մեջ»։ Ներկայիս միջոցով ԱԲ- ն դարձել է գիտական ֆանտաստիկայի հերթական թեման։

Ավտոմատներ

խմբագրել

Իրատեսական մարդանման ավտոմատները կառուցվել են յուրաքանչյուր քաղաքակրթության արհեստավորների կողմից, այդ թվում ՝ Յան Շի, Ալեքսանդրիայի հերոս[15], Ալ-Ջազարի, Պիեռ quetակետ-Դրոզ և Վոլֆգանգ ֆոն Կեմպելեն։ Իրատեսական մարդանման ավտոմատները կառուցվել են յուրաքանչյուր քաղաքակրթության արհեստավորների կողմից, այդ թվում ՝ Յան Շի, Ալեքսանդրիայի հերոս[16], Ալ-Ժազարի, Պիեռ Քուետակետ-Դրոզի և Վոլֆգանգ ֆոն Կեմպելենի[17]։ Հայտնի ամենահին ավտոմատները Հին Եգիպտոսի և Հունաստանի սրբազան արձաններն էին[18][19]։ Հավատացյալները հավատում էին, որ արհեստավորը այս գործիչները ներծծել է շատ իրական մտքերով, ընդունակ իմաստության և հույզերի. Հերմես Տրիսմեգիստը գրել է, որ «հայտնաբերելով աստվածների իրական բնույթը ՝ մարդը կարողացել է վերարտադրել այն։

Պաշտոնական պատճառաբանություն

խմբագրել

Արհեստական բանականությունը հիմնված է այն ենթադրության վրա, որ մարդկային մտքի գործընթացը կարող է մեքենայացվել։ Մեխանիկական կամ «պաշտոնական» պատճառաբանության ուսումնասիրությունը երկար պատմություն ունի։ Չինացի, հնդիկ և հույն փիլիսոփաները մ.թ.ա. առաջին հազարամյակում մշակել են պաշտոնական հետևության կառուցվածքային մեթոդները։ Նրանց գաղափարները դարեր շարունակ մշակվել են այնպիսի փիլիսոփաների կողմից, ինչպիսիք են Արիստոտելը (որը պաշտոնական վերլուծություն տվեց դավանաբանությանը), Էվկլիդեսը (որի տարրերը ձևական տրամաբանության մոդել էին), ալ-Խվարիզմը (որը հանրահաշիվ էր զարգացնում և իր անունը տալիս էր «ալգորիթմին»)։ ) և եվրոպական սքոլաստիկ փիլիսոփաներ, ինչպիսիք են Ուիլյամ Օքհամը և Դանզ Սքոտոսը[20]:Իսպանացի փիլիսոփա Ռամոն Լլուլը (1232–1315) մշակեց մի քանի տրամաբանական մեքենաներ, որոնք նվիրված էին տրամաբանական միջոցներով գիտելիքների արտադրությանը[21]։ Լլուլը նկարագրում էր իր մեքենաները որպես մեխանիկական սուբյեկտներ, որոնք կարող էին միավորել հիմնական և անհերքելի ճշմարտությունները պարզ տրամաբանական գործողություններով, որոնք մեքենան արտադրում է մեխանիկական իմաստներով, այնպես, որ ստեղծի հնարավոր բոլոր գիտելիքները[22] : Լյուլի աշխատանքը մեծ ազդեցություն ունեցավ Գոտֆրիդ Լայբնիցի վրա, որը վերամշակեց իր գաղափարները։ 17-րդ դարում Լայբնիցը, Թոմաս Հոբսը և Ռենե Դեկարտը ուսումնասիրեցին հնարավորությունը, որ ցանկացած բանական միտք կարող է դառնալ նույնքան համակարգված, որքան հանրահաշիվը կամ երկրաչափությունը[23]։ Հոբսը Լևիաթանում գրել է մի հայտնի հոդված. «Պատճառը ոչ այլ ինչ է, քան հաշվարկ»։ Լայբնիցը ներկայացրեց դատողությունների ունիվերսալ լեզու, որը փաստացիությունը կվերածի հաշվարկի, այնպես որ «երկու փիլիսոփաների միջև այլ վեճ չլինի, քան երկու հաշվապահների[24]։ Այս փիլիսոփաները սկսեցին վարկած ձևակերպել ֆիզիկական խորհրդանիշների համակարգի մասին, որոնք կդառնան արհեստական բանականության հետազոտության առաջնորդող հավատը։ 20-րդ դարում մաթեմատիկական տրամաբանության ուսումնասիրությունը ապահովեց այն էական առաջխաղացումը, որով արհեստական բանականությունը հնարավոր էր թվում։ Հիմքերը դրվել էին այնպիսի գործերի կողմից, ինչպիսիք են Բուլի «Մտքի օրենքները» և Ֆրեժի« Բեգրիֆսխրիֆտը »։ Հիմնվելով Ֆրեյջի համակարգի վրա ՝ Ռասելը և Ուայթհեդը 1913-ին իրենց գլուխգործոց ՝ Մաթեմաթիկայի սկզբունքումում, մաթեմատիկայի հիմքերի վերաբերյալ պաշտոնական վերաբերմունք ապահովեցին։ Ոգեշնչված Ռասելի հաջողությունից ՝ Դեյվիդ Հիլբերտը մարտահրավեր է նետել 1920–30-ականների մաթեմատիկոսներին ՝ պատասխանելու այս հիմնարար հարցին. «Կարո՞ղ են բոլոր մաթեմատիկական դատողությունները ձևակերպվել։ »Նրա հարցին պատասխանեցին Գոդելի անավարտության ապացույցը, Տյուրինգի մեքենան և Եկեղեցու լամբդայի հաշիվը:Նրանց պատասխանը զարմանալի էր երկու առումով։ Նախ, նրանք ապացուցեցին, որ, ըստ էության, սահմանափակումներ կան, թե ինչ կարող է իրականացնել մաթեմատիկական տրամաբանությունը։ Բայց երկրորդը (և ավելի կարևոր է ԱԲ- ի համար) նրանց աշխատանքը ենթադրում էր, որ այս սահմաններում մաթեմատիկական դատողությունների ցանկացած ձև կարող էր մեքենայացվել։ Եկեղեցի-Տյուրինգի թեզը ենթադրում էր, որ մեխանիկական սարքը, որը խառնվում է 0 և 1 չափանիշների պարզ խորհրդանիշները, կարող է ընդօրինակել մաթեմատիկական արտածման ցանկացած հավանական գործընթաց։ Հիմնական պատկերացումը Տյուրինգի մեքենան էր. Պարզ տեսական կոնստրուկցիա, որը գրավում էր վերացական խորհրդանիշի մանիպուլյացիայի էությունը։ Այս գյուտը ոգեշնչելու էր մի քանի գիտնականների ՝ սկսելու քննարկել մտածող մեքենաների հնարավորությունը։

Համակարգչային գիտություն

խմբագրել

Հաշվիչ մեքենաները կառուցվել են հնության մեջ և ամբողջ պատմության ընթացքում կատարելագործվել են շատ մաթեմատիկոսների, այդ թվում (ևս մեկ անգամ) փիլիսոփա Գոտֆրիդ Լայբնիցի կողմից։ 19-րդ դարի սկզբին Չարլզ Բեբիջը նախագծեց ծրագրավորվող համակարգիչ (վերլուծական շարժիչ), չնայած այն երբեք չի կառուցվել։ Ադա Լովելասը ենթադրում էր, որ մեքենան «կարող է կազմել բարդ և գիտական երաժշտության ցանկացած բարդ բարդության կամ չափի կտորներ»[25] : (Նրան հաճախ անվանում են որպես առաջին ծրագրավորող ՝ իր գրած մի շարք նշումների պատճառով, որոնք ամբողջությամբ մանրամասնում են շարժիչով Բեռնուլիի համարները հաշվարկելու մեթոդը)։ Առաջին ժամանակակից համակարգիչները երկրորդ համաշխարհային պատերազմի զանգվածային կոդերը կոտրող մեքենաներն էին (օրինակ ՝ Z3, ENIAC և Colossus): Այս մեքենաներից վերջին երկուսը հիմնված էին Ալան Տյուրինգի կողմից դված[26] և Ջոն ֆոն Նեյմանի կողմից մշակված տեսական հիմքերի վրա[27]։

Արհեստական բանականության ծնունդը 1952–1956 թվականներին

խմբագրել

1940-50-ականներին մի շարք գիտնականներ մի շարք ոլորտներից (մաթեմատիկա, հոգեբանություն, ճարտարագիտություն, տնտեսագիտություն և քաղաքագիտություն) սկսեցին քննարկել արհեստական ուղեղ ստեղծելու հնարավորությունը։ Արհեստական բանականության հետազոտության ոլորտը որպես ակադեմիական առարկա 1956 թվականին հիմնադրվել է։

Կիբերնետիկա և վաղ նյարդային ցանցեր

խմբագրել

Մտածող մեքենաների վերաբերյալ ամենավաղ ուսումնասիրությունները ներշնչված էին գաղափարների միախառնմամբ, որոնք տարածված դարձան 1930-ականների վերջին, 1940-ականների և 1950-ականների սկզբին։ Նյարդաբանության վերջին հետազոտությունները ցույց են տվել, որ ուղեղը նեյրոնների էլեկտրական ցանց է, որը կրակում է բոլոր կամ ոչինչ զարկերակներում։ Նորբերտ Վիների կիբերնետիկան նկարագրել է էլեկտրական ցանցերում վերահսկողությունը և կայունությունը։ Կլոդ Շաննոնի տեղեկատվության տեսությունը նկարագրել է թվային ազդանշանները (այսինքն `բոլոր կամ ոչինչ ազդանշանները)։ Ալան Թյուրինգի հաշվարկման տեսությունը ցույց տվեց, որ հաշվարկի ցանկացած ձև կարելի է թվային նկարագրել։ Այս գաղափարների սերտ կապը ենթադրում էր, որ հնարավոր է հնարավոր լինի կառուցել էլեկտրոնային ուղեղ[28]։ Այս ուղղությամբ աշխատանքի օրինակներ են ռոբոտները, ինչպիսիք են Վ. Գրեյ Վալտերի ի կրիաները և Ջոնս Հոպկինսի գազանը։ Այս մեքենաները չեն օգտագործել համակարգիչներ, թվային էլեկտրոնիկա կամ խորհրդանշական հիմնավորում,դրանք ամբողջությամբ վերահսկվում էին անալոգային սխեմաներով[29][30]։ 1943 թվականին Ուոլտեր Փիթսը և Ուորեն Մաքքալլուխը վերլուծեցին իդեալականացված արհեստական նեյրոնների ցանցերը և ցույց տվեցին, թե ինչպես նրանք կարող են կատարել պարզ տրամաբանական գործառույթներ[31] : Նրանք առաջինն էին նկարագրում այն, ինչը հետագայում հետազոտողները կանվանեին նյարդային ցանց[32]։ Փիթսից և Մակքալոչից ոգեշնչված ուսանողներից մեկը երիտասարդ Մարվին Մինսկին էր, այն ժամանակ 24-ամյա ասպիրանտ 1951 թվականին (Դին Էդմոնդսի հետ) կառուցեց առաջին նյարդային ցանցը՝ SNARC: Մինսկին պետք է դառնար ԱԲ- ի ամենակարևոր առաջնորդներից և նորարարներից մեկը հաջորդ 50 տարիների ընթացքում[33]։

Թյուրինգի թեստը

խմբագրել

1950 թվականին Ալան Տյուրինգը տպագրեց մի կարևոր թուղթ, որում նա շահարկում էր մտածող մեքենաներ ստեղծելու հնարավորության մասին .[34]: Նա նշեց, որ «մտածելը» դժվար է սահմանել և մշակեց իր հայտնի Թուրինգի թեստը։ Եթե մեքենան կարող էր շարունակել զրույցը (հեռատպիչի միջոցով), որը չէր տարբերվում մարդու հետ զրույցից, ապա ողջամիտ կլիներ ասել, որ մեքենան «մտածում էր»։ Խնդրի այս պարզեցված տարբերակը Թյուրինգին թույլ տվեց համոզիչ պնդել, որ «մտածող մեքենան» առնվազն հավաստի է, և թերթը պատասխանում է առաջարկի բոլոր ամենատարածված առարկություններին։ Թուրինգ թեստը արհեստական բանականության փիլիսոփայության առաջին լուրջ առաջարկն էր[35]։

ԱԲ խաղեր

խմբագրել

1951 թվականին, օգտագործելով Մանչեսթերի համալսարանի Ֆերանտտի մարկ 1 մեքենան, Քրիստոֆեր Ստրախեյը գրեց շաշկի ծրագիր, իսկ Դիտրիխ Պրինցը ՝ շախմատի համար[36] : Արթուր Սամուելի շաշկի ծրագիրը, որը մշակվել էր 50-ականների կեսերին և 60-ականների սկզբին, ի վերջո հասավ բավարար հմտության `մարտահրավեր նետելու հարգարժան սիրողականին[37]։ ԱԲ խաղերը կշարունակվեն օգտագործվել որպես իր պատմության ընթացքում ԱԲ-ի առաջընթացի չափանիշներ։

Խորհրդանշական հիմնավորում և տրամաբանության տեսաբան

խմբագրել

Երբ հիսունականների կեսերին թվային համակարգիչների հասանելիությունը հնարավոր դարձավ, մի քանի գիտնականներ բնազդաբար ընդունեցին, որ մեքենան, որը կարող էր թվեր շահարկել, կարող է նաև մանիպուլյացիայի ենթարկել խորհրդանիշները, և խորհրդանիշների մանիպուլյացիան կարող է լինել մարդկային մտքի էությունը։ Սա մտածողության մեքենաներ ստեղծելու նոր մոտեցում էր[38]։ 1955 թվականին Ալլեն Նյուելը և (ապագա Նոբելյան մրցանակակիր) Հերբերտ Ա. Սիմոնը ստեղծեցին «Տրամաբանության տեսաբան» (Ջ.Ս. Շոյի օգնությամբ)։ Ծրագիրը, ի վերջո, ապացուցում էր Ռասելի և Ուայթհեդի «Մաթեմաթիկայի սկզբունք» - ի առաջին 52 թեորեմներից 38-ը և ոմանց համար նոր ու ավելի առաջնակարգ ապացույցներ էր գտնում[39]։ Սայմոնն ասաց, որ նրանք «լուծել են մտքի / մարմնի պատկառելի խնդիրը ՝ բացատրելով, թե ինչպես նյութից կազմված համակարգը կարող է ունենալ մտքի հատկություններ»։ (Սա փիլիսոփայական դիրքի վաղ հայտարարությունն էր, որը հետագայում Ջոն Սիրլը կկոչեր «Ուժեղ ԱԲ». Այդ մեքենաները կարող են մտքեր պարունակել այնպես, ինչպես անում են մարդու մարմինները)[40]։

1956 թ. Դարտմութի համաժողով. ԱԲ- ի ծնունդ

խմբագրել

1956 թ. Դարտմութի համաժողովը[41] կազմակերպել էին Մարվին Մինսկին, Ջոն Մաք Քարթին և երկու ավագ գիտնականներ Կլոդ Շանոնը և Նեյթան Ռոչեստերը Միջազգային բիզնես մեքենաների կորպորացիաից[42]։ Համաժողովի առաջարկը ներառում էր հետևյալ պնդումը. «Ուսուցման յուրաքանչյուր ասպեկտ կամ հետախուզության որևէ այլ առանձնահատկություն կարելի է այնքան ճշգրիտ նկարագրել, որ կարելի է սարքել այն մեքենայացնելու համար»։ Մասնակիցների թվում էին Ռեյ Սոլոմոնոֆը, Օլիվեր Սելֆրիջը, Թրենսարդ Մորը, Արթուր Սեմուելը, Ալլեն Նյուելը և Հերբերտ Ա. Սիմոնը, որոնք բոլորը կարևոր ծրագրեր կստեղծեին ԱԲ հետազոտության առաջին տասնամյակների ընթացքում[43]:Համաժողովում Նյուելլը և Սայմոնը ներկայացրեցին «Տրամաբանության տեսաբան»-ը, և Մաք Քարթին համոզեց ներկաներին «Արհեստական բանականությունը» ընդունել որպես ոլորտի անվանում[44]։ 1956 թ.-ին Դարտմութի համաժողովում, ԱԲ-ն ստացավ իր անունը, իր առաքելությունը, իր առաջին հաջողությունն ու հիմնական դերակատարները և այդ պահը համարվեց ԱԲ-ի ծնունդ[45] :

Ոսկե տարիները 1956–1974 թվականներին

խմբագրել

Դարտմութի սեմինարից տարիներ անց մշակված ծրագրերը, մարդկանց մեծամասնության համար, պարզապես «ապշեցուցիչ» էին. Համակարգիչները լուծում էին հանրահաշվի բառերի խնդիրները[46], ապացուցում էին երկրաչափության թեորեմները և սովորում էին խոսել անգլերեն։ Ժամանակին քչերը կհավատային, որ մեքենաների կողմից այդպիսի «խելացի» վարքագիծը ընդհանրապես հնարավոր է[47] : Հետազոտողները խիստ լավատեսություն հայտնեցին մասնավոր և տպագիր բնագավառներում ՝ կանխատեսելով, որ լիովին խելացի մեքենա կկառուցվի 20 տարուց էլ պակաս ժամանակահատվածում[48] : Պաշտպանության առաջատար հետազոտական նախագծերի գործակալության նման պետական գործակալությունները ներդրումներ են կատարում նոր ոլորտում[49]։

Աշխատանքը

խմբագրել

50-ականների և 1960-ականների վերջին շատ հաջող ծրագրեր և նոր ուղղություններ կային։ Ամենաազդեցիկներից էին ՝

Պատճառաբանելը՝ որպես որոնում

խմբագրել

Շատ վաղ ԱԲ ծրագրեր օգտագործում էին նույն հիմնական ալգորիթմը։ Ինչ-որ նպատակի հասնելու համար (ինչպիսին է խաղ շահելը կամ թեորեմ ապացուցելը), նրանք քայլ առ քայլ գնում էին դեպի այն (քայլ կատարելով կամ նվազեցում կատարելով) կարծես փնտրում էին լաբիրինթոս ՝ հետ նահանջելով, երբ հասնեին փակուղի։ Այս պարադիգմը կոչվում էր «տրամաբանություն ՝ որպես որոնում>>[50]: Հիմնական դժվարությունն այն էր, որ շատ խնդիրների համար «լաբիրինթոսով» հնարավոր ուղիների քանակը պարզապես աստղաբաշխական էր (իրավիճակ, որը հայտնի է որպես «կոմբինացիոն պայթյուն»)։ Հետազոտողները նվազեցնում էին որոնման տարածքը ՝ օգտագործելով եվրիստիկական տվյալներ կամ «հիմնական կանոններ», որոնք կվերացնեն այն ուղիները, որոնք դժվար թե հանգեցնեին լուծման[51]։

Նյուելն ու Սայմոնը փորձեցին այս ալգորիթմի ընդհանուր վարկածը նկարագրել «Ընդհանուր խնդիրների լուծում» կոչվող ծրագրում։ Մյուս «որոնման» ծրագրերը կարողացան կատարել տպավորիչ առաջադրանքներ, ինչպիսիք են երկրաչափության և հանրահաշվի խնդիրների լուծումը, ինչպիսիք են Հերբերտ Գելանտերի երկրաչափության թեորեմը (1958 թ.) և <<Սուրբ>> - ը, որը գրել է Մինսկիի ուսանող Ջեյմս Սլեգլը (1961)[52]։ Այլ ծրագրեր որոնում էին նպատակներն ու ենթակետերը ՝ գործողություններ պլանավորելու համար, օրինակ ՝ Սթրիփ համակարգը, որը մշակվել էր Սթենֆորդում ՝ իրենց ռոբոտ Շաքեյի ի վարքը վերահսկելու համար[53]

Բնական լեզու

խմբագրել

ԱԲ հետազոտության կարևոր նպատակն է համակարգիչներին թույլ տալ հաղորդակցվել բնական լեզուներով, ինչպես անգլերենը։ Վաղ հաջողություն էր Դենիել Բոբրոուի ՈՒՍԱՆՈՂ ծրագիրը, որը կարող էր լուծել ավագ դպրոցի հանրահաշվի խնդիրները[46]։ Իմաստային ցանցը ներկայացնում է հասկացությունները (օրինակ `« տուն »,« դուռ ») որպես հանգույցներ և հարաբերությունները հասկացությունների միջև (օրինակ` «ունի-ա») որպես հանգույցների միջև կապող օղակներ։ Իմաստային ցանց օգտագործող առաջին ԱԲ ծրագիրը գրվել է Ռոս Քվիլիանի կողմից[54] , իսկ ամենահաջողված (և վիճահարույց) տարբերակը Ռոջեր Շանկի «Հայեցակարգային կախվածության տեսությունն» է[55]։ Ժոզեֆ Վայզենբաումի Էլիզա- ն կարող էր այնպիսի զրույցներ վարել, որոնք այնքան իրատեսական էին, որ օգտվողները երբեմն խաբվում էին ՝ կարծելով, որ իրենք շփվում են ոչ թե ծրագրի, այլ մարդու հետ։ Բայց իրականում, Էլիզա- ն գաղափար չուներ, թե ինչի մասին է խոսքը։ Նա պարզապես տվեց անթերի, անվնաս կերպով պահպանված պատասխան կամ կրկնեց իրեն ասվածը ՝ վերարտադրելով իր պատասխանը մի քանի քերականական կանոններով։ Էլիզա- ն առաջին շաղակրատող ռոբոտն էր[56]։

Միկրոաշխարհներ

խմբագրել

60-ականների վերջին Մասաչուսեթսի տեխնոլոգիական ինստիտուտի արհեստական բանականության լաբորատորիայի Մարվին Մինսկին և Սեյմուր Պապերտը առաջարկեցին, որ ԱԲ հետազոտությունները պետք է կենտրոնանան արհեստականորեն պարզ իրավիճակների վրա, որոնք հայտնի են որպես միկրոաշխարհ։ Նրանք նշում էին, որ հաջողակ գիտություններում, ինչպիսին ֆիզիկան է, հիմնական սկզբունքները հաճախ ավելի լավ էին հասկանում `օգտագործելով պարզեցված մոդելներ, ինչպիսիք են առանց շփման հարթությունները կամ կատարյալ կոշտ մարմինները։ Հետազոտության մեծ մասը կենտրոնացած էր «բլոկների աշխարհի» վրա, որը բաղկացած է տարբեր ձևերի և չափերի գունավոր բլոկներից, որոնք շարված են հարթ մակերևույթի վրա[57]։

Այս պարադիգմը մեքենայական տեսլականի մեջ նորարարական աշխատանքի բերեց Գերալդ Սուսմանի (որը ղեկավարում էր թիմը), Ադոլֆո Գուզմանի, Դեյվիդ Վալցի (ով հորինեց «ճնշման տարածումը») և հատկապես Պատրիկ Ուինսթոնի կողմից։ Միևնույն ժամանակ, Մինսկին և Պապերտը ստեղծեցին ռոբոտի ձեռք, որը կարող էր բլոկներ հավաքել ՝ կյանքի կոչելով բլոկների աշխարհը։ Միկրոաշխարհի ծրագրի գագաթնակետը Թերի Ուինոգրադի Շրդլու- ն էր։ Նա կարող էր շփվել սովորական անգլերեն նախադասություններով, պլանավորել և կատարել գործողություններ[58]

Լավատեսություն

խմբագրել

ԱԲ- ի հետազոտողների առաջին սերունդը այս աշխատանքի վերաբերյալ կանխատեսումներ արեց.

1958 թ. Հ. Սիմոն և Ալլեն Նյուել. «Տասը տարվա ընթացքում թվային համակարգիչը կդառնա շախմատի աշխարհի չեմպիոն» և «տասը տարվա ընթացքում թվային համակարգիչը կբացահայտի և ապացուցի կարևոր նոր մաթեմատիկական թեորեմ»[59]։ 1965, Հ. Սիմոն. «Մեքենաները քսան տարվա ընթացքում կկարողանան կատարել ցանկացած աշխատանք, որը տղամարդը կարող է անել»[60]։ 1967, Մարվին Մինսկի. «Մի սերնդի ընթացքում ...« արհեստական բանականություն »ստեղծելու խնդիրն էապես կլուծվի>>[61]: 1970 թ., Մարվին Մինսկի (<<Կյանք>> թերթ-ում). «Երեքից ութ տարի հետո մենք կունենանք մի մեքենա` միջին մարդու ընդհանուր խելքով>>[62]

Գումարներ

խմբագրել

1963-ի հունիսին Մասաչուսեթսի տեխնոլոգիական ինստիտուտ-ը 2.2 միլիոն ԱՄՆ դոլարի դրամաշնորհ ստացավ նորաստեղծ Ընդլայնված հետազոտական նախագծերի գործակալության (հետագայում հայտնի որպես Պաշտպանության առաջատար հետազոտական նախագծերի գործակալություն) կողմից։ Գումարը օգտագործվել է MIT համակարգչային գիտության և արհեստական բանականության լաբորատորիա նախագծի ֆինանսավորման համար, որը հինգ տարի առաջ մինսկիի և Մաքքարթիի հիմնադրած «ԱԲ խումբ» - ին է պատկանում։ Պաշտպանության առաջատար հետազոտական նախագծերի գործակալությունն շարունակում էր տրամադրել տարեկան երեք միլիոն դոլար մինչև 70-ականները[63]։ Պաշտպանության առաջատար հետազոտական նախագծերի գործակալությունն նման դրամաշնորհներ է տրամադրել Նյուել և Սայմոն ծրագրերին Քարնեգի Մելոն համալսարանում Սթանդֆորթի ԱԲ նախագծ- ին (հիմնադրել է Ջոն Մաքքարթին 1963 թ.)[64]: Էդինբուրգի համալսարանում մեկ այլ կարևոր ԱԲ լաբորատորիա ստեղծեց Դոնալդը Միչին 1965 թվականին[65]։ Այս չորս հաստատությունները տարիներ շարունակ կշարունակեն մնալ գիտական հետազոտությունների (և ֆինանսավորման) հիմնական կենտրոնները ակադեմիայում[66]։ Գումարը հավաքվում էր կցված մի քանի տողերով. Ժոզեֆ Կարլ Ռոբնեթ Լիքլայդեր,ը, այն ժամանակ Պաշտպանության առաջատար հետազոտական նախագծերի գործակալության տնօրենն էր, կարծում էր, որ իր կազմակերպությունը պետք է «ֆինանսավորեր մարդկանց, ոչ թե նախագծերի», և նա թույլ տվեց հետազոտողներին ընտրել ցանկացած ուղղություն, որը նրանց կարող է հետաքրքրել[67]։ Սա Մասաչուսեթսի տեխնոլոգիական ինստիտուտում ստեղծեց ազատ շարժիչ մթնոլորտ, որը ծնեց հակերների մշակույթը[68], բայց այս «ձեռքերը կտրելու» մոտեցումը չի տևի։

Ռոբոտաշինություն

խմբագրել

Ճապոնիայում Վասեդայի համալսարանը նախաձեռնել է <<WABOT>> նախագիծը 1967 թ.-ին, իսկ 1972-ին ավարտեց WABOT-1- ը `աշխարհում առաջին մասշտաբային խելացի մարդանման ռոբոտը կամ անդրոիդը[69][70] : Նրա վերջույթների կառավարման համակարգը թույլ էր տալիս քայլել ստորին վերջույթների հետ, ինչպես նաև ձեռքերով բռնել և տեղափոխել առարկաներ ՝ օգտագործելով շոշափելի տվիչներ։ Նրա տեսողության համակարգը հնարավորություն տվեց չափել հեռավորություններն ու ուղղությունները դեպի առարկաներ, օգտագործելով արտաքին ընկալիչները, արհեստական աչքերը և ականջները։ Եվ նրա խոսելու համակարգը թույլ տվեց նրան արհեստական բերանով , ճապոներենով շփվել ճապոներենով մարդու հետ[71][72][73]։

ԱԲ-ի առաջին ձմեռը 1974–1980

խմբագրել

1970-ականներին ԱԲ- ն ենթարկվում էր քննադատությունների և ֆինանսական հետընթացների։ ԱԲ հետազոտողները չէին կարողացել գնահատել իրենց առջև ծառացած խնդիրների դժվարությունը։ Նրանց ահռելի լավատեսությունը անհավանականորեն բարձրացրեց սպասելիքները, և երբ խոստացված արդյունքները չկարողացան իրականանալ, ԱԲ- ի ֆինանսավորումը անհետացավ[74] : Միևնույն ժամանակ, կապակցականության դաշտը (կամ նյարդային ցանցերը) գրեթե ամբողջությամբ փակվել էր 10 տարի շարունակ ՝ Մարվին Մինսկիի կողմից ընկալիչների ապակառուցողական քննադատության պատճառով[75]։ Չնայած 70-ականների վերջին հասարակության շրջանում ԱԲ- ի ընկալման դժվարություններին, նոր գաղափարներ են ուսումնասիրվել տրամաբանական ծրագրավորման, ընդհանուր պատճառաբանությունների և շատ այլ ոլորտներում[76]։

Խնդիրները

խմբագրել

Յոթանասունականների սկզբին ԱԲ ծրագրերի հնարավորությունները սահմանափակ էին։ Նույնիսկ ամենատպավորիչ ԱԲ-ն կարող էր միայն կարգավորել այն խնդիրների չնչին վարկածները, որոնք նրանք պետք է լուծեին,բոլոր ծրագրերը, որոշ իմաստով, «խաղալիքներ» էին[77] : ԱԲ հետազոտողները սկսել էին բախվել մի քանի հիմնարար սահմանների, որոնք հնարավոր չէր հաղթահարել 1970-ականներին։ Չնայած այս սահմաններից ոմանք նվաճվելու էին հետագա տասնամյակների ընթացքում, մյուսները դեռ մոլորված են դաշտում մինչ օրս[78]։ Սահմանափակ համակարգչային հզորություն՝ հիշողությունը կամ մշակման արագությունը բավարար չէին `իսկապես օգտակար ինչ-որ բան իրականացնելու համար։ Օրինակ, Ռոս Քվիլիանի հաջող աշխատանքը բնական լեզվի վերաբերյալ ցուցադրվեց ընդամենը քսան բառով, քանի որ դա այն ամենն էր, ինչը տեղավորվում էր հիշողության մեջ[79] : Հանս Մորավեցը 1976 թ.-ին պնդեց, որ համակարգիչները դեռ միլիոնավոր անգամ շատ թույլ են ` տեղեկություն ցուցաբերելու համար։ Նա առաջարկեց անալոգիա. Արհեստական ինտելեկտը համակարգչային էներգիա է պահանջում այնպես, ինչպես ինքնաթիռները ձիաուժ են պահանջում։ Որոշակի շեմից ցածր, դա անհնար է, բայց, քանի որ ուժը մեծանում է, ի վերջո դա կարող է դյուրին դառնալ[80] : Ինչ վերաբերում է համակարգչային տեսլականին, Մորավեցը գնահատեց, որ մարդու ցանցաթաղանթի եզրին և շարժման հայտնաբերման հնարավորություններին պարզապես համապատասխանեցումը իրական ժամանակում կպահանջի ընդհանուր նշանակության համակարգիչ, ունակ 109 գործողություն / վայրկյանում (1000 ՄԻՊ)[81] : 2011 թ.-ից գործնական համակարգչային տեսողության ծրագրերը պահանջում են 10 000-ից 1 000 000 ՄԻՊ։ Համեմատության համար նշենք, որ 1976-ի ամենաարագ գերհամակարգիչը ՝ Cray-1 (մանրածախ վաճառք ՝ $ 5 միլիոնից $ 8 մլն դոլար), ունակ էր ընդամենը 80-ից 130 ՄԻՊ-ի, և այն ժամանակվա տիպիկ աշխատասեղանի համակարգիչը հասնում էր 1 ՄՊ-ից պակաս։ Անխախտելիություն և կոմբինացիոն պայթյուն՝ 1972-ին Ռիչարդ Կարպը (հիմնվելով Սթիվեն Քուքի 1971-ի թեորեմի վրա) ցույց տվեց, որ կան բազմաթիվ խնդիրներ, որոնք, հավանաբար, հնարավոր է լուծել միայն ցուցչական ժամանակում (մուտքերի չափով)։ Այս խնդիրների օպտիմալ լուծումներ գտնելը համակարգչային ժամանակի աներևակայելի քանակ է պահանջում, բացառությամբ այն դեպքերի, երբ խնդիրները չնչին են։ Սա համարյա նշանակում էր, որ ԱԲ- ի կողմից օգտագործված «խաղալիքների» լուծումներից շատերը, հավանաբար, երբեք չեն վերածվի օգտակար համակարգերի[82]։ Համընդհանուր գիտելիքներ և հիմնավորում ՝ Արհեստական բանականության շատ կարևոր ծրագրեր, ինչպիսիք են տեսողությունն կամ բնական լեզուն, պարզապես ահռելի քանակությամբ տեղեկատվություն են պահանջում աշխարհի մասին, ծրագիրը պետք է որոշակի պատկերացում ունենա այն մասին, թե ինչն է այն դիտում կամ ինչի մասին է խոսքը։ Սա պահանջում է, որ ծրագիրն իմանա աշխարհի մասին նույն բաների մեծ մասը, ինչ երեխան անում է։ Հետազոտողները շուտով պարզեցին, որ սա իսկապես ահռելի տեղեկատվություն է։ 1970-ին ոչ ոք չէր կարող այդքան մեծ տվյալների շտեմարան կառուցել և ոչ ոք չգիտեր, թե ինչպես է ծրագիրը կարող այդքան շատ տեղեկատվություն սովորե[83] լ։ Մորավեցի պարադոքսը ` Համակարգիչների համար թեորեմների ապացուցումն ու երկրաչափության խնդիրների լուծումը համեմատաբար հեշտ է, բայց ենթադրաբար պարզ առաջադրանք, ինչպիսին է դեմքը ճանաչելը կամ սենյակը հատելը, առանց ինչ-որ բանի բախվելու, չափազանց դժվար է։ Սա օգնում է բացատրել, թե ինչու են տեսողության և ռոբոտաշինության ուսումնասիրությունները 1970-ականների կեսերին այդքան քիչ առաջընթաց արձանագրել[84]։ Տրամաբանության և որակավորման խնդիրները՝ Տրամաբանություն օգտագործող AI գիտնականները (ինչպես Ջոն ՄաքՔարթին) հայտնաբերեցին, որ նրանք չեն կարող ներկայացնել սովորական արտածումներ, որոնք ենթադրում են պլանավորում կամ դեֆոլտ պատճառաբանություն ՝ առանց փոփոխություններ կատարելու բուն տրամաբանության կառուցվածքում։ Նրանք մշակեցին նոր տրամաբանություններ (ինչպես ոչ միատոն տրամաբանությունները և մոդալ տրամաբանությունները) ՝ փորձելու լուծել խնդիրները։

Ֆինանսավորման ավարտ

խմբագրել

Գործակալությունները, որոնք ֆինանսավորել են AI հետազոտությունները (ինչպես, օրինակ, Բրիտանիայի կառավարությունը, Պաշտպանության առաջատար հետազոտական նախագծերի գործակալություն և Գիտությունների, ճարտարագիտության և բժշկության ազգային ակադեմիաներ), հիասթափվեցին առաջընթացի բացակայությունից և, ի վերջո, դադարեցրեցին ԱԲ- ի անուղղակի հետազոտության համարյա բոլոր ֆինանսավորումը։ Օրինակը սկսվեց դեռ 1966-ին, երբ հայտնվեց ALPAC զեկույցը, որը քննադատում էր մեքենայական թարգմանության ջանքերը։ 20 միլիոն դոլար ծախսելուց հետո, Գիտությունների, ճարտարագիտության և բժշկության ազգային ակադեմիաներն ավարտեցին բոլոր օժանդակությունները[85]։ 1973 թ.-ին Անգլիայում ԱԲ- ի հետազոտության վիճակի վերաբերյալ <<Լայթհիլ>>ի զեկույցը քննադատեց ԱԲ- ի իր «վիթխարի նպատակները» չհասնելու լիակատար ձախողումը և հանգեցրեց այդ երկրում ԱԲ- ի հետազոտության ապամոնտաժմանը[86]։ (Զեկույցում մասնավորապես նշված էր կոմբինացիոն պայթյունի խնդիրը `որպես ԱԲ- ի ձախողումների պատճառ)։ Պաշտպանության առաջատար հետազոտական նախագծերի գործակալությունը[87] խորապես հիասթափված էր Քարնեգի Մելոն համալսարանում «Խոսքի փոխըմբռնման հետազոտական ծրագրի » վրա աշխատող հետազոտողներից և չեղյալ հայտարարեց տարեկան երեք միլիոն դոլար դրամաշնորհը։ 1974 թ.-ին դժվար թե գտնվեին ԱԲ նախագծերի ֆինանսավորումը։ Հանս Մորավեցը ճգնաժամը բարդեց իր գործընկերների անիրատեսական կանխատեսումների վրա։ <<Շատ հետազոտողներ հայտնվել էին աճող չափազանցության ցանցում>>[88]:Այնուամենայնիվ, կար մեկ այլ խնդիր. 1969 թ.-ին Մենսֆիլդի ուղղման ընդունումից ի վեր։ Փոխարենը, գումարներն ուղղվում էին հստակ նպատակներ ունեցող հստակ նախագծերին, ինչպիսիք են ինքնավար տանկերը և մարտերի կառավարման համակարգերը[89]։

Քննադատություններ ամբողջ համալսարանից

խմբագրել

Մի քանի փիլիսոփաները խիստ առարկեցին այն պնդումներին, որոնք արվում են ԱԲ հետազոտողների կողմից։ Վաղ ժամանակներից մեկը Ջոն Լուկասն էր, ով պնդում էր, որ Գոդելի անավարտության թեորեմը ցույց է տալիս, որ պաշտոնական համակարգը (օրինակ ՝ համակարգչային ծրագիրը) երբեք չի կարող տեսնել որոշ պնդումների ճշմարտությունը, մինչդեռ մարդը կարող էր դա[90]։ Հուբերտ Դրեյֆուսը ծաղրուծանակի ենթարկեց 1960-ականների խախտված խոստումները և քննադատեց ԱԲ- ի շահարկումները ՝ պնդելով, որ մարդկային մտածողությունը իրականում շատ քիչ է «խորհրդանիշի մշակման» համար։ 1980 թ.-ին ներկայացված Ջոն Սիրլի «Չինական սենյակ» փաստարկը փորձեց ցույց տալ, որ չի կարելի ասել, որ ծրագիրը կարող է «հասկանալ» այն խորհրդանիշները, որոնք նա օգտագործում է (որակ, որը կոչվում է «դիտավորություն»)։ Եթե խորհրդանիշները մեքենայի համար իմաստ չունեն, պնդում է Սիրլը, ապա մեքենան չի կարող նկարագրվել որպես «մտածող»։ Այս քննադատությունները լուրջ չեն ընդունվել ԱԲ- ի հետազոտողների կողմից, հաճախ այն պատճառով, որ դրանք կարծես թե շատ հեռու էին կետից։ Խնդիրները, ինչպիսիք են անխոցելիությունը և ընդհանուր գիտելիքները, շատ ավելի անմիջական և լուրջ էին թվում։ Անհասկանալի էր, թե իրականում համակարգչային ծրագրի մեջ ինչ տարբերություն է առաջացել «իմանալ ինչպես» կամ «դիտավորություն»։ Մինսկին Դրեյֆուսի և Սիրլի մասին ասաց «նրանք սխալ են հասկանում և պետք է անտեսվեն»։ Դրեյֆուսին, որը դասավանդում էր Մասաչուսեթսի տեխնոլոգիական ինստիտուտում,սառը ուս էին տվել. Նա ավելի ուշ ասաց, որ ԱԲ հետազոտողները չէին համարձակվում իր հետ ճաշել։ Էլիզայի հեղինակ Ժոզեֆ Վայզենբաումը կարծում է, որ իր գործընկերների վերաբերմունքը Դրեյֆուսի նկատմամբ ոչ պրոֆեսիոնալ է և մանկամտություն է։ Չնայած նա Դրեյֆուսի դիրքորոշումների բացահայտ քննադատն էր, նա «միտումնավոր պարզաբանեց, որ իրենց պահվածքը մարդուն վերաբերվելու միջոց չէ»։ Վայզենբաումը սկսեց լուրջ բարոյական կասկածներ ունենալ ԱԲ- ի հետ կապված, երբ Քենեթ Քոլբին Էլիզայի հիման վրա գրեց «համակարգչային ծրագիր, որը կարող է վարել հոգեթերապևտիկ երկխոսություն»։ Վայզենբաումը անհանգստացավ այն բանի համար, որ Քոլբին անմիտ ծրագիրը տեսնում էր որպես լուրջ բուժական գործիք։ Սկսվեց վեճ, և իրավիճակը չբարելավվեց, երբ Քոլբին չհավատաց Վայզենբաումին ՝ ծրագրում իր ներդրման համար։ 1976 թվականին Վայզենբաումը հրատարակեց Համակարգչային հնարավորությունները և մարդկային միտքը, որոնք պնդում էին, որ արհեստական բանականության չարաշահումը կարող է արժեզրկել մարդու կյանքը։

Ընկալիչներ և հարձակում կապի վրա

խմբագրել

Պերսեպտրոնը նեյրոնային ցանցի ձև էր, որը ներմուծվել է 1958 թվականին Ֆրենկ Ռոզենբլաթի կողմից, ով Մրվին Մինսկիի դասընկերն էր՝ Բրոնքսի գիտության ավագ դպրոցում։ ԱԲ- ի հետազոտողների մեծամասնության նման, նա նույնպես լավատեսորեն էր տրամադրված նրանց ուժի նկատմամբ ՝ կանխատեսելով, որ «պերսեպտրոնը, ի վերջո, կարող է սովորել, որոշումներ կայացնել և թարգմանել լեզուներ»։ Պարադիգմի վերաբերյալ ակտիվ հետազոտական ծրագիր էր իրականացվում ամբողջ 1960-ական թվականներին, բայց հանկարծակի դադարեցվեց Մինսկիի և Պապերտի 1969 թ.-ին «Ընկալիչներ» գրքի տպագրությամբ։ Այն ենթադրում էր, որ ընկալիչները կարող էին դնել խիստ սահմանափակումներ, և Ֆրենկ Ռոզենբլատի կանխատեսումները կոպիտ կերպով չափազանցված էին։ Գրքի ազդեցությունը կործանարար էր. 10 տարի շարունակ կապակցիոնիզմի վերաբերյալ ընդհանրապես ոչ մի հետազոտություն չի արվել։ Ի վերջո, նոր սերնդի հետազոտողները կվերածնեին ոլորտը, որից հետո այն կդառնար արհեստական ինտելեկտի կենսական և օգտակար մասը։ Ռոզենբլատը դա չէր տեսնի, քանի որ նա մահացավ նավակի վթարից ՝ գիրքը լույս տեսնելուց անմիջապես հետո[75]։

Տրամաբանական և խորհրդանշական հիմնավորում ===

Տրամաբանությունը ԱԲ- ի հետազոտության մեջ մտավ դեռ 1959 թվականից, Ջոն ՄաքՔարթիի կողմից իր «Խորհրդատու» առաջարկի մեջ[91]:1963 թ.-ին lan. Ալան Ռոբինսոնը հայտնաբերել էր համակարգչի վրա դեդուկցիան իրականացնելու պարզ մեթոդ, լուծման և միավորման ալգորիթմ։ Այնուամենայնիվ, պարզ կատարումները, ինչպես ՄաքՔարթիի և նրա ուսանողների կողմից 1960-ականների վերջին փորձածները, դժվար լուծելի էին, պարզ թեորեմները ապացուցելու համար ծրագրերը պահանջում էին աստղաբաշխական քայլեր .[92] : 1970-ականներին Էդինբուրգի համալսարանում Ռոբերտ Կովալսկին մշակեց տրամաբանության ավելի բեղմնավոր մոտեցում, և շուտով դա հանգեցրեց ֆրանսիացի հետազոտողներ Ալեն Կոլմերաուերի և Ֆիլիպ Ռուսելի հետ համագործակցությանը, ովքեր ստեղծեցին պրոլոգի հաջող տրամաբանության ծրագրավորման լեզուն[93]։ Պրոլոգը օգտագործում է տրամաբանության ենթաբազմություն (եղջյուրի դրույթներ, որոնք սերտորեն կապված են «կանոնների» և «արտադրության կանոնների» հետ), որոնք թույլ են տալիս հաշվարկի լուծում։ Կանոնները կշարունակեին ազդեցիկ լինել ՝ հիմք ստեղծելով Էդվարդ Ֆեյգենբաումի փորձագիտական համակարգերի և Ալլեն Նյուելի և Հերբերտ Ա. Սիմոնի շարունակական աշխատանքը, որը կհանգեցներ Սոարին և նրանց ճանաչման միասնական տեսություններին։ Ինչպես Դրեյֆուսն էր ասում տրամաբանական մոտեցման քննադատները նշում էին, որ խնդիրներ լուծելիս մարդիկ հազվադեպ էին օգտագործում տրամաբանություն։ Փիթեր Ուասոնի, Էլեոնորա Ռոշի, Ամոս Տվերսկու, Դանիել Կանհեմանի և այլոց նման հոգեբանների փորձերը ապացույց էին[94]։ ՄաքՔարթին պատասխանեց, որ այն, ինչ մարդիկ անում են, անտեղի է։ Նա պնդում էր, որ իրականում անհրաժեշտ են մեքենաներ, որոնք կարող են խնդիրներ լուծել, այլ ոչ թե մեքենաներ, որոնք մտածում են այնպես, ինչպես մտածում են մարդիկ[95]։

Կառուցվածքներ և սցենարներ

խմբագրել

ՄաքՔարթիի մոտեցումը քննադատողների թվում էին Մասաչուսեթսի տեխնոլոգիական ինստիտուտի նրա գործընկերները։ Մարվին Մինսկին, Սեյմուր Պապերտը և Ռոջեր Շանկը փորձում էին լուծել այնպիսի խնդիրներ, ինչպիսիք են «պատմությունը հասկանալը» և «օբյեկտի ճանաչումը», որոնք մեքենայից պահանջում են մտածել մարդու նման։ Որպեսզի օգտագործեն սովորական «աթոռ» կամ «ռեստորան» հասկացությունները, նրանք ստիպված էին անել բոլոր նույն անտրամաբանական ենթադրությունները, որոնք սովորաբար անում էին մարդիկ։ Ցավոք, տրամաբանության մեջ դժվար է ներկայացնել այդպիսի անճիշտ հասկացությունները։ Գերալդ Սուսմանը նկատեց, որ «էապես ոչ ճշգրիտ հասկացությունները նկարագրելու համար ճշգրիտ լեզվի օգտագործումը նրանց ավելի ճշգրիտ չի դարձնում»։ Շանկը նրանց «հակատրամաբանական» մոտեցումները բնութագրեց որպես «կոպիտ», ի տարբերություն «կոկիկ» պարադիգմների, որոնք օգտագործում էին ՄաքՔարթին, Կովալսկին, Ֆեյգենբաումը, Նյուելը և Սայմոնը։

1975 թ.-ին, մի կիսաեզրափակիչ հոդվածում, Մինսկին նշում էր, որ իր «քմահաճ» հետազոտողներից շատերն օգտագործում էին նույն տեսակի գործիք՝ մի շրջանակ, որը ստանձնում է ինչ-որ բանի վերաբերյալ մեր ողջամիտ ենթադրությունները։ Օրինակ, եթե մենք օգտագործում ենք թռչուն հասկացությունը, կա մի փաստի համաստեղություն, որը միանգամից է գալիս մտքին։ Մենք կարող ենք ենթադրել, որ այն թռչում է, որդեր է ուտում և այլն։ Մենք գիտենք, որ այդ փաստերը միշտ չէ, որ ճշմարիտ են, և որ այդ փաստերը օգտագործող արտածումները «տրամաբանական» չեն լինի, բայց ենթադրությունների այս կառուցվածքային շարքերը մաս են կազմում այն ամենի, ինչ մենք ասում և մտածում ենք։ Նա այդ կառույցներն անվանել է «շրջանակներ»։ Շանկը օգտագործեց շրջանակների մի տարբերակ, որը նա անվանում էր «սցենարներ» ՝ կարճ պատմությունների մասին անգլերենով հաջողությամբ պատասխանելու համար։ Շատ տարիներ անց օբյեկտիվ կողմնորոշված ծրագրավորումն ընդունում էր «ժառանգության» կարևոր գաղափարը շրջանակների վերաբերյալ ԱԲ հետազոտությունից։

Բում 1980–1987

խմբագրել

1980-ական թվականներին ամբողջ աշխարհի կորպորացիաները ընդունեցին ԱԲ ծրագրի մի ձև, որը կոչվում էր «փորձագիտական համակարգեր», և գիտելիքը դարձավ խոշոր ԱԲ հետազոտությունների կենտրոնը։ Այդ նույն տարիներին Ճապոնիայի կառավարությունը ագրեսիվորեն ֆինանսավորեց ԱԲ- ն `իր հինգերորդ սերնդի համակարգչային նախագծով[96]։

Փորձագիտական համակարգերի վերելք

խմբագրել

Փորձագիտական համակարգը այն ծրագիրն է, որը պատասխանում է հարցերին կամ լուծում է գիտելիքների որոշակի տիրույթի վերաբերյալ խնդիրներ ՝ օգտագործելով փորձագետների գիտելիքներից բխող տրամաբանական կանոններ։ Ամենավաղ օրինակները մշակվել են Էդվարդ Ֆեյգենբաումի և նրա ուսանողների կողմից։ Դենդրալը, որը սկսել է 1965 թ.-ին, միացություններ է հայտնաբերել սպեկտրոմետրերի ընթերցումներից։ Միցինը, որը մշակվել է 1972 թվականին, ախտորոշեց արյան վարակիչ հիվանդություններ։ Նրանք ցույց տվեցին մոտեցման իրագործելիությունը։ Փորձագիտական համակարգերը սահմանափակվում էին հատուկ գիտելիքների փոքր տիրույթով և դրանց պարզ ձևավորումը համեմատաբար հեշտացնում էր ծրագրերի կառուցումը։ Ընդհանուր առմամբ, ծրագրերն ապացուցեցին, որ օգտակար են. Մի բան, որին ԱԲ- ն մինչ այժմ չէր կարողացել հասնել։ 1980-ին Թվային սարքավորումների կորպորացիայի համար Քարնեգի Մելոն համալսարանում ավարտվեց XCON անունով փորձագիտական համակարգը։ Դա հսկայական հաջողություն էր. Այն խնայում էր ընկերությանը տարեկան 40 միլիոն դոլար մինչև 1986 թվականը։ Աշխարհի կորպորացիաները սկսեցին զարգացնել և տեղակայել փորձագիտական համակարգեր, և մինչև 1985 թվականը նրանք ավելի քան մեկ միլիարդ դոլար էին ծախսում ԱԲ- ի վրա, մեծ մասը ՝ ներքին ԱԲ բաժինների։

Գիտելիքի հեղափոխություն

խմբագրել

Փորձագիտական համակարգերի ուժը գալիս էր դրանց մեջ պարունակվող փորձագիտական գիտելիքներից։ Դրանք մաս էին կազմում ԱԲ- ի հետազոտության նոր ուղղության, որը լայն տարածում էր գտնում 70-ականների ընթացքում։ «ԱԲ հետազոտողները սկսում էին դժկամությամբ կասկածել, քանի որ դա խախտում էր տնտեսման գիտական կանոնը, - որ հետախուզությունը շատ լավ կարող է հիմնված լինել մեծ քանակությամբ բազմազան գիտելիքներ տարբեր ձևերով օգտագործելու ունակության վրա», - գրում է Պամելա Մաքքորդակը։ «1970-ականների մեծ դասը այն էր, որ խելամիտ վարքը շատ կախված էր տվյալ ոլորտի գիտելիքների, երբեմն բավականին մանրակրկիտ գիտելիքների հետ գործ ունենալուց»։ 1980-ականներին նույնպես տեղի ունեցավ Cyc- ի ծնունդը, որը հանդիսանում էր ընդհանուր գիտելիքների խնդրի անմիջականորեն հարձակման առաջին փորձը `ստեղծելով հսկայական տվյալների բազա, որը պարունակում էր բոլոր աշխարհիկ փաստերը, որոնք գիտի սովորական մարդը։ Նախագիծը սկսած և ղեկավարած Դուգլաս Լենատը պնդում է, որ դյուրանցում գոյություն չունի. Մեքենաների համար մարդկային հասկացությունների իմաստը իմանալու միակ ձևը նրանց միաժամանակ մեկ գաղափարի ձեռքով ուսուցումն է։ Նախատեսված չէր, որ նախագիծը կավարտվեր շատ տասնամյակներ հետո։ HiTech և Deep Thought շախմատային ծրագրերը 1989 թ.-ին հաղթեցին շախմատի վարպետներին։ Երկուսն էլ մշակվել են Քարնեգի Մելլոնի համալսարանի կողմից; Deep Thought- ի զարգացումը ճանապարհ բացեց Deep Blue- ի համար։

Գումարի վերադարձ. Հինգերորդ սերնդի նախագիծ

խմբագրել

1981 թ.-ին Ճապոնիայի միջազգային առևտրի և արդյունաբերության նախարարությունը հինգերորդ սերնդի համակարգչային ծրագրի համար 850 միլիոն դոլար է հատկացրել։ Նրանց նպատակներն էին ՝ գրել ծրագրեր և կառուցել մեքենաներ, որոնք կարող էին շարունակել զրույցները, լեզուներ թարգմանել, նկարներ մեկնաբանել և տրամաբանել մարդկանց նման[97] : Որպես ծրագրի հիմնական համակարգչային լեզու նրանք ընտրեցին Prolog- ը[98]։ Այլ երկրներն էլ արձագանքեցին իրենց սեփական նոր ծրագրերով։ Մեծ Բրիտանիան 350 միլիոն ֆունտ ստեռլինգով սկսեց Ալվեի նախագիծը։ Ամերիկյան ընկերությունների կոնսորցիումը ստեղծեց Միկրոէլեկտրոնիկայի և համակարգչային տեխնոլոգիաների կորպորացիան ԱԲ- ի և տեղեկատվական տեխնոլոգիաների ոլորտում լայնամասշտաբ նախագծեր ֆինանսավորելու համար[99]։ Պաշտպանության առաջատար հետազոտական նախագծերի գործակալությունը նույնպես արձագանքեց ՝ հիմնելով ռազմավարական հաշվարկման նախաձեռնության վրա և եռապատկելով իր ներդրումները ԱԲ- ում 1984-1988 թվականներին[100]։

Կապակցիոնիզմի վերածնունդ

խմբագրել

1982-ին ֆիզիկոս Ջոն Հոփֆիլդը կարողացավ ապացուցել, որ նեյրոնային ցանցի մի ձև (այժմ կոչվում է «Հոփֆիլդ ցանց») կարող է տեղեկատվությունը սովորել և մշակել բոլորովին նոր եղանակով։ Մետաղ-օքսիդ-կիսահաղորդչային (MOS) շատ լայնածավալ ինտեգրման (VLSI) զարգացումը, լրացման լրացուցիչ MOS (CMOS) տեխնոլոգիայի տեսքով, հնարավորություն տվեց զարգացնել գործնական արհեստական նյարդային ցանցի (ANN) տեխնոլոգիա 1980-ականներին

Ծանոթագրություններ

խմբագրել
  1. Kaplan, Andreas; Haenlein, Michael (2019). «Siri, Siri, in my hand: Who's the fairest in the land? On the interpretations, illustrations, and implications of artificial intelligence». Business Horizons. 62: 15–25. doi:10.1016/j.bushor.2018.08.004.
  2. The Talos episode in Argonautica 4
  3. Bibliotheke 1.9.26
  4. Rhodios, Apollonios. (2007). The Argonautika : Expanded Edition. University of California Press. էջ 355. ISBN 978-0-520-93439-9. OCLC 811491744.
  5. Morford, Mark (2007). Classical mythology. Oxford. էջ 184. ISBN 978-0-19-085164-4. OCLC 1102437035.{{cite book}}: CS1 սպաս․ location missing publisher (link)
  6. Pseudo-Apollodorus, Bibliotheke, iii.14.3
  7. Kressel, Matthew (2015 թ․ հոկտեմբերի 1). «36 Days of Judaic Myth: Day 24, The Golem of Prague». Matthew Kressel (անգլերեն). Վերցված է 2020 թ․ մարտի 15-ին.
  8. «GOLEM - JewishEncyclopedia.com». www.jewishencyclopedia.com. Վերցված է 2020 թ․ մարտի 15-ին.
  9. «Sanhedrin 65b». www.sefaria.org. Վերցված է 2020 թ․ մարտի 15-ին.
  10. The alchemy reader : from Hermes Trismegistus to Isaac Newton. Linden, Stanton J., 1935-. New York: Cambridge University Press. 2003. էջեր Ch. 18. ISBN 0-521-79234-7. OCLC 51210362.{{cite book}}: CS1 սպաս․ այլ (link)
  11. O'Connor, Kathleen Malone (1994 թ․ հունվարի 1). «The alchemical creation of life (takwin) and other concepts of Genesis in medieval Islam». Dissertations Available from ProQuest: 1–435.
  12. Goethe, Johann Wolfgang von (1890). Faust; a tragedy. Translated, in the original metres ... by Bayard Taylor. Authorised ed., published by special arrangement with Mrs. Bayard Taylor. With a biographical introd. Robarts - University of Toronto. London Ward, Lock.
  13. Butler, E. M. (Eliza Marian) (1948). The myth of the magus. London: Cambridge University Press. ISBN 0-521-22564-7. OCLC 5063114.
  14. Hollander, Lee M. (1964). Heimskringla; history of the kings of Norway. Austin: Published for the American-Scandinavian Foundation by the University of Texas Press. ISBN 0-292-73061-6. OCLC 638953.
  15. Needham 1986, էջ. 53
  16. McCorduck 2004, էջ. 6
  17. McCorduck 2004, էջ. 17 and see also Levitt 2000
  18. Quoted in McCorduck 2004, էջ. 8. Crevier 1993, էջ. 1 and McCorduck 2004, էջեր. 6–9 discusses sacred statues.
  19. Other important automata were built by Haroun al-Rashid (McCorduck 2004, էջ 10), Jacques de Vaucanson (McCorduck 2004, էջ 16) and Leonardo Torres y Quevedo (McCorduck 2004, էջեր 59–62)
  20. Berlinski 2000
  21. Cfr. Carreras Artau, Tomás y Joaquín. Historia de la filosofía española. Filosofía cristiana de los siglos XIII al XV. Madrid, 1939, Volume I
  22. Bonner, Anthonny, The Art and Logic of Ramón Llull: A User's Guide, Brill, 2007.
  23. Hobbes and AI:
  24. Leibniz and AI:
  25. Menabrea 1843
  26. McCorduck 2004, էջեր. 61–62, 64–66, Russell & Norvig 2003, էջեր. 14–15
  27. McCorduck (2004, էջեր. 76–80)
  28. McCorduck 2004, էջեր. 51–57, 80–107, Crevier 1993, էջեր. 27–32, Russell & Norvig 2003, էջեր. 15, 940, Moravec 1988, էջ. 3, Cordeschi, 2002 & Chap. 5.
  29. McCorduck 2004, էջ. 98, Crevier 1993, էջեր. 27–28, Russell & Norvig 2003, էջեր. 15, 940, Moravec 1988, էջ. 3, Cordeschi, 2002 & Chap. 5.
  30. McCulloch, Warren S.; Pitts, Walter (1943 թ․ դեկտեմբերի 1). «A logical calculus of the ideas immanent in nervous activity». Bulletin of Mathematical Biophysics (անգլերեն). 5 (4): 115–133. doi:10.1007/BF02478259. ISSN 1522-9602.
  31. Piccinini, Gualtiero (2004 թ․ օգոստոսի 1). «The First Computational Theory of Mind and Brain: A Close Look at Mcculloch and Pitts's "Logical Calculus of Ideas Immanent in Nervous Activity"». Synthese (անգլերեն). 141 (2): 175–215. doi:10.1023/B:SYNT.0000043018.52445.3e. ISSN 1573-0964. S2CID 10442035.
  32. McCorduck 2004, էջեր. 51–57, 88–94, Crevier 1993, էջ. 30, Russell & Norvig 2003, էջ. 15−16, Cordeschi, 2002 & Chap. 5 and see also Pitts & McCullough 1943
  33. McCorduck 2004, էջ. 102, Crevier 1993, էջեր. 34–35 and Russell & Norvig 2003, էջ. 17
  34. McCorduck 2004, էջեր. 70–72, Crevier 1993, էջ. 22−25, Russell & Norvig 2003, էջեր. 2–3 and 948, Haugeland 1985, էջեր. 6–9, Cordeschi 2002, էջեր. 170–176. See also Turing 1950
  35. Norvig & Russell (2003, էջ. 948) claim that Turing answered all the major objections to AI that have been offered in the years since the paper appeared.
  36. See "A Brief History of Computing" at AlanTuring.net.
  37. Schaeffer, Jonathan. One Jump Ahead:: Challenging Human Supremacy in Checkers, 1997,2009, Springer, 978-0-387-76575-4. Chapter 6.
  38. McCorduck 2004, էջեր. 137–170, Crevier, էջեր. 44–47
  39. McCorduck 2004, էջեր. 123–125, Crevier 1993, էջեր. 44–46 and Russell & Norvig 2003, էջ. 17
  40. Russell & Norvig 2003, էջ. 947,952
  41. McCorduck 2004, էջեր. 111–136, Crevier 1993, էջեր. 49–51 and Russell & Norvig 2003, էջ. 17 Newquist 1994, էջեր. 91–112
  42. See McCarthy et al. 1955. Also see Crevier 1993, էջ. 48 where Crevier states "[the proposal] later became known as the 'physical symbol systems hypothesis'". The physical symbol system hypothesis was articulated and named by Newell and Simon in their paper on GPS. (Newell & Simon 1963) It includes a more specific definition of a "machine" as an agent that manipulates symbols. See the philosophy of artificial intelligence.
  43. McCorduck (2004, էջեր. 129–130) discusses how the Dartmouth conference alumni dominated the first two decades of AI research, calling them the "invisible college".
  44. "I won't swear and I hadn't seen it before," McCarthy told Pamela McCorduck in 1979. (McCorduck 2004, էջ 114) However, McCarthy also stated unequivocally "I came up with the term" in a CNET interview. (Skillings 2006)
  45. Crevier (1993, էջեր. 49) writes "the conference is generally recognized as the official birthdate of the new science."
  46. 46,0 46,1 McCorduck 2004, էջ. 286, Crevier 1993, էջեր. 76–79, Russell & Norvig 2003, էջ. 19
  47. Crevier 1993, էջեր. 52–107, Moravec 1988, էջ. 9 and Russell & Norvig 2003, էջ. 18−21
  48. McCorduck 2004, էջ. 218, Newquist 1994, էջեր. 91–112, Crevier 1993, էջեր. 108–109 and Russell & Norvig 2003, էջ. 21
  49. Crevier 1993, էջեր. 52–107, Moravec 1988, էջ. 9
  50. Means-ends analysis, reasoning as search: McCorduck 2004, էջեր. 247–248. Russell & Norvig 2003, էջեր. 59–61
  51. Heuristic: McCorduck 2004, էջ. 246, Russell & Norvig 2003, էջեր. 21–22
  52. Crevier 1993, էջեր. 51–58, 65–66 and Russell & Norvig 2003, էջեր. 18–19
  53. McCorduck 2004, էջեր. 268–271, Crevier 1993, էջեր. 95–96, Newquist 1994, էջեր. 148–156, Moravec 1988, էջեր. 14–15
  54. Crevier 1993, էջեր. 79–83
  55. Crevier 1993, էջեր. 164–172
  56. McCorduck 2004, էջեր. 291–296, Crevier 1993, էջեր. 134–139
  57. McCorduck 2004, էջեր. 299–305, Crevier 1993, էջեր. 83–102, Russell & Norvig 2003, էջ. 19 and Copeland 2000
  58. McCorduck 2004, էջեր. 300–305, Crevier 1993, էջեր. 84–102, Russell & Norvig 2003, էջ. 19
  59. Simon & Newell 1958, էջ. 7−8 quoted in Crevier 1993, էջ. 108. See also Russell & Norvig 2003, էջ. 21
  60. Simon 1965, էջ. 96 quoted in Crevier 1993, էջ. 109
  61. Minsky 1967, էջ. 2 quoted in Crevier 1993, էջ. 109
  62. Minsky strongly believes he was misquoted. See McCorduck 2004, էջեր. 272–274, Crevier 1993, էջ. 96 and Darrach 1970.
  63. Crevier 1993, էջեր. 64–65
  64. Crevier 1993, էջ. 94
  65. Howe 1994
  66. McCorduck 2004, էջ. 131, Crevier 1993, էջ. 51. McCorduck also notes that funding was mostly under the direction of alumni of the Dartmouth conference of 1956.
  67. Crevier 1993, էջ. 65
  68. Crevier 1993, էջեր. 68–71 and Turkle 1984
  69. «Humanoid History -WABOT-».
  70. Robotics and Mechatronics: Proceedings of the 4th IFToMM International Symposium on Robotics and Mechatronics, page 66
  71. «Historical Android Projects». androidworld.com. Արխիվացված է օրիգինալից 2005 թ․ նոյեմբերի 25-ին. Վերցված է 2021 թ․ մարտի 21-ին.
  72. Robots: From Science Fiction to Technological Revolution, page 130
  73. Handbook of Digital Human Modeling: Research for Applied Ergonomics and Human Factors Engineering, Chapter 3, pages 1-2
  74. Crevier 1993, էջեր. 100–144 and Russell & Norvig 2003, էջեր. 21–22
  75. 75,0 75,1 McCorduck 2004, էջեր. 104–107, Crevier 1993, էջեր. 102–105, Russell & Norvig 2003, էջ. 22
  76. Crevier 1993, էջեր. 163–196
  77. Crevier 1993, էջ. 146
  78. Russell & Norvig 2003, էջեր. 20–21
  79. Crevier 1993, էջեր. 146–148, see also Buchanan 2005, էջ. 56: "Early programs were necessarily limited in scope by the size and speed of memory"
  80. Moravec 1976. McCarthy has always disagreed with Moravec, back to their early days together at SAIL. He states "I would say that 50 years ago, the machine capability was much too small, but by 30 years ago, machine capability wasn't the real problem." in a CNET interview. (Skillings 2006)
  81. Hans Moravec, ROBOT: Mere Machine to Transcendent Mind
  82. Russell & Norvig 2003, էջեր. 9, 21–22 and Lighthill 1973
  83. McCorduck 2004, էջեր. 300 & 421; Crevier 1993, էջեր. 113–114; Moravec 1988, էջ. 13; Lenat & Guha 1989, (Introduction); Russell & Norvig 2003, էջ. 21
  84. McCorduck 2004, էջ. 456, Moravec 1988, էջեր. 15–16
  85. McCorduck 2004, էջեր. 280–281, Crevier 1993, էջ. 110, Russell & Norvig 2003, էջ. 21 and NRC 1999 under "Success in Speech Recognition".
  86. Crevier 1993, էջ. 117, Russell & Norvig 2003, էջ. 22, Howe 1994 and see also Lighthill 1973.
  87. Russell & Norvig 2003, էջ. 22, Lighthill 1973, John McCarthy wrote in response that "the combinatorial explosion problem has been recognized in AI from the beginning" in Review of Lighthill report
  88. Crevier 1993, էջ. 115. Moravec explains, "Their initial promises to DARPA had been much too optimistic. Of course, what they delivered stopped considerably short of that. But they felt they couldn't in their next proposal promise less than in the first one, so they promised more."
  89. NRC 1999 under "Shift to Applied Research Increases Investment." While the autonomous tank was a failure, the battle management system (called "DART") proved to be enormously successful, saving billions in the first Gulf War, repaying the investment and justifying the DARPA's pragmatic policy, at least as far as DARPA was concerned.
  90. Lucas and Penrose' critique of AI: Crevier 1993, էջ. 22, Russell & Norvig 2003, էջեր. 949–950, Hofstadter 1980, էջեր. 471–477 and see Lucas 1961
  91. McCorduck 2004, էջ. 51, Russell & Norvig 2003, էջեր. 19, 23
  92. McCorduck 2004, էջ. 51, Crevier 1993, էջեր. 190–192
  93. Crevier 1993, էջեր. 193–196
  94. Wason (1966) showed that people do poorly on completely abstract problems, but if the problem is restated to allow the use of intuitive social intelligence, performance dramatically improves. (See Wason selection task) Tversky, Slovic & Kahnemann (1982) have shown that people are terrible at elementary problems that involve uncertain reasoning. (See list of cognitive biases for several examples). Eleanor Rosch's work is described in Lakoff 1987
  95. An early example of McCathy's position was in the journal Science where he said "This is AI, so we don't care if it's psychologically real" (Kolata 2012), and he recently reiterated his position at the AI@50 conference where he said "Artificial intelligence is not, by definition, simulation of human intelligence" (Maker 2006).
  96. Newquist 1994, էջեր. 189–192
  97. McCorduck 2004, էջեր. 436–441, Newquist 1994, էջեր. 231–240, Crevier 1993, էջեր. 211, Russell & Norvig 2003, էջ. 24 and see also Feigenbaum & McCorduck 1983
  98. Crevier 1993, էջեր. 195
  99. Crevier 1993, էջեր. 240.
  100. McCorduck 2004, էջեր. 426–432, NRC 1999 under "Shift to Applied Research Increases Investment"