Mwanatheolojia wa Maamuzi Aliyeanzisha AI: Jinsi Mashine ya Kufikiri ya Krismasi ya Herbert Simon Ilivyobadilisha Kila Kitu

Januari 1956. Taasisi ya Teknolojia ya Carnegie. Profesa mwenye umri wa miaka 39 — mtaalamu wa sayansi ya siasa kwa mafunzo, tayari maarufu miongoni mwa wachumi kwa kudai kwamba hakuna mtu anayeboresha chochote — anafungua darasa lake la uundaji wa mifano ya kihesabu kwa sentensi ambayo haikupaswa kuwa ya kweli: Katika Krismasi, Al Newell na mimi tulivumbua mashine ya kufikiri.

Mashine hiyo haikuwepo kama mashine. Wakati wa likizo, Simon, Allen Newell na mpangaji Cliff Shaw walikuwa wameunda Logic Theorist — na kabla haijawahi kukimbia kwenye kompyuta, walifanya simulizi kwa mikono: subroutines za programu zilizoandikwa kwenye kadi za index za 3×5, zikigawanywa kwa familia ya Simon na wanafunzi, kila mtu akitekeleza sheria za kipengele kimoja. Mashine inayofikiri, iliyoanzishwa kwa watu. Kufikia majira ya joto hiyo ilikimbia kwenye vifaa na iliwasilishwa katika warsha ya Dartmouth — mkutano ulioipa akili bandia jina lake.

Hadithi hii kawaida huwekwa chini ya historia ya kompyuta. Inahusiana pia na sayansi ya maamuzi — kwa sababu Logic Theorist hakuwa kalkuleta wa haraka. Ilikuwa nadharia ya Simon ya rationality iliyopunguzwa iliyotekelezwa katika msimbo: ikiwa akili ya kibinadamu inafanya kazi kupitia njia za mkato na utafutaji wa kuchagua badala ya hesabu ya kina, basi mashine inayotumia njia za mkato na utafutaji wa kuchagua inaweza kuwa na akili pia. Kila kitu ambacho Simon alijenga katika AI kinatokana na hatua hiyo moja.

Cv Ambayo Haipaswi Kuwepo

Herbert Alexander Simon (1916–2001) alipata PhD katika sayansi ya kisiasa (Chicago, 1943), aliandika Administrative Behavior (1947) kuhusu jinsi mashirika yanavyofanya maamuzi, na alitumia miongo mitano katika Carnegie Mellon akifanya kazi katika uchumi, saikolojia, sayansi ya kompyuta na falsafa ya sayansi. Tuzo zinaonyesha wigo: 1975 ACM Turing Award pamoja na Allen Newell, kwa michango ya msingi katika akili bandia na saikolojia ya utambuzi wa binadamu; 1978 Nobel Memorial Prize in Economics, kwa utafiti wa awali kuhusu maamuzi katika mashirika ya kiuchumi; 1986 U.S. National Medal of Science. Bado ni mmoja wa watu wachache kuwahi kuwa na Turing na Nobel — kwa kile alichodai kuwa ni mpango mmoja wa utafiti.

Mpango huo: elewa akili jinsi inavyofanya kazi — kwa watu, katika mashirika, katika mashine — chini ya mipaka halisi ya taarifa, hesabu na muda. Nadharia nusu ilistaafu mtu wa kiuchumi mwenye mantiki kamili. Nusu ya uhandisi iliuliza swali la wazi linalofuata: ikiwa akili ni utafutaji ulio na mipaka, je, tunaweza kuijenga?

Mwanateolojia wa Mantiki: Ushahidi kwa Njia Fupi

Mwanateolojia wa Mantiki alishambulia theorems za Whitehead na Russell's Principia Mathematica — jengo la mantiki rasmi la karne ya mapema — na kuthibitisha 38 kati ya 52 za kwanza katika sura ya pili. Njia ilikuwa ujumbe: badala ya kupita kupitia kila derivation (nguvu ya kikatili ambayo vifaa vya enzi hiyo havingeweza kuhimili), ilitumia heuristics kuchagua njia zenye ahadi, ilifanya kazi nyuma kutoka kwa malengo, na ilisimama wakati ilikuwa na uthibitisho halali badala ya bora zaidi. Utafutaji wa heuristics na kuridhika — sayansi ya maamuzi ya Simon, ikifanya kazi kwa kasi ya mashine.

