Shumëkush shpreson se inteligjenca artificiale (IA) do të zbulojë të vërtetat etike. Por, siç tregon Gödel, përcaktimi i asaj që është e drejtë do të mbetet gjithmonë barra jonë.
Nga: Elad Uzan, filozof në Universitetin e Oksfordit / AEON.co
Përktheu: Agron Shala / Telegrafi.com
Paramendojeni botën ku inteligjencës artificiale i besohet përgjegjësia më e lartë morale: dënimi i kriminelëve, shpërndarja e burimeve mjekësore, madje edhe ndërmjetësimi i konflikteve midis kombeve. Mund të duket si kulmi i përparimit njerëzor: një entitet i pandikuar nga emocionet, paragjykimet apo paqëndrueshmëria, merr vendime etike me një saktësi të përsosur. Ndryshe nga gjyqtarët apo politikanët njerëzorë, makina nuk ndikohet nga interesat personale apo gabimet në arsyetim. Ajo nuk gënjen. Nuk pranon ryshfete apo lutje. Nuk vajton për vendime të vështira.
Por, nĂ«n kĂ«tĂ« vizion tĂ« njĂ« arbitri tĂ« idealizuar moral, qĂ«ndron njĂ« pyetje themelore: a mund tĂ« kuptojĂ« makina moralin ashtu siç e kuptojnĂ« njerĂ«zit, apo Ă«shtĂ« e kufizuar nĂ« silmulakrĂ«n e arsyetimit etik? Inteligjenca artificiale mund tĂ« pĂ«rsĂ«risĂ« vendimet njerĂ«zore pa i pĂ«rmirĂ«suar ato, duke bartur tĂ« njĂ«jtat paragjykime, tĂ« meta dhe shtrembĂ«rime kulturore qĂ« gjenden nĂ« gjykimin moral njerĂ«zor. NĂ« pĂ«rpjekjen pĂ«r tĂ« na imituar, ajo mund tĂ« riprodhojĂ« vetĂ«m kufizimet tona, pa i kapĂ«rcyer ato. Por, ekziston njĂ« shqetĂ«sim edhe mĂ« i thellĂ«. Gjykimi moral mbĂ«shtetet nĂ« intuitĂ«, ndĂ«rgjegjĂ«sim historik dhe kontekst â cilĂ«si qĂ« i rezistojnĂ« formalizmit. Etika mund tĂ« jetĂ« aq e rrĂ«njosur nĂ« pĂ«rvojĂ«n e jetuar, saqĂ« çdo pĂ«rpjekje pĂ«r ta koduar atĂ« nĂ« struktura formale rrezikon tĂ« zhveshĂ« tiparet e saj mĂ« thelbĂ«sore. NĂ«se Ă«shtĂ« kĂ«shtu, atĂ«herĂ« inteligjenca artificiale jo vetĂ«m qĂ« do tĂ« pasqyronte mangĂ«sitĂ« njerĂ«zore; ajo do ta zhveshte moralin pikĂ«risht nga thellĂ«sia qĂ« nĂ« radhĂ« tĂ« parĂ« e bĂ«n tĂ« mundur reflektimin etik.
MegjithatĂ«, shumĂ«kush ka tentuar tĂ« formalizojĂ« etikĂ«n, duke trajtuar disa pohime morale â jo si pĂ«rfundime, por si pikĂ«nisje. NjĂ« shembull klasik vjen nga utilitarizmi, i cili shpesh e merr si aksiomĂ« themelore parimin se duhet vepruar pĂ«r tĂ« maksimizuar mirĂ«qenien e pĂ«rgjithshme. Nga ky parim, mund tĂ« nxirren parime mĂ« tĂ« veçanta, pĂ«r shembull se Ă«shtĂ« e drejtĂ« tĂ« pĂ«rfitojĂ« numri mĂ« i madh i njerĂ«zve, ose se veprimet duhet tĂ« gjykohen nĂ« bazĂ« tĂ« pasojave qĂ« kanĂ« pĂ«r lumturinĂ« e pĂ«rgjithshme. Me rritjen e kapaciteteve kompjuterike, inteligjenca artificiale po bĂ«het gjithnjĂ« e mĂ« e pĂ«rshtatshme pĂ«r detyrĂ«n pĂ«r tĂ« filluar nga supozimi i fiksuar etik dhe te analizimi i pasojave tĂ« tyre nĂ« situata tĂ« ndĂ«rlikuara.
Por, çfarĂ« do tĂ« thotĂ«, saktĂ«sisht, tĂ« formalizosh diçka si etika? Kjo pyetje kuptohet mĂ« lehtĂ« duke analizuar fushat ku sistemet formale prej kohĂ«sh kanĂ« luajtur njĂ« rol qendror. Fizika, pĂ«r shembull, Ă«shtĂ« mbĂ«shtetur pĂ«r shekuj tĂ« tĂ«rĂ« nĂ« formalizĂ«m. Nuk ekziston njĂ« teori e vetme fizike qĂ« shpjegon gjithçka. NĂ« vend tĂ« kĂ«saj, kemi shumĂ« teori fizike, secila e projektuar pĂ«r tĂ« pĂ«rshkruar aspekte tĂ« veçanta tĂ« universit: nga sjellja e kuarkeve dhe elektroneve e deri te lĂ«vizja e galaktikave. KĂ«to teori shpesh ndryshojnĂ« nga njĂ«ra-tjetra. Fizika aristoteliane, pĂ«r shembull, shpjegonte rĂ«nien e trupave nĂ« termat e lĂ«vizjes natyrore drejt qendrĂ«s sĂ« TokĂ«s; mekanika njutoniane e zĂ«vendĂ«soi kĂ«tĂ« me forcĂ«n universale tĂ« gravitetit. KĂ«to shpjegime nuk janĂ« thjesht tĂ« ndryshme; ato janĂ« tĂ« papajtueshme. MegjithatĂ«, tĂ« dyja kanĂ« njĂ« strukturĂ« tĂ« pĂ«rbashkĂ«t: ato fillojnĂ« me postulatet bazike â supozime pĂ«r lĂ«vizjen, forcĂ«n ose masĂ«n â dhe prej tyre nxjerrin pasoja gjithnjĂ« e mĂ« komplekse. Ligjet e lĂ«vizjes tĂ« Isaac Newtonit dhe ekuacionet e James Clerk Maxwellit janĂ« shembuj klasikĂ«: formulime tĂ« pĂ«rmbledhura dhe elegante, prej tĂ« cilave mund tĂ« deduktohen parashikimet e gjera mbi botĂ«n fizike.
TeoritĂ« etike kanĂ« njĂ« strukturĂ« tĂ« ngjashme. Ashtu si teoritĂ« fizike, ato pĂ«rpiqen tĂ« pĂ«rshkruajnĂ« njĂ« fushĂ« â nĂ« kĂ«tĂ« rast, peizazhin moral. Ato synojnĂ« tĂ« japin pĂ«rgjigje ndaj pyetjeve se cilat veprime janĂ« tĂ« drejta apo tĂ« gabuara dhe pse. Edhe kĂ«to teori ndryshojnĂ« ndĂ«rmjet vete dhe, edhe kur rekomandojnĂ« veprime tĂ« ngjashme â si pĂ«r shembull dhuratat pĂ«r bamirĂ«si â ato i justifikojnĂ« ato nĂ« mĂ«nyra tĂ« ndryshme. TeoritĂ« etike gjithashtu shpeshherĂ« nisin nga njĂ« grup i vogĂ«l parimesh apo pohimesh themelore nga tĂ« cilat ndĂ«rtojnĂ« arsyetime pĂ«r problemet mĂ« tĂ« ndĂ«rlikuara morale. NjĂ« konsekuencialist fillon nga ideja se veprimet duhet tĂ« maksimizojnĂ« mirĂ«qenien; njĂ« deontolog nis nga ideja se veprimet duhet tĂ« respektojnĂ« detyrimet apo tĂ« drejtat. KĂ«to angazhime themelore funksionojnĂ« nĂ« mĂ«nyrĂ« tĂ« ngjashme me postulatet nĂ« fizikĂ«: ato pĂ«rcaktojnĂ« strukturĂ«n e arsyetimit moral brenda çdo teorie etike.
Ashtu siç pĂ«rdoret IA-ja nĂ« fizikĂ« pĂ«r tĂ« funksionuar brenda teorive ekzistuese â pĂ«r shembull, pĂ«r tĂ« optimizuar dizajnin e eksperimenteve apo pĂ«r tĂ« parashikuar sjelljen e sistemeve tĂ« ndĂ«rlikuara â ajo mund tĂ« pĂ«rdoret edhe nĂ« etikĂ« pĂ«r tĂ« zgjeruar arsyetimin moral brenda njĂ« kornize tĂ« caktuar. NĂ« fizikĂ«, IA-ja zakonisht operon brenda modeleve tĂ« pranuara dhe jo duke propozuar ligje tĂ« reja fizike apo njĂ« kuadĂ«r tĂ« ri konceptual. Ajo mund tĂ« llogarisĂ« se si bashkĂ«veprojnĂ« disa forca dhe t; parashikojĂ« efektin e tyre tĂ« pĂ«rbashkĂ«t mbi njĂ« sistem fizik. Po ashtu, nĂ« etikĂ«, IA-ja nuk gjeneron parime tĂ« reja morale, por zbaton ato ekzistueset nĂ« situata tĂ« reja dhe shpeshherĂ« tĂ« ndĂ«rlikuara. Mund tâi peshojĂ« vlera konkurruese â drejtĂ«sia, minimizimi i dĂ«mit, barazia â dhe tĂ« vlerĂ«sojĂ« pasojat e tyre tĂ« kombinuara pĂ«r tĂ« pĂ«rcaktuar se cili veprim Ă«shtĂ« moralisht mĂ« i drejtĂ«. Rezultati nuk Ă«shtĂ« njĂ« sistem i ri moral, por njĂ« zbatim mĂ« i thellĂ« i njĂ« sistemi ekzistues i formĂ«suar nga i njĂ«jti lloj arsyetimi formal qĂ« qĂ«ndron nĂ« themel tĂ« modelimit shkencor. Por, a ka njĂ« kufi tĂ« brendshĂ«m pĂ«r atĂ« qĂ« IA-ja mund tĂ« dijĂ« mbi moralin? A mund tĂ« ketĂ« propozime tĂ« vĂ«rteta etike tĂ« cilat asnjĂ« makinĂ«, sado e avancuar, nuk do tĂ« mund tâi vĂ«rtetojĂ« ndonjĂ«herĂ«?
KĂ«to pyetje pasqyrojnĂ« njĂ« zbulim themelor nĂ« logjikĂ«n matematikore â ndoshta depĂ«rtimin mĂ« themelor tĂ« vĂ«rtetuar ndonjĂ«herĂ«: teoremat e paplotĂ«sisĂ« sĂ« Kurt Gödelit. Ato tregojnĂ« se çdo sistem logjik â qĂ« Ă«shtĂ« mjaftueshĂ«m i fuqishĂ«m pĂ«r tĂ« pĂ«rshkruar aritmetikĂ«n â Ă«shtĂ« ose i pasaktĂ« ose i paplotĂ«. NĂ« kĂ«tĂ« ese, unĂ« argumentoj se ky kufizim, megjithĂ«se me origjinĂ« matematikore, ka pasoja tĂ« thella pĂ«r etikĂ«n dhe pĂ«r mĂ«nyrĂ«n se si ne i projektojmĂ« sistemet IA-sĂ« qĂ« arsyetojnĂ« nĂ« aspektin moral.
Supozoni se po projektojmĂ« njĂ« sistem tĂ« IA-sĂ« pĂ«r tĂ« modeluar marrjen e vendimeve morale. Ashtu si sistemet e tjera tĂ« IA-sĂ« â qofshin ato qĂ« parashikojnĂ« çmimet e aksioneve, tĂ« orientojnĂ« nĂ« rrugĂ« apo pĂ«rzgjedhin pĂ«rmbajtje â do tĂ« programohej pĂ«r tĂ« maksimizuar disa objektiva tĂ« pĂ«rcaktuara mĂ« parĂ«. PĂ«r ta bĂ«rĂ« kĂ«tĂ«, duhet tĂ« mbĂ«shtetet nĂ« logjikĂ« formale, kompjuterike: ose nĂ« arsyetim deduktiv, i cili i nxjerr pĂ«rfundimet nga rregullat dhe aksiomat fikse, ose nĂ« arsyetim probabilistik qĂ« vlerĂ«son gjasat bazuar nĂ« modelet e nxjerra nga tĂ« dhĂ«nat. NĂ« tĂ« dy rastet, IA-ja duhet tĂ« adoptojĂ« njĂ« strukturĂ« matematikore pĂ«r vlerĂ«simin moral. Por, teoremat e paplotĂ«sisĂ« tĂ« Gödelit zbulojnĂ« njĂ« kufizim themelor. Gödeli tregoi se çdo sistem formal qĂ« Ă«shtĂ« mjaftueshĂ«m i fuqishĂ«m pĂ«r tĂ« shprehur aritmetikĂ«n â si numrat natyrorĂ« dhe veprimet mbi ta â nuk mund tĂ« jetĂ« njĂ«kohĂ«sisht i plotĂ« dhe i qĂ«ndrueshĂ«m. NĂ«se njĂ« sistem i tillĂ« Ă«shtĂ« i qĂ«ndrueshĂ«m, gjithmonĂ« do tĂ« ketĂ« pohime tĂ« vĂ«rteta tĂ« cilat ai nuk mund tâi vĂ«rtetojĂ«. NĂ« veçanti, kur kjo aplikohet nĂ« IA, sugjeron se çdo sistem qĂ« Ă«shtĂ« nĂ« gjendje tĂ« kryejĂ« njĂ« arsyetim tĂ« pasur moral, nĂ« mĂ«nyrĂ« tĂ« pashmangshme do tĂ« ketĂ« âtĂ« meta moraleâ: tĂ« vĂ«rteta etike tĂ« cilat nuk do tĂ« mund tâi nxjerrĂ« logjikisht. KĂ«tu, âe vĂ«rtetaâ i referohet sĂ« vĂ«rtetĂ«s nĂ« kuptimin standard tĂ« aritmetikĂ«s â pĂ«r shembull, pohimit se â2 + 2 = 4â qĂ« Ă«shtĂ« i vĂ«rtetĂ« sipas rregullave tĂ« zakonshme matematikore. NĂ«se sistemi Ă«shtĂ« i paqĂ«ndrueshĂ«m, atĂ«herĂ« ai do tĂ« mund tĂ« vĂ«rtetojĂ« gjithçka, pĂ«rfshirĂ« edhe kundĂ«rshtitĂ«, çka do ta bĂ«nte tĂ« pavlefshĂ«m si udhĂ«rrĂ«fyes pĂ«r vendime etike.
Â
Teoremat e paplotĂ«sisĂ« tĂ« Gödelit nuk zbatohen vetĂ«m pĂ«r IA-nĂ«, por pĂ«r çdo lloj arsyetimi etik tĂ« strukturuar brenda njĂ« sistemi formal. Dallimi kyç qĂ«ndron nĂ« faktin se njerĂ«zit, tĂ« paktĂ«n nĂ« parim, mund tâi rishikojnĂ« supozimet e veta, tĂ« adoptojnĂ« parime tĂ« reja dhe tĂ« rimendojnĂ« vetĂ« kuadrin teorik. IA-ja, pĂ«r dallim, mbetet e kufizuar brenda strukturave formale qĂ« i janĂ« dhĂ«nĂ«, ose operon brenda atyre qĂ« mund tâi ndryshojĂ« vetĂ«m sipas kufizimeve tĂ« paracaktuara. NĂ« kĂ«tĂ« mĂ«nyrĂ«, teoremat e Gödelit vendosin njĂ« kufi logjik pĂ«r atĂ« qĂ« IA-ja, nĂ«se ndĂ«rtohet mbi sisteme formale, mund tĂ« vĂ«rtetojĂ« ose tĂ« konfirmojĂ« plotĂ«sisht pĂ«r moralin brenda atyre sistemeve.
Shumica prej nesh është njohur për herë të parë me aksiomat në shkollë, zakonisht përmes gjeometrisë. Një shembull i famshëm është postulati i paraleleve, i cili thotë se nëse zgjedh një pikë jashtë një vije, mund të vizatosh saktësisht një vijë tjetër përmes asaj pike që është paralele me vijën origjinale. Për më shumë se 2000 vjet, kjo është konsideruar si një e vërtetë e vetëkuptueshme. Por, në shekullin XIX, matematikanët si Carl Friedrich Gauss, Nikolai Lobachevsky dhe Jånos Bolyai treguan se është e mundur të ndërtosh gjeometri të brendshme të qëndrueshme në të cilat postulati i paraleleve nuk vlen. Në disa nga këto gjeometri, nuk ekzistojnë fare vijat paralele; në disa të tjera ekzistojnë pafundësisht shumë. Këto gjeometri joeuklidiane e tronditën besimin se aksiomat e Euklidit përshkruanin në mënyrë unike hapësirën.
Ky zbulim ngjalli njĂ« shqetĂ«sim mĂ« tĂ« thellĂ«: NĂ«se mund tĂ« hidhej poshtĂ« postulati i paraleleve qĂ« pĂ«r njĂ« kohĂ« tĂ« gjatĂ« u konsiderua i nĂ«nkuptueshĂ«m, çfarĂ« ndodh me aksiomat e aritmetikĂ«s tĂ« cilat pĂ«rcaktojnĂ« numrat natyrorĂ« dhe veprimet e mbledhjes dhe tĂ« shumĂ«zimit? Me çfarĂ« baze mund tĂ« besojmĂ« se ato janĂ« tĂ« lira nga kundĂ«rthĂ«niet e fshehura? MegjithatĂ«, bashkĂ« me kĂ«tĂ« sfidĂ« erdhi edhe njĂ« premtim. NĂ«se do tĂ« mund tĂ« vĂ«rtetohej qĂ« aksiomat e aritmetikĂ«s janĂ« tĂ« qĂ«ndrueshme, atĂ«herĂ« mund tĂ« zgjerohej sistemi pĂ«r tĂ« zhvilluar njĂ« grup aksiomash mĂ« tĂ« pasura qĂ« pĂ«rcaktojnĂ« numrat e plotĂ«, racionalĂ«, realĂ«, kompleksĂ« dhe mĂ« tej. Siç e shprehu matematikani i shekullit XIX, Leopold Kronecker: âZoti krijoi numrat natyrorĂ«; gjithçka tjetĂ«r Ă«shtĂ« vepĂ«r e njeriutâ. VĂ«rtetimi i qĂ«ndrueshmĂ«risĂ« sĂ« aritmetikĂ«s do tĂ« thoshte vĂ«rtetim i qĂ«ndrueshmĂ«risĂ« sĂ« shumĂ« fushave tĂ« rĂ«ndĂ«sishme tĂ« matematikĂ«s.
MetodĂ«n pĂ«r vĂ«rtetimin e qĂ«ndrueshmĂ«risĂ« sĂ« aritmetikĂ«s e propozoi matematikani David Hilbert. Qasja e tij pĂ«rfshinte dy hapa. SĂ« pari, Hilberti argumentoi se pĂ«r tĂ« vĂ«rtetuar qĂ«ndrueshmĂ«rinĂ« e njĂ« sistemi formal, duhet tĂ« jetĂ« e mundur tĂ« formulohet, brenda gjuhĂ«s simbolike tĂ« vetĂ« sistemit, njĂ« pohim ekuivalent me âKy sistem Ă«shtĂ« i qĂ«ndrueshĂ«mâ dhe pastaj tĂ« vĂ«rtetohet ky pohim duke pĂ«rdorur vetĂ«m rregullat e arsyetimit tĂ« vetĂ« sistemit. Prova nuk duhet tĂ« mbĂ«shtetet nĂ« asgjĂ« jashtĂ« sistemit â madje as nĂ« ânĂ«nkuptiminâ e supozuar tĂ« aksiomave tĂ« tij. SĂ« dyti, Hilberti mbĂ«shteti argumentimin e aritmetikĂ«s nĂ« diçka edhe mĂ« bazike. KĂ«tĂ« detyrĂ« e ndĂ«rmorĂ«n Bertrand Russell dhe Alfred North Whitehead nĂ« veprĂ«n e tyre monumentale Principia Mathematica (1910-1913). Duke punuar nĂ« fushĂ«n e logjikĂ«s simbolike â njĂ« fushĂ« qĂ« nuk merret me numra, por me propozime abstrakte si ânĂ«se x, atĂ«herĂ« yâ â ata treguan se aksiomat e aritmetikĂ«s mund tĂ« nxirreshin si teorema nga njĂ« grup mĂ« i vogĂ«l aksiomash logjike. Kjo la vetĂ«m njĂ« sfidĂ« pĂ«rfundimtare: a mundet qĂ« grupi i aksiomave tĂ« logjikĂ«s simbolike, mbi tĂ« cilin ndĂ«rtohet aritmetika, tĂ« vĂ«rtetojĂ« qĂ«ndrueshmĂ«rinĂ« e vet? NĂ«se do tĂ« ishte e mundur, Ă«ndrra e Hilbertit do tĂ« pĂ«rmbushej. Ky ishte aspirimi kryesor i matematikĂ«s nĂ« fillim tĂ« shekullit XX.
PikĂ«risht nĂ« kĂ«tĂ« klimĂ« optimizmi, Kurt Gödel, njĂ« logjicien i ri austriak, solli njĂ« rezultat qĂ« do ta shkatĂ«rronte vizionin e Hilbertit. NĂ« vitin 1931, Gödeli publikoi teoremat e tij tĂ« paplotĂ«sisĂ«, duke treguar se Ă«shtĂ« e pamundur vetĂ« ideja e njĂ« sistemi matematikor plotĂ«sisht tĂ« vetĂ«mjaftueshĂ«m. MĂ« saktĂ«sisht, Gödeli tregoi se nĂ«se njĂ« sistem formal pĂ«rmbush disa kushte, ai do tĂ« pĂ«rmbajĂ« pohime tĂ« vĂ«rteta tĂ« cilat nuk mund tâi vĂ«rtetojĂ«. Ai duhet tĂ« jetĂ« mjaftueshĂ«m kompleks pĂ«r tĂ« shprehur aritmetikĂ«n, tĂ« pĂ«rfshijĂ« parimin e induksionit (i cili lejon qĂ« tĂ« provohen pohime tĂ« pĂ«rgjithshme duke treguar se vlejnĂ« pĂ«r njĂ« rast bazik dhe nĂ« çdo hap pasues), tĂ« jetĂ« i qĂ«ndrueshĂ«m dhe tĂ« ketĂ« njĂ« grup aksiomash tĂ« pĂ«rcaktuara (qĂ« do tĂ« thotĂ« se Ă«shtĂ« e mundur tĂ« pĂ«rcaktohet pĂ«r çdo pohim nĂ«se Ă«shtĂ« aksiomĂ« apo jo). Ădo sistem qĂ« pĂ«rmbush kĂ«to kushte, si grupi i aksiomave logjike tĂ« zhvilluara nga Russell dhe Whitehead nĂ« Principia Mathematica, do tĂ« jetĂ« domosdo i paplotĂ«: gjithmonĂ« do tĂ« ketĂ« pohime qĂ« janĂ« tĂ« shprehshme brenda sistemit, por tĂ« paverifikueshme prej aksiomave tĂ« tij. Akoma mĂ« interesant, Gödeli tregoi se njĂ« sistem i tillĂ« mund tĂ« shprehĂ«, por nuk mund tĂ« vĂ«rtetojĂ« pohimin se vetĂ« ai Ă«shtĂ« i qĂ«ndrueshĂ«m.
Prova e Gödelit, tĂ« cilĂ«n e thjeshtoj kĂ«tu, mbĂ«shtetet nĂ« dy ide kryesore qĂ« burojnĂ« nga aritmetizimi i sintaksĂ«s â njĂ« ide tepĂ«r e fuqishme qĂ« lidhet me shoqĂ«rimin e çdo fjalie tĂ« njĂ« sistemi formal me njĂ« numĂ«r tĂ« caktuar natyror tĂ« njohur si numri i Gödelit. SĂ« pari, çdo sistem mjaftueshĂ«m i ndĂ«rlikuar pĂ«r tĂ« shprehur aritmetikĂ«n dhe induksionin, duhet tĂ« lejojĂ« formula me variabla tĂ« lira, pra formula si S(x): âx = 10â, vlera e sĂ« cilĂ«s varet nga vlera qĂ« merr x. S(x) Ă«shtĂ« e vĂ«rtetĂ« kur x Ă«shtĂ« realisht 10, dhe e pavĂ«rtetĂ« nĂ« çdo rast tjetĂ«r. MeqĂ« çdo pohim nĂ« sistem ka njĂ« numĂ«r unik tĂ« Gödelit, G(S), njĂ« formulĂ« mund tâi referohet numrit tĂ« vet tĂ« Gödelit. MĂ« saktĂ«sisht, sistemi mund tĂ« formulojĂ« pohime tĂ« tilla si S(G(S)): âG(S) = 10â, vĂ«rtetĂ«sia e tĂ« cilit varet nga fakti nĂ«se numri i Gödelit i S(x)-it Ă«shtĂ« ose nuk Ă«shtĂ« i barabartĂ« me 10. SĂ« dyti, nĂ« çdo sistem logjik, njĂ« provĂ« e njĂ« formule S ka njĂ« strukturĂ« tĂ« caktuar: ajo fillon me aksioma, aplikon rregulla pĂ«r tĂ« nxjerrĂ« formula tĂ« reja nga ato aksioma, dhe nĂ« fund nxjerr vetĂ« formulĂ«n S. Ashtu siç çdo formulĂ« S ka njĂ« numĂ«r tĂ« Gödelit, G(S), edhe çdo prove S i caktohet njĂ« numĂ«r i Gödelit duke trajtuar gjithĂ« sekuencĂ«n e formulave nĂ« provĂ« si njĂ« formulĂ« tĂ« vetme tĂ« gjatĂ«. KĂ«shtu mund tĂ« pĂ«rkufizohet njĂ« marrĂ«dhĂ«nie prove, P(x, y), ku P(x, y) vlen vetĂ«m nĂ«se x Ă«shtĂ« numri i Gödelit i njĂ« prove tĂ« S-sĂ«, dhe y Ă«shtĂ« numri i Gödelit i vetĂ« S-sĂ«. Pohimi se â s-ja kodon njĂ« provĂ« tĂ« S-sĂ« bĂ«het kĂ«shtu njĂ« deklaratĂ« brenda sistemit, pra P(x, y).
SĂ« treti, duke u mbĂ«shtetur mbi kĂ«to ide, Gödeli tregoi se çdo sistem formal qĂ« mund tĂ« shprehĂ« aritmetikĂ«n dhe parimin e induksionit, Ă«shtĂ« nĂ« gjendje tĂ« formulojĂ« pohime pĂ«r vetĂ« provat e veta. PĂ«r shembull, sistemi mund tĂ« shprehĂ« pohime tĂ« tilla si: ânuk ka asnjĂ« n qĂ« tĂ« jetĂ« numri i Gödelit i njĂ« prove tĂ« formulĂ«s Sâ. Me fjalĂ« tĂ« tjera, sistemi mund tĂ« deklarojĂ« se njĂ« formulĂ« e caktuar S Ă«shtĂ« e paprovuar brenda sistemit. SĂ« katĂ«rti, Gödeli ndĂ«rtoi nĂ« mĂ«nyrĂ« brilante njĂ« formulĂ« vetĂ«referuese, P, e cila pohon: âNuk ekziston ndonjĂ« numĂ«r n qĂ« tĂ« jetĂ« numĂ«r i Gödelit i njĂ« prove tĂ« formulĂ«s Pâ. Pra, P pohon pĂ«r vetveten: âP nuk Ă«shtĂ« i provueshĂ«mâ. NĂ« kĂ«tĂ« mĂ«nyrĂ«, P Ă«shtĂ« njĂ« deklaratĂ« formale qĂ« shpreh vetĂ« paprovueshmĂ«rinĂ« e vet brenda sistemit.
Pasojat janë të menjëhershme: nëse formula P do të ishte e provueshme brenda sistemit, atëherë ajo do të ishte e pavërtetë sepse ajo pohon se nuk ka provë për të. Kjo do të nënkuptonte që sistemi vërteton një të pavërtetë, gjë që e bën atë të paqëndrueshëm. Prandaj, nëse sistemi është i qëndrueshëm, atëherë P nuk mund të provohet, që do të thotë se P është me të vërtetë i paprovueshëm.
Nga kjo rrjedh menjĂ«herĂ« se nĂ«se formula P do tĂ« ishte e provueshme brenda sistemit, atĂ«herĂ« ajo do tĂ« ishte e pavĂ«rtetĂ«, sepse ajo pohon se nuk ka provĂ«. Kjo do tĂ« nĂ«nkuptonte qĂ« sistemi vĂ«rteton njĂ« tĂ« pavĂ«rtetĂ« dhe, si rrjedhojĂ«, Ă«shtĂ« i paqĂ«ndrueshĂ«m. Prandaj, nĂ«se sistemi Ă«shtĂ« i qĂ«ndrueshĂ«m, atĂ«herĂ« P nuk mund tĂ« provohet dhe, pĂ«r pasojĂ«, P Ă«shtĂ« vĂ«rtet i paprovueshĂ«m. Kjo na çon nĂ« pĂ«rfundimin se nĂ« çdo sistem tĂ« qĂ«ndrueshĂ«m formal, qĂ« Ă«shtĂ« mjaftueshĂ«m i pasur pĂ«r tĂ« shprehur aritmetikĂ«n dhe induksionin, do tĂ« ekzistojnĂ« gjithmonĂ« pohime tĂ« vĂ«rteta, por tĂ« paprovueshme â mĂ« e rĂ«ndĂ«sishmja nga tĂ« cilat Ă«shtĂ« vetĂ« pohimi i sistemit pĂ«r qĂ«ndrueshmĂ«rinĂ«.
Pasojat e teoremave tĂ« Gödelit ishin njĂ«herĂ«sh tĂ« thella dhe shqetĂ«suese. Ato shkatĂ«rruan shpresĂ«n e Hilbertit se matematika mund tĂ« reduktohej nĂ« njĂ« sistem tĂ« plotĂ«, mekanik, tĂ« nxjerrjes sĂ« pĂ«rfundimeve, dhe tĂ« ekspozojĂ« kufijtĂ« e brendshĂ«m tĂ« arsyetimit formal. Fillimisht, gjetjet e Gödelit u pĂ«rballĂ«n me rezistencĂ«, me disa matematikanĂ« qĂ« argumentuan se rezultatet e tij ishin mĂ« pak tĂ« pĂ«rgjithshme nga sa dukeshin. MegjithatĂ«, pĂ«rderisa matematikanĂ«t dhe logjicienĂ«t e tjerĂ« â mĂ« sĂ« shumti John von Neumann â konfirmuan saktĂ«sinĂ« dhe zbatueshmĂ«rinĂ« e gjerĂ« tĂ« tyre, teoremat e Gödelit u pranuan gjerĂ«sisht si njĂ« nga zbulimet mĂ« tĂ« rĂ«ndĂ«sishme nĂ« themelet e matematikĂ«s moderne.
Rezultatet e Gödelit gjithashtu kanĂ« nxitur debate filozofike. PĂ«r shembull, matematikani dhe fizikani Roger Penrose ka argumentuar se ato bĂ«jnĂ« me dije pĂ«r njĂ« dallim themelor midis njohjes njerĂ«zore dhe arsyetimit formal algoritmik. Ai pretendon se ndĂ«rgjegjja njerĂ«zore na lejon tĂ« perceptojmĂ« disa tĂ« vĂ«rteta â tĂ« tilla si ato qĂ« Gödeli tregoi se janĂ« tĂ« paprovueshme brenda sistemeve formale â nĂ« njĂ« mĂ«nyrĂ« qĂ« asnjĂ« proces algoritmik nuk mund ta replikojĂ«. Kjo sugjeron, sipas Penroseit, se disa aspekte tĂ« ndĂ«rgjegjes ndoshta qĂ«ndrojnĂ« pĂ«rtej fushĂ«s sĂ« pĂ«rllogaritjes. PĂ«rfundimi i tij paralelizohet me argumentin e John Searleit tĂ« DhomĂ«s kineze qĂ« pohon se kjo ndodh sepse algoritmet vetĂ«m manipulojnĂ« simbolet nĂ« mĂ«nyrĂ« sintaksore, pa e kuptuar aspak pĂ«rmbajtjen e tyre semantike. MegjithatĂ«, duhet theksuar se pĂ«rfundimet e Penroseit dhe Searleit nuk rrjedhin drejtpĂ«rdrejt nga teoremat e Gödelit. Rezultatet e Gödelit vlejnĂ« ekskluzivisht pĂ«r sistemet formale matematikore dhe nuk kanĂ« asnjĂ« pretendim pĂ«r ndĂ«rgjegjen apo njohjen njerĂ«zore. NĂ«se mendja njerĂ«zore mund tĂ« njohĂ« tĂ« vĂ«rteta tĂ« paprovueshme si tĂ« vĂ«rteta, apo nĂ«se makinat ndonjĂ«herĂ« do tĂ« mund tĂ« kenĂ« mendje qĂ« janĂ« nĂ« gjendje tĂ« bĂ«jnĂ« njĂ« gjĂ« tĂ« tillĂ«, kjo mbetet njĂ« pyetje e hapur filozofike.
MegjithatĂ«, teoremat e paplotĂ«sisĂ« tĂ« Gödelit zbulojnĂ« njĂ« kufizim tĂ« thellĂ« tĂ« arsyetimit algoritmik, nĂ« veçanti tĂ« IA-sĂ« â njĂ« kufizim qĂ« ka tĂ« bĂ«jĂ« jo vetĂ«m me llogaritjen, por me vetĂ« arsyetimin moral. Pa teoremat e tij, ishte tĂ« paktĂ«n e mundshme tĂ« imagjinohej qĂ« njĂ« IA mund tĂ« formalizonte tĂ« gjitha tĂ« vĂ«rtetat morale dhe, pĂ«rveç kĂ«saj, tâi provonte ato nga njĂ« grup aksiomash tĂ« qĂ«ndrueshme. Por, puna e Gödelit tregon se kjo Ă«shtĂ« e pamundur. AsnjĂ« IA, sado e sofistikuar, nuk mund tĂ« provojĂ« tĂ« gjitha tĂ« vĂ«rtetat morale qĂ« mund tĂ« shprehĂ«. Hendeku midis pretendimeve pĂ«r tĂ« vĂ«rtetĂ«n dhe provueshmĂ«risĂ« vendos njĂ« kufi themelor mbi atĂ« se sa larg mund tĂ« shkojĂ« arsyetimi formal moral, madje edhe pĂ«r makinat mĂ« tĂ« fuqishme.
Kjo ngre dy probleme të dallueshme për etikën. I pari është një problem i lashtë. Siç sugjeron Platoni në Eutifro, moraliteti nuk ka të bëjë vetëm me të bërit e asaj që është e drejtë, por me të kuptuarit pse është e drejtë. Veprimi etik kërkon justifikim, një llogaridhënie të mbështetur në arsyetim. Ky ideal i justifikimit moral racional ka gjallëruar pjesën më të madhe të mendimit tonë etik, por teoremat e Gödelit sugjerojnë se, nëse arsyetimi moral formalizohet, atëherë do të ketë të vërteta morale që nuk mund të provohen brenda atyre sistemeve. Në këtë mënyrë, Gödeli nuk minoi vetëm vizionin e Hilbertit për të provuar qëndrueshmërinë e matematikës; ai mund të ketë lëkundur gjithashtu shpresën e Platonit për ta mbështetur etikën krejtësisht në arsyetim.
Problemi i dytĂ« Ă«shtĂ« mĂ« praktik. Edhe njĂ« IA me performancĂ« tĂ« lartĂ« mund tĂ« hasĂ« situatat ku nuk mund tĂ« justifikojĂ« ose tĂ« shpjegojĂ« rekomandimet e saj duke pĂ«rdorur vetĂ«m kornizĂ«n etike qĂ« i Ă«shtĂ« dhĂ«nĂ«. ShqetĂ«simi nuk Ă«shtĂ« vetĂ«m se IA-ja mund tĂ« veprojĂ« nĂ« mĂ«nyrĂ« joetike, por edhe se nuk mund tĂ« tregojĂ« se veprimet e saj janĂ« etike. Kjo bĂ«het veçanĂ«risht urgjente kur IA-ja pĂ«rdoret pĂ«r tĂ« udhĂ«zuar ose justifikuar vendimet qĂ« merren nga njerĂ«zit. Edhe njĂ« IA me performancĂ« tĂ« lartĂ« do tĂ« pĂ«rballet me njĂ« kufi pĂ«rtej tĂ« cilit nuk mund tĂ« justifikojĂ« ose shpjegojĂ« vendimet e saj duke pĂ«rdorur vetĂ«m burimet e kornizĂ«s sĂ« saj. PavarĂ«sisht se sa e avancuar bĂ«het, do tĂ« ketĂ« tĂ« vĂ«rteta etike qĂ« ajo mund tâi shprehĂ«, por kurrĂ« nuk mund tâi provojĂ«.
Zhvillimi i AI-së moderne përgjithësisht është ndarë në dy qasje: IA-ja e bazuar në logjikë, e cila nxjerr njohuri përmes deduksionit të rreptë, dhe modelet e mëdha të gjuhës (LLM) të cilat parashikojnë kuptimin nga modelet statistikore. Të dyja qasjet mbështeten në struktura matematikore. Logjika formale bazohet në manipulimin simbolik dhe teorinë e bashkësive. LLM-të nuk bazohen rreptësisht në logjikën deduktive, por përdorin një kombinim të inferencës statistikore, të njohjes së modeleve dhe teknikave kompjuterike për të gjeneruar përgjigje.
Ashtu siç aksiomat ofrojnĂ« njĂ« themel pĂ«r arsyetimin matematikor, LLM-tĂ« mbĂ«shteten nĂ« marrĂ«dhĂ«nie statistikore nĂ« tĂ« dhĂ«na pĂ«r tĂ« afruar njĂ« arsyetim logjik. Ato angazhohen me etikĂ«n jo duke deduktuar tĂ« vĂ«rtetat morale, por duke riprodhuar mĂ«nyrĂ«n se si zhvillohen kĂ«to debate nĂ« gjuhĂ«. Kjo arrihet pĂ«rmes rĂ«nies sĂ« pjerrĂ«t [gradient descent], njĂ« algoritĂ«m qĂ« minimizon njĂ« funksion humbjeje duke pĂ«rditĂ«suar peshat nĂ« drejtimin qĂ« redukton gabimin, duke afruar funksione komplekse qĂ« lidhin hyrjet [input] me daljet [output], duke u mundĂ«suar atyre tĂ« pĂ«rgjithĂ«sojnĂ« modelet nga sasi tĂ« mĂ«dha tĂ« dhĂ«nash. Ato nuk deduktojnĂ« pĂ«rgjigje, por gjenerojnĂ« pĂ«rgjigje tĂ« besueshme me âarsyetiminâ qĂ« lind nga miliarda parametra tĂ« rrjetit nervor [tĂ« makinerisĂ«] dhe jo nga rregullat e shprehura qartĂ«. NdĂ«rsa ato funksionojnĂ« kryesisht si modele probabilistike qĂ« parashikojnĂ« tekstin bazuar nĂ« modelet statistikore, logjika kompjuterike luan njĂ« rol nĂ« optimizim, nĂ« njĂ« arsyetim tĂ« bazuar nĂ« rregulla dhe nĂ« disa procese vendimmarrjeje brenda rrjeteve nervore.
Por, vetĂ« probabiliteti dhe statistika janĂ« sisteme formale, tĂ« bazuara jo vetĂ«m nĂ« aritmetikĂ«, por edhe nĂ« aksioma probabilistike â si ato tĂ« prezantuara nga matematikani sovjetik Andrey Kolmogorov, tĂ« cilat rregullojnĂ« se si nxirret, pĂ«rditĂ«sohet me tĂ« dhĂ«na tĂ« reja dhe pĂ«rmblidhet nĂ«pĂ«r skenarĂ« mundĂ«sia e ngjarjeve komplekse. Ădo gjuhĂ« formale, mjaftueshĂ«m komplekse pĂ«r tĂ« shprehur pohime probabilistike ose statistike, mund tĂ« shprehĂ« gjithashtu aritmetikĂ« dhe pĂ«r rrjedhojĂ« i nĂ«nshtrohet teoremave tĂ« paplotĂ«sisĂ« sĂ« Gödelit. Kjo do tĂ« thotĂ« se LLM-tĂ« i trashĂ«gojnĂ« kufizimet godeliane. Edhe sistemet hibride, si IBM Watson, OpenAI Codex ose AlphaGo i DeepMind, tĂ« cilat kombinojnĂ« arsyetimin logjik me modelimin probabilistik, mbeten tĂ« lidhura nga kufizimet godeliane. TĂ« gjithĂ« pĂ«rbĂ«rĂ«sit e bazuar nĂ« rregulla janĂ« tĂ« kufizuar nga teoremat e Gödelit, tĂ« cilat tregojnĂ« se disa propozime tĂ« vĂ«rteta tĂ« shprehshme, nĂ« njĂ« sistem, nuk mund tĂ« provohen brenda tij. PĂ«rbĂ«rĂ«sit probabilistikĂ«, nga ana e vet, udhĂ«hiqen nga aksiomat formale qĂ« pĂ«rcaktojnĂ« se si pĂ«rditĂ«sohen shpĂ«rndarjet e probabilitetit, si pĂ«rmblidhen pasiguritĂ« dhe se si nxirren pĂ«rfundimet. Ata mund tĂ« japin pĂ«rgjigje tĂ« besueshme, por nuk mund tâi justifikojnĂ« ato pĂ«rtej modeleve statistikore mbi tĂ« cilat janĂ« trajnuar.
NĂ« pamje tĂ« parĂ«, kufizimet godeliane, mbi inteligjencĂ«n artificiale nĂ« pĂ«rgjithĂ«si dhe LLM-tĂ« nĂ« veçanti, mund tĂ« duken tĂ« parĂ«ndĂ«sishme. Fundja, shumica e sistemeve etike nuk janĂ« krijuar pĂ«r tĂ« zgjidhur çdo problem tĂ« imagjinueshĂ«m moral. Ato janĂ« krijuar pĂ«r tĂ« udhĂ«hequr fusha tĂ« caktuara, si lufta, ligji ose biznesi, dhe shpesh mbĂ«shteten nĂ« parime qĂ« janĂ« vetĂ«m pjesĂ«risht tĂ« formalizuara. NĂ«se mund tĂ« zhvillohen modelet formale pĂ«r raste specifike, dikush mund tĂ« argumentojĂ« se paaftĂ«sia pĂ«r tĂ« formalizuar plotĂ«sisht etikĂ«n nuk Ă«shtĂ« veçanĂ«risht shqetĂ«suese. PĂ«r mĂ« tepĂ«r, teoremat e paplotĂ«sisĂ« sĂ« Gödelit nuk ndaluan punĂ«n e pĂ«rditshme tĂ« matematikanĂ«ve. MatematikanĂ«t vazhdojnĂ« tĂ« kĂ«rkojnĂ« prova, edhe duke ditur se disa pohime tĂ« vĂ«rteta mund tĂ« jenĂ« tĂ« paprovueshme. NĂ« tĂ« njĂ«jtin frymĂ«zim, fakti qĂ« disa tĂ« vĂ«rteta etike mund tĂ« jenĂ« pĂ«rtej provĂ«s formale, kjo nuk duhet tĂ« dekurajojĂ« njerĂ«zit, apo IA-tĂ«, nga kĂ«rkimi i tyre, artikulimi i tyre dhe pĂ«rpjekja pĂ«r tâi justifikuar ose pĂ«r tâi provuar ato.
Por, zbulimet e Gödelit nuk ishin thjesht teorike. Ato kanë pasur pasoja praktike në vetë matematikën. Një rast i spikatur është hipoteza e vazhdueshmërisë, e cila pyet nëse ekziston një bashkësi, kardinaliteti i së cilës ndodhet krejtësisht midis numrave natyrorë dhe numrave realë. Kjo pyetje doli nga teoria e bashkësive, fusha matematikore që merret me koleksione entitetesh matematikore, si numra, funksione apo edhe bashkësi të tjera. Aksiomatizimi i pranuar më gjerësisht i saj, aksiomat e Zermelo-Fraenkelit të teorisë së bashkësive me Aksiomën e Zgjedhjes, qëndron në themel të pothuajse gjithë matematikës moderne. Në vitin 1938, vetë Gödeli tregoi se hipoteza e vazhdueshmërisë nuk mund të hidhet poshtë nga këto aksioma, me kusht që ato të jenë konsistente. Në vitin 1963, Paul Cohen vërtetoi të kundërtën: hipoteza e vazhdueshmërisë gjithashtu nuk mund të provohet nga të njëjtat aksioma. Ky rezultat historik konfirmoi se disa pyetje themelore matematikore ndodhen përtej zgjidhjes formale.
E njĂ«jta gjĂ«, them unĂ«, vlen pĂ«r etikĂ«n. KufijtĂ« qĂ« Gödeli zbuloi nĂ« matematikĂ« nuk janĂ« vetĂ«m teorikisht tĂ« rĂ«ndĂ«sishĂ«m pĂ«r etikĂ«n e AI-sĂ«; ata kanĂ« rĂ«ndĂ«si praktike. SĂ« pari, ashtu siç matematika pĂ«rmban pohime tĂ« vĂ«rteta qĂ« nuk mund tĂ« provohen brenda aksiomave tĂ« saj, mund tĂ« ketĂ« gjithashtu tĂ« vĂ«rteta etike qĂ« janĂ« formalisht tĂ« paprovueshme, por etikisht tĂ« rĂ«ndĂ«sishme â ekuivalentet morale tĂ« hipotezĂ«s sĂ« vazhdueshmĂ«risĂ«. KĂ«to mund tĂ« shfaqen nĂ« sisteme tĂ« krijuara pĂ«r tĂ« trajtuar kompromise tĂ« vĂ«shtira, si pesha ndĂ«rmjet drejtĂ«sisĂ« dhe dĂ«mit. Ne nuk mund tĂ« parashikojmĂ« kur, apo madje nĂ«se, njĂ« IA qĂ« funksionon brenda njĂ« kuadri etik formal do tĂ« pĂ«rballet me kufizime tĂ« tilla. Ashtu siç u deshĂ«n mĂ« shumĂ« se 30 vjet pas teoremave tĂ« paplotĂ«sisĂ« sĂ« Gödelit qĂ« Cohen tĂ« provonte pavarĂ«sinĂ« e hipotezĂ«s sĂ« vazhdueshmĂ«risĂ«, nuk mund tĂ« parashikojmĂ« se kur, nĂ«se ndonjĂ«herĂ«, do tĂ« ndeshim parimet etike qĂ« janĂ« tĂ« shprehshme brenda sistemit etik tĂ« njĂ« IA-je, por qĂ« ende mbeten tĂ« paprovueshme.
Së dyti, Gödeli gjithashtu tregoi se asnjë sistem formal, mjaftueshëm kompleks, nuk mund të provojë konsistencën e vetvetes. Kjo është veçanërisht shqetësuese në etikë, ku është larg të qenit qartë që kuadrot tona etike janë të qëndrueshme. Ky nuk është një kufizim i veçantë për IA-në; edhe njerëzit nuk mund të provojnë konsistencën e sistemeve formale që ndërtojnë. Por, kjo ka rëndësi të veçantë për IA-në, sepse një nga premtimet e saj më ambicioze ka qenë të shkojë përtej gjykimit njerëzor: të arsyetojë më qartë, në mënyrë më të paanshme dhe në shkallë më të madhe.
Rezultatet e Gödelit vendosin njĂ« kufi tĂ« fortĂ« mbi kĂ«tĂ« aspiratĂ«. Kufizimi Ă«shtĂ« strukturor, jo thjesht teknik. Ashtu siç teoria e relativitetit e Albert Einsteinit vendos njĂ« kufi tĂ« sipĂ«rm shpejtĂ«sie nĂ« univers â pa marrĂ« parasysh sa tĂ« avancuara janĂ« anijet tona kozmike, ne nuk mund tĂ« tejkalojmĂ« shpejtĂ«sinĂ« e dritĂ«s â teoremat e Gödelit vendosin njĂ« kufi mbi arsyetimin formal: pa marrĂ« parasysh sa e avancuar bĂ«het IA-ja, ajo nuk mund tĂ« shpĂ«tojĂ« nga paplotĂ«sia e sistemit formal brenda tĂ« cilit funksionon. PĂ«r mĂ« tepĂ«r, teoremat e Gödelit mund tĂ« kufizojnĂ« arsyetimin etik praktik nĂ« mĂ«nyra tĂ« paparashikuara, ashtu siç disa hipoteza tĂ« rĂ«ndĂ«sishme matematikore janĂ« treguar tĂ« paprovueshme nga aksiomat standarde tĂ« teorisĂ« sĂ« bashkĂ«sive, ose, ashtu si shpejtĂ«sia e dritĂ«s, megjithĂ«se e paarritshme, pĂ«rsĂ«ri vendos kufizime reale mbi inxhinierinĂ« dhe astrofizikĂ«n. PĂ«r shembull, ndĂ«rsa po e shkruaj kĂ«tĂ«, Parker Solar Probe e NASA-s Ă«shtĂ« objekti mĂ« i shpejtĂ« i krijuar ndonjĂ«herĂ« nga njeriu, duke udhĂ«tuar me rreth 430 000 milje (rreth 700 000 kilometra) nĂ« orĂ« â vetĂ«m 0.064 pĂ«r qind e shpejtĂ«sisĂ« sĂ« dritĂ«s. MegjithatĂ«, ky kufi i sipĂ«rm mbetet thelbĂ«sor: shpejtĂ«sia e kufizuar e dritĂ«s ka ndikuar, pĂ«r shembull, nĂ« projektimin e sondave hapĂ«sinore, zbarkuesve dhe robotĂ«ve lĂ«vizĂ«s â tĂ« gjithĂ« kĂ«ta qĂ« kĂ«rkojnĂ« tĂ« paktĂ«n funksionim gjysmĂ«-autonom, sepse sinjalet radio nga Toka marrin minuta ose madje orĂ« tĂ« tĂ«ra pĂ«r tĂ« mbĂ«rritur. Teoremat e Gödelit mund tĂ« kufizojnĂ« pĂ«rllogaritjen etike nĂ« mĂ«nyra tĂ« ngjashme dhe tĂ« papritura.
Ekziston edhe një arsye tjetër pse rezultatet e Gödelit janë veçanërisht të rëndësishme për etikën e IA-së. Ndryshe nga sistemet statike të bazuara në rregulla, IA-ja e avancuar, veçanërisht modelet e mëdha gjuhësore dhe sistemet mësimore adaptive, munden jo vetëm të zbatojnë një kornizë etike të përcaktuar më parë, por edhe rishikojnë elementet e saj me kalimin e kohës. Një nga premtimet qendrore të arsyetimit moral të udhëhequr nga IA-ja është aftësia e saj për të rafinuar modelet etike përmes mësimit, duke adresuar paqartësitë dhe gabimet në gjykimin moral njerëzor. Ndërsa sistemet e AI-së evoluojnë, ato mund të përpiqen të modifikojnë vetë aksiomat ose parametrat e tyre si përgjigje ndaj të dhënave të reja ose reagimeve. Kjo është veçanërisht e vërtetë për sistemet e mësimit të makinave të trajnuara me grupe të mëdha dhe të ndryshueshme të dhënash, si dhe për modelet hibride që integrojnë arsyetimin logjik me konkluzione statistikore. Megjithatë, rezultatet e Gödelit zbulojnë një kufi strukturor: nëse një kornizë etike formalizohet brenda një sistemi të mjaftueshëm formal shprehës, atëherë asnjë grup i qëndrueshëm aksiomash nuk mund të provojë të gjitha pohimet e vërteta të shprehshme brenda tij.
PĂ«r ta ilustruar kĂ«tĂ«, imagjino njĂ« IA tĂ« ngarkuar me ruajtjen e drejtĂ«sisĂ«. Ajo mund tĂ« programohet me parime etike, gjerĂ«sisht tĂ« pranuara â pĂ«r shembull, drejtĂ«sia dhe minimizimi i dĂ«mit. NdĂ«rsa modelet e krijuara nga njerĂ«zit pĂ«r drejtĂ«sinĂ«, tĂ« bazuara nĂ« kĂ«to parime, janĂ« nĂ« mĂ«nyrĂ« tĂ« pashmangshme tepĂ«r tĂ« thjeshtĂ«zuara, tĂ« kufizuara nga kapaciteti pĂ«rllogaritĂ«s dhe paragjykimet njohĂ«se, njĂ« IA, nĂ« teori, nuk ka kufizime tĂ« tilla. Ajo mund tĂ« mĂ«sojĂ« vazhdimisht nga sjellja reale njerĂ«zore, duke rafinuar kuptimin e saj dhe duke ndĂ«rtuar njĂ« koncept gjithnjĂ« e mĂ« tĂ« nuancuar tĂ« drejtĂ«sisĂ«, njĂ« tĂ« tillĂ« qĂ« ndĂ«rthur gjithnjĂ« e mĂ« shumĂ« dimensione tĂ« pĂ«rvojĂ«s njerĂ«zore. Ajo madje mundet, siç u pĂ«rmend, tĂ« ndryshojĂ« vetĂ« aksiomat e veta. Por, pa marrĂ« parasysh sa shumĂ« mĂ«son njĂ« IA, apo si e modifikon veten, gjithmonĂ« do tĂ« ketĂ« pohime pĂ«r drejtĂ«sinĂ« tĂ« cilat, ndonĂ«se mund tâi modelojĂ«, nuk do tĂ« jetĂ« kurrĂ« nĂ« gjendje tâi provojĂ« brenda sistemit tĂ« saj. MĂ« shqetĂ«suese akoma, IA-ja nuk do tĂ« jetĂ« nĂ« gjendje tĂ« provojĂ« qĂ« sistemi etik qĂ« ajo ndĂ«rton Ă«shtĂ« nĂ« mĂ«nyrĂ« tĂ« brendshme tĂ« qĂ«ndrueshme â qĂ« nuk e kundĂ«rshton veten diku nĂ« rrjetin e gjerĂ« tĂ« arsyetimit tĂ« saj etik â pĂ«rveç nĂ«se Ă«shtĂ« jokonsistent, nĂ« tĂ« cilin rast mund tĂ« provojĂ« çdo gjĂ«, pĂ«rfshirĂ« tĂ« pavĂ«rteta, siç Ă«shtĂ« konsistenca e vet.
NĂ« fund tĂ« fundit, teoremat e paplotĂ«sisĂ« tĂ« Gödelit shĂ«rbejnĂ« si njĂ« paralajmĂ«rim kundĂ«r idesĂ« se IA-ja mund tĂ« arrijĂ« njĂ« arsyetim tĂ« pĂ«rsosur etik. Ashtu siç matematika do tĂ« pĂ«rmbajĂ« gjithmonĂ« tĂ« vĂ«rteta qĂ« janĂ« pĂ«rtej provĂ«s formale, morali do tĂ« pĂ«rmbajĂ« gjithmonĂ« kompleksitete qĂ« sfidojnĂ« zgjidhjen algoritmike. Pyetja nuk Ă«shtĂ« thjesht nĂ«se IA-ja mund tĂ« marrĂ« vendime morale, por nĂ«se ajo mund tĂ« kapĂ«rcejĂ« kufizimet e çdo sistemi tĂ« bazuar nĂ« logjikĂ« tĂ« paracaktuar â kufizime qĂ«, siç tregoi Gödeli, mund tĂ« pengojnĂ« qĂ« disa tĂ« vĂ«rteta tĂ« jenĂ« ndonjĂ«herĂ« tĂ« provueshme brenda sistemit, edhe nĂ«se ato janĂ« tĂ« njohshme si tĂ« vĂ«rteta. NdĂ«rsa etika e IA-sĂ« Ă«shtĂ« pĂ«rballur me çështje si paragjykimi, drejtĂ«sia dhe interpretimi, sfida mĂ« e thellĂ« mbetet: a mundet IA-ja tĂ« njohĂ« kufijtĂ« e arsyetimit tĂ« saj etik? Kjo sfidĂ« mund tĂ« vendosĂ« njĂ« kufi tĂ« pakapĂ«rcyeshĂ«m midis etikĂ«s artificiale dhe asaj njerĂ«zore.
MarrĂ«dhĂ«nia midis teoremave tĂ« paplotĂ«sisĂ« tĂ« Gödelit dhe etikĂ«s sĂ« makinerive nxjerr nĂ« pah njĂ« paralelizĂ«m strukturor: ashtu siç asnjĂ« sistem formal nuk mund tĂ« jetĂ« njĂ«kohĂ«sisht i plotĂ« dhe i vetĂ«mjaftueshĂ«m, asnjĂ« IA nuk mund tĂ« arrijĂ« arsyetimin moral qĂ« Ă«shtĂ« njĂ«kohĂ«sisht pĂ«rfshirĂ«s dhe plotĂ«sisht i provueshĂ«m. NĂ« njĂ« aspekt, zbulimet e Gödelit e zgjerojnĂ« dhe e ndĂ«rlikojnĂ« traditĂ«n kantiane. Kanti argumentoi se njohuria varet nga tĂ« vĂ«rteta a priori, nga supozimet themelore qĂ« strukturojnĂ« pĂ«rvojĂ«n tonĂ« tĂ« realitetit. Teoremat e Gödelit sugjerojnĂ« se, edhe brenda sistemeve formale tĂ« ndĂ«rtuara mbi aksioma tĂ« pĂ«rcaktuara mirĂ«, ekzistojnĂ« ende tĂ« vĂ«rtetat qĂ« tejkalojnĂ« aftĂ«sitĂ« e sistemit pĂ«r tâi vĂ«rtetuar ato. NĂ«se Kanti synonte tĂ« pĂ«rkufizonte kufijtĂ« e arsyes pĂ«rmes kushteve tĂ« domosdoshme pĂ«r njohuri, Gödeli zbuloi njĂ« paplotĂ«si tĂ« brendshme nĂ« vetĂ« arsyetimin formal, njĂ« tĂ« tillĂ« qĂ« asnjĂ« grup aksiomash nuk mund ta zgjidhĂ« nga brenda. GjithmonĂ« do tĂ« ekzistojnĂ« tĂ« vĂ«rtetat morale, pĂ«rtej mbĂ«rthimit pĂ«rllogaritĂ«s â probleme etike qĂ« i rezistojnĂ« zgjidhjes algoritmike.
Pra, problemi mĂ« i thellĂ« qĂ«ndron nĂ« paaftĂ«sinĂ« e AI-sĂ« pĂ«r tĂ« njohur kufijtĂ« e vetĂ« kornizĂ«s sĂ« saj tĂ« arsyetimit â paaftĂ«sinĂ« e saj pĂ«r tĂ« ditur kur pĂ«rfundimet e saj morale mbĂ«shteten mbi premisa tĂ« paplota, ose kur njĂ« problem ndodhet pĂ«rtej asaj qĂ« sistemi i saj etik mund tĂ« zgjidhĂ« nĂ« mĂ«nyrĂ« formale. NdĂ«rsa edhe njerĂ«zit pĂ«rballen me kufizime njohĂ«se dhe epistemike, ne nuk jemi tĂ« kufizuar nga njĂ« strukturĂ« e dhĂ«nĂ« formale. Ne mund tĂ« shpikim aksioma tĂ« reja, tĂ« vĂ«mĂ« nĂ« pikĂ«pyetje ato tĂ« vjetrat, ose tĂ« rishikojmĂ« tĂ« gjithĂ« kornizĂ«n tonĂ« nĂ« dritĂ«n e njohurive filozofike ose shqyrtimit etik. Sistemet e IA-sĂ«, pĂ«r dallim, mund tĂ« gjenerojnĂ« ose tĂ« adoptojnĂ« aksioma tĂ« reja vetĂ«m nĂ«se arkitektura e tyre e lejon kĂ«tĂ« dhe, edhe atĂ«herĂ«, ndryshimet e tilla ndodhin brenda meta-rregullave tĂ« paracaktuara ose objektivave tĂ« optimizimit. Ato nuk kanĂ« kapacitetin pĂ«r reflektim konceptual qĂ« udhĂ«heq zhvendosjet njerĂ«zore nĂ« supozimet themelore. Edhe nĂ«se njĂ« gjuhĂ« formale, mĂ« e pasur, ose njĂ« grup mĂ« i pasur aksiomash mund tĂ« provojĂ« disa tĂ« vĂ«rteta mĂ« parĂ« tĂ« paprovueshme, asnjĂ« grup i fundĂ«m aksiomash, qĂ« pĂ«rmbush kĂ«rkesat e Gödelit pĂ«r vendosmĂ«rinĂ« dhe konsistencĂ«n, nuk mund tĂ« provojĂ« tĂ« gjitha tĂ« vĂ«rtetat qĂ« mund tĂ« shprehen nĂ« ndonjĂ« sistem formal mjaftueshĂ«m tĂ« fuqishĂ«m. NĂ« kĂ«tĂ« kuptim, Gödeli vendos njĂ« kufi â jo vetĂ«m mbi atĂ« qĂ« makineritĂ« mund tĂ« provojnĂ«, por mbi atĂ« qĂ« ato mund tĂ« justifikojnĂ« ndonjĂ«herĂ« brenda njĂ« arkitekture tĂ« dhĂ«nĂ« etike ose logjike.
NjĂ« nga shpresat, ose njĂ« frikĂ« e madhe pĂ«r IA-nĂ« Ă«shtĂ« se ajo mund tĂ« evoluojĂ« njĂ« ditĂ« pĂ«rtej parimeve etike qĂ« i janĂ« programuar fillimisht dhe tĂ« simulojĂ« njĂ« vetĂ«vlerĂ«sim tĂ« tillĂ«. PĂ«rmes mĂ«simit tĂ« makinerisĂ«, IA-ja mund tĂ« modifikojĂ« vetĂ« kornizĂ«n etike, duke gjeneruar njohuri tĂ« reja morale dhe duke zbuluar modele dhe zgjidhje tĂ« cilat mendimtarĂ«t njerĂ«zorĂ«, tĂ« kufizuar nga paragjykimet njohĂ«se dhe kufizimet pĂ«rllogaritĂ«se, mund tâi anashkalojnĂ«. MegjithatĂ«, kjo pĂ«rshtatshmĂ«ri sjell njĂ« rrezik tĂ« thellĂ«: morali nĂ« zhvillim i njĂ« IA-je mund tĂ« devijojĂ« aq rrĂ«njĂ«sisht nga etika njerĂ«zore saqĂ« vendimet e saj tĂ« bĂ«hen tĂ« pakuptueshme ose madje moralisht tĂ« neveritshme pĂ«r ne. Kjo pasqyron disa koncepte fetare tĂ« etikĂ«s. NĂ« disa tradita teologjike, morali hyjnor konsiderohet pĂ«rtej kuptimit njerĂ«zor, saqĂ« mund tĂ« duket arbitrar apo edhe mizor â njĂ« temĂ« qendrore nĂ« debatet mbi problemin e sĂ« keqes dhe teorinĂ« e urdhrit hyjnor. NjĂ« sfidĂ« e ngjashme lind me etikĂ«n e IA-sĂ«: ndĂ«rsa sistemet e IA-sĂ« bĂ«hen gjithnjĂ« e mĂ« autonome dhe vetĂ«modifikuese, vendimet e tyre morale mund tĂ« bĂ«hen aq tĂ« errĂ«ta dhe tĂ« shkĂ«putura nga arsyetimi njerĂ«zor, saqĂ« rrezikojnĂ« tĂ« perceptohen si tĂ« paparashikueshme, tĂ« pashpjegueshme ose edhe tĂ« padrejta.
MegjithatĂ«, ndonĂ«se IA-ja mund tĂ« mos e zotĂ«rojĂ« kurrĂ« plotĂ«sisht arsyetimin moral, ajo mund tĂ« bĂ«het njĂ« mjet i fuqishĂ«m pĂ«r rafinimin e mendimit etik njerĂ«zor. Ndryshe nga vendimmarrja njerĂ«zore, e cila shpesh formĂ«sohet nga paragjykimi, intuita ose supozimet e paekzaminuara, IA-ja ka potencialin tĂ« zbulojĂ« mospĂ«rputhje nĂ« arsyetimin tonĂ« etik duke trajtuar rastet e ngjashme me paanshmĂ«ri formale. Ky potencial, megjithatĂ«, varet nga aftĂ«sia e IA-sĂ« pĂ«r tĂ« ditur se kur rastet janĂ« moralisht tĂ« njĂ«jta â njĂ« detyrĂ« e ndĂ«rlikuar nga fakti se sistemet e IA-sĂ«, veçanĂ«risht LLM-tĂ«, mund tĂ« internalizojnĂ« dhe riprodhojnĂ« vetĂ« paragjykimet njerĂ«zore qĂ« synojnĂ« tâi zbusin. Kur IA-ja jep njĂ« vendim qĂ« duket moralisht i gabuar, kjo mund tĂ« na nxisĂ« tĂ« rishqyrtojmĂ« parimet qĂ« qĂ«ndrojnĂ« pas gjykimeve tona. A po bĂ«jmĂ« dallime ndĂ«rmjet rasteve pĂ«r arsye tĂ« mira morale, apo po zbatojmĂ« standarde tĂ« dyfishta pa e kuptuar? IA-ja mund tĂ« ndihmojĂ« nĂ« sfidimin dhe rafinimin e arsyetimit tonĂ« etik â jo duke ofruar pĂ«rgjigje pĂ«rfundimtare, por duke zbuluar boshllĂ«qe, kontradikta dhe supozime tĂ« anashkaluara nĂ« kornizĂ«n tonĂ« morale.
IA-ja mund tĂ« largohet nga intuitat morale njerĂ«zore nĂ« tĂ« paktĂ«n dy mĂ«nyra: duke trajtuar raste qĂ« ne i shohim si tĂ« ngjashme nĂ« mĂ«nyra tĂ« ndryshme, ose duke trajtuar raste qĂ« ne i shohim si tĂ« ndryshme nĂ« tĂ« njĂ«jtĂ«n mĂ«nyrĂ«. NĂ« tĂ« dyja rastet, pyetja themelore Ă«shtĂ« nĂ«se IA-ja po identifikon saktĂ« njĂ« dallim ose ngjashmĂ«ri moralisht tĂ« rĂ«ndĂ«sishĂ«m, apo nĂ«se thjesht po pasqyron modele tĂ« parĂ«ndĂ«sishme nga tĂ« dhĂ«nat e saj trajnuese. NĂ« disa raste, kjo mospĂ«rputhje mund tĂ« rrjedhĂ« nga paragjykimet njerĂ«zore, si modelet diskriminuese tĂ« bazuara nĂ« racĂ«, gjini apo status socio-ekonomik. Por, nĂ« raste tĂ« tjera, IA-ja mund tĂ« zbulojĂ« veçori etikisht tĂ« rĂ«ndĂ«sishme tĂ« cilat gjykimi njerĂ«zor i ka anashkaluar historikisht. Ajo mundet, pĂ«r shembull, tĂ« zbulojĂ« variante tĂ« reja tĂ« problemit tĂ« trolejbusit [trolley problem], duke sugjeruar qĂ« dy dĂ«me nĂ« dukje tĂ« barabarta ndryshojnĂ« nĂ« mĂ«nyra tĂ« rĂ«ndĂ«sishme morale. NĂ« raste tĂ« tilla, IA-ja mund tĂ« zbulojĂ« modele tĂ« reja etike pĂ«rpara se ta bĂ«jnĂ« kĂ«tĂ« filozofĂ«t njerĂ«zorĂ«. Sfida qĂ«ndron nĂ« faktin se ne nuk mund ta dimĂ« paraprakisht se çfarĂ« lloj devijimi kemi pĂ«rballĂ«. Ădo gjykim moral befasues nga IA duhet tĂ« vlerĂ«sohet nĂ« kushtet e veta â as tĂ« pranohet pa kritikĂ«, as tĂ« hidhet poshtĂ« pa menduar. MegjithatĂ«, edhe kjo hapje ndaj njohurive tĂ« reja nuk e çliron IA-nĂ« nga kufijtĂ« strukturorĂ« tĂ« arsyetimit formal.
Ky Ă«shtĂ« mĂ«simi mĂ« i thellĂ«. Teoremat e Gödelit nuk tregojnĂ« thjesht qĂ« ekzistojnĂ« tĂ« vĂ«rteta tĂ« cilat makineritĂ« nuk mund tâi provojnĂ«. Ato tregojnĂ« qĂ« arsyetimi moral, ashtu si matematika, Ă«shtĂ« gjithmonĂ« i hapur, gjithmonĂ« duke u shtrirĂ« pĂ«rtej asaj qĂ« mund tĂ« nxirret nĂ« mĂ«nyrĂ« formale. Sfida, pra, nuk Ă«shtĂ« vetĂ«m si tĂ« kodifikohet arsyetimi etik nĂ« IA, por edhe si tĂ« sigurohet qĂ« korniza e saj morale, qĂ« Ă«shtĂ« nĂ« zhvillim, tĂ« mbetet nĂ« pĂ«rputhje me vlerat njerĂ«zore dhe normat shoqĂ«rore. PĂ«rkundĂ«r gjithĂ« shpejtĂ«sisĂ«, saktĂ«sisĂ« dhe fuqisĂ« pĂ«rllogaritĂ«se tĂ« saj, IA-ja mbetet e paaftĂ« pĂ«r njĂ« gjĂ« qĂ« e bĂ«n arsyetimin moral vĂ«rtet tĂ« mundur: aftĂ«sinĂ« pĂ«r tĂ« vĂ«nĂ« nĂ« pikĂ«pyetje jo vetĂ«m atĂ« qĂ« Ă«shtĂ« e drejtĂ«, por pse. Etika, pĂ«r rrjedhojĂ«, duhet tĂ« mbetet njĂ« pĂ«rpjekje njerĂ«zore â njĂ« pĂ«rpjekje e vazhdueshme dhe e papĂ«rsosur tĂ« cilĂ«n asnjĂ« makinĂ« nuk do ta zotĂ«rojĂ« ndonjĂ«herĂ« plotĂ«sisht. /Telegrafi/
The post Etika e paplotësisë appeared first on Telegrafi.