Kwa Theorem 2.85 ilipatikana uthibitisho mzuri zaidi kuliko wa awali. Bertrand Russell, wakati huo akiwa na umri wa makumi nane, alijibu kwa furaha wakati Simon alimwandikia kuhusu hilo. Jarida la Mantiki ya Alama lilikuwa gumu kulivutia: lilikataa kuchapisha matokeo hayo, likihukumu uthibitisho mpya wa theorema ya msingi kuwa haukustahili kuchapishwa — kwa wazi bila kuzingatia undani kwamba mmoja wa waandishi alikuwa programu ya kompyuta.

Mtatibu wa Tatizo Kuu: Mkakati Bila Mada

Programu ya mrithi ilikuwa na malengo makubwa zaidi katika mwelekeo ambao ungeweza kutarajia kutoka kwa mwandishi wa Tabia ya Utawala. Msaidizi Mkuu wa Kutatua Problemu — toleo la kwanza lilianza kufanya kazi mwaka 1957, ripoti ilichapishwa mwaka 1959 na Newell, Shaw na Simon — ilianzisha uchambuzi wa njia-malengo: pima tofauti kati ya hali ya sasa na hali ya lengo, pata opereta anayeweza kupunguza tofauti hiyo, itumie, rudia. Kuelekeza kwa kufunga pengo.

Uvumbuzi halisi wa GPS ulikuwa wa usanifu: ulitenga mkakati wa kutatua matatizo na maudhui ya tatizo. Injini hiyo hiyo inaweza kushughulikia fumbo, uthibitisho au mipango, ikitolewa maelezo ya hali na waendeshaji. Kutenganishwa huko — mbinu ya jumla, eneo linaloweza kuunganishwa — kulikuwa kanuni ya msingi ya muundo wa AI, na uchambuzi wa njia na malengo bado unaonekana ndani ya mifumo ya kupanga ya kisasa.

Dai Kubwa: Alama na Utafutaji

Katika hotuba yao ya Turing Award ya mwaka 1976, Sayansi ya Kompyuta kama Uchunguzi wa Kihalisia, Newell na Simon walikandamiza miongo miwili ya kazi katika nadharia maarufu zaidi ya uwanja huo: mfumo wa alama za kimwili una njia zinazohitajika na za kutosha kwa hatua ya akili ya jumla. Akili zinashughulikia alama; kompyuta zinashughulikia alama; kwa hivyo, ikiwa zimepangwa ipasavyo, kompyuta zinaweza kutenda kwa akili — na hakuna kitu zaidi ya usindikaji wa alama kinachohitajika. Hii ilikua katiba ya kile kinachoitwa AI ya alama, au GOFAI.

Walifanya pia makadirio yenye tarehe, na tarehe hizo zilikuwa si sahihi. Katika karatasi yao ya 1958 Operations Research, Simon na Newell walikadiria kwamba ndani ya miaka kumi kompyuta ya kidijitali ingekuwa bingwa wa chess wa dunia, isipokuwa sheria zingezuia ushindani wake. Bingwa wa dunia alishindwa na kompyuta mwaka 1997 — miaka 39 baada ya makadirio, si kumi. Ni muhimu kutaja ni aina gani ya makosa hayo: mfumo (tafutizi ya heuristics juu ya nafasi ambayo hakuna mashine inaweza kuichoka) ulikuwa sahihi kabisa; muda ulikuwa mbali na kizazi. Ukweli wote wawili unapaswa kuwekwa katika rekodi.

Je, Kujifunza kwa Kina hakukuthibitisha Simon kuwa na makosa?

Hapa kuna pingamizi ambalo msomaji wa 2026 anakuja nalo: AI ya kisasa si ya alama. Mitandao ya neva inajifunza mifumo kutoka kwa data; hakuna mtu anayeandika kwa mkono heuristics; na insha ya Richard Sutton ya 2019 yenye ushawishi The Bitter Lesson inasomeka kama hukumu dhidi ya mbinu nzima ya Simon — miaka sabini ya historia ya AI ikionyesha kwamba mbinu za jumla ambazo zinaweza kupanuka na hesabu zinashinda mifumo iliyojengwa juu ya maarifa ya eneo yaliyoundwa na binadamu.

Pingamizi linafanikiwa — kwa sehemu. Dai la nguvu la alama halikupita: ilionekana kuwa, alama hazikuwa za kutosha, na programu za maarifa zilizojengwa kwa mikono za miaka ya 1970 na 80 zilisimama kama Sutton anavyoelezea. Ripoti ya kweli ya Simon inasema hivyo wazi. Lakini soma hitimisho la The Bitter Lesson lenyewe: familia mbili za mbinu zinazopanuka ni tafuta na kujifunza. Tafutizi ya heuristics ni mchango wa Simon na Newell katika uwanja, ikiwa hai leo kutoka kwa tafutizi ya mti wa mchezo hadi mizunguko ya mantiki ya makusudi ya mifumo ya AI ya sasa. Na kile mitandao ya kina inachofanya — kutambua mifumo iliyokusanywa kutoka kwa uzoefu mkubwa — ni karibu sana na ufafanuzi wa Simon wa utaalamu. Kujifunza kwa nguvu, ambao waanzilishi wake Andrew Barto na Richard Sutton walipokea Tuzo ya Turing ya 2024 (iliyotangazwa Machi 2025), ni tafutizi ya majaribio na makosa chini ya mipaka ya kompyuta — mpango wa utafiti ambao Simon angeutambua kama jamaa.

Hivyo, kadi ya alama imegawanywa, na mgawanyiko huo ni wa kufundisha: mchoro aliyeuweka alishindwa; nadharia ya akili iliyo chini yake ilishinda. Mashine hazikufanyika kuwa na akili kwa kuhesabu kwa kina. Zilikua na akili kwa kutafuta kwa mipaka, heuristics, na kutambua — ambayo ni dai ambalo Simon aliwekeza maisha yake. Kazi za hivi karibuni zinafungua mzunguko kutoka upande mwingine: tafiti za 2025 zinaonyesha mifano mikubwa ya lugha ikionyesha mantiki iliyo na mipaka yenyewe, ikipotoka kutoka kwa ufanisi wa nadharia ya mchezo kwa njia zinazofanana na za kibinadamu, wakati kuridhika kumejengwa katika ulinganifu wa mfano kama vizuizi vya kiwango cha matarajio.

Alama za vidole za Simon kwenye AI ya Kisasa

Muda: Maisha ya Mtu Mbalimbali

Nini Kichukue Kutoka kwa Simon Katika Kipindi cha AI

Kanuni nne za kazi kwa mtu yeyote anayejenga na, au kuamua pamoja na, mashine zilizopangwa:

Mahali ambapo Argumentree inafaa

Simon alichukulia akili za kibinadamu na mashine kama somo moja: wakala walio na mipaka wakitafuta chini ya vizuizi. Argumentree imejengwa kwa msingi huo huo. Hoja za kibinadamu na hoja zilizovunwa na AI zinatua katika muundo mmoja unaoweza kukaguliwa — mti — ambapo mantiki inaonekana, viwango vinaelekeza umakini mdogo kwenye pointi zenye nguvu, na rekodi inabaki kama kumbukumbu ya shirika.

Kwa timu ambazo matumizi ya AI yanapaswa kukaguliwa, bidhaa dada AIAgentree inapanua wazo hilo kwa mantiki ya mashine yenyewe — kufuatilia jinsi mfumo wa AI ulivyofikia hitimisho lake, katika muundo ambao Simon angeuliza kuona.

Beti Ndefu

Saa ya chess ya Simon ilikimbia mara nne, usanifu wa alama uliacha, na uwanja aliouanzisha sasa unatumia mbinu ambazo hakuziunda. Imehukumiwa kama unabii, rekodi mchanganyiko. Imehukumiwa kama sayansi, kitu nadra zaidi: dai kuu — kwamba akili, popote inapotokea, ni utafutaji ulio na mipaka unaoongozwa na kutambua — umepita kila usanifu ulio tumika kuijaribu, ikiwa ni pamoja na wake mwenyewe.

Ndio maana sentensi ya darasani bado inakubalika miaka sabini baadaye. Hakuwa akitangaza kifaa. Alikuwa akitangaza kwamba kufikiri kumekuwa somo la uhandisi — kwa akili, kwa mashirika, na sasa kwa mashine.