Kif jaħsbu l-magni (jew le): ir-raġunament fl-AI
Id-distakk bejn ix-xejra u r-raġunament
L-AI tista’ tegħleb lill-bnedmin fiċ-ċess. Tiddijanjostika mard mill-immaġini. Tikteb esejs koerenti. Tidher intelliġenti. Jidher li qed tirraġuna.
Imma hawn il-verità skomda: il-biċċa l-kbira tal-AI ma tirraġunax. Taqbel ix-xejriet. Briljantement. Fuq skala massiva. Imma t-tqabbil tax-xejriet mhuwiex raġunament.
Il-fehim tad-differenza huwa importanti. Għax il-problemi li rridu li l-AI ssolvi dejjem aktar jeħtieġu raġunament veru. Mhux biss rikonoxximent ta’ xejriet.
X’inhu verament ir-raġunament
Ir-raġunament huwa li tislet konklużjonijiet mill-informazzjoni. Mhux biss korrelazzjonijiet. Inferenza loġika attwali. Meta jkollok fatti, tislet fatti ġodda. Meta jkollok premessi, tasal għal konklużjonijiet.
Eżempju ta’ Raġunament tal-Bniedem:
Premessa 1: Il-mammiferi kollha huma ta’ demm sħun.
Premessa 2: Il-balieni huma mammiferi.
Konklużjoni: Għalhekk, il-balieni huma ta’ demm sħun.
Qatt ma rajt dan is-silloġiżmu partikolari qabel. Imma raġunajt dwaru. Applikajt il-loġika. Silt il-konklużjoni. Dak huwa raġunament.
X’Tagħmel l-AI b’Mod Differenti:
In-netwerks newrali jaraw miljuni ta’ eżempji. “Mammiferi” jidher ma’ “demm sħun” ta’ spiss. “Balieni” jidher ma’ “mammiferi” ta’ spiss. Assoċjazzjoni statistika. In-netwerk ibassar li “l-balieni huma ta’ demm sħun” għax ix-xejriet jissuġġeruh. Mhux għax jifhem ir-relazzjoni loġika.
It-tnejn jaslu għat-tweġiba t-tajba. Imma wieħed biss qed jirraġuna.
Tipi ta' raġunament
Problemi differenti jeħtieġu approċċi differenti ta' raġunament:
Raġunament Deduttiv:
Mill-ġenerali għall-ispeċifiku. Mogħtija r-regoli, applika għal każijiet speċifiċi. Konklużjonijiet garantiti jekk il-premessi jkunu veri.
Eżempju: L-għasafar kollha għandhom rix. Il-ġerf u l-għasafar huma għasafar. Għalhekk, il-ġerf għandu rix.
Magni loġiċi jisbqu f'dan. Katina 'l quddiem (applika r-regoli għall-fatti) jew katina lura (aħdem mill-għan għall-fatti meħtieġa). Deterministiku. Affidabbli.
Raġunament Induttiv:
Mill-ispeċifiku għall-ġenerali. Osserva eżempji. Sib mudelli. Iġġeneralizza r-regoli.
Eżempju: Rajt 100 ċinju. Kollha kienu bojod. Ikkonkludi: iċ-ċinji kollha huma bojod. (Ħażin, fil-fatt. Iċ-ċinji suwed jeżistu. L-induzzjoni mhijiex garantita.)
Dan huwa preċiżament għaliex ir-regolaturi Ewropej ma jafdawx AI purament induttiva għal deċiżjonijiet kritiċi. L-Att dwar l-AI tal-UE ma jaċċettax "ħarreġna fuq 10 miljun eżempju" bħala prova ta' korrettezza. Ċinju iswed wieħed, każ ta' tarf wieħed li t-taħriġ tad-dejta ma qabadx, u d-dijanjosi medika tiegħek bl-AI toqtol lil xi ħadd, l-algoritmu tas-self tiegħek jiddiskrimina, il-vettura awtonoma tiegħek tiġġarraf. L-induzzjoni taħdem sakemm ma taħdimx b'mod katastrofiku. Il-kultura tal-inġinerija Ewropea, mibnija fuq sekli ta' "urini l-prova matematika," issib l-AI probablistika skomda bħal fidi.
Netwerks newrali huma magni induttivi. Miljuni ta' eżempji. Iġbed mudelli. Iġġeneralizza. Din hija s-saħħa tagħhom.
Raġunament Abduttiv:
Mill-osservazzjoni għall-aħjar spjegazzjoni. Mogħtija l-effetti, inferixxi l-kawżi.
Eżempju: Il-ħaxix huwa mxarrab. L-aħjar spjegazzjoni: ix-xita niżlet. (Jista' jkun ukoll sprinklers. L-abduzzjoni ssib spjegazzjonijiet plawsibbli, mhux garantiti.)
Sistemi dijanjostiċi jużaw dan. AI medika tosserva sintomi, tiddeduċi mard. Ġenerazzjoni ta' ipoteżi.
Raġunament Kwal:
Nifhmu r-relazzjonijiet kawża-effett. Mhux biss korrelazzjoni. Kawżazzjoni attwali.
Eżempju: It-tipjip jikkawża l-kanċer. Mhux biss "min ipejjep iġib il-kanċer aktar spiss." Il-mekkaniżmu kawżali.
Dan huwa diffiċli għall-AI. Il-korrelazzjoni hija faċli biex tinstab fid-dejta. Il-kawżazzjoni teħtieġ fehim. Ħafna mill-AI m'għandhiex dan.
L-istituzzjonijiet tar-riċerka Ewropej isegwu riċerka dwar l-AI kawżali, misjuqa minn rekwiżiti regolatorji biex juru mekkaniżmi kawżali aktar milli sempliċi korrelazzjoni. Meta apparat mediku jrid jipprova li l-intervent X jikkawża r-riżultat Y (mhux biss jikkorrelata), ir-raġunament kawżali jsir meħtieġ. Il-qafas regolatorju Ewropew dejjem aktar jenfasizza din id-distinzjoni, u joħloq inċentivi qawwija għar-riċerka u l-iżvilupp ta' inferenza kawżali.
Raġunament Analogiku:
It-trasferiment ta' għarfien bejn oqsma simili. "Dan hu bħal dak, għalhekk probabbilment..."
Eżempju: L-atomi huma bħal sistemi solari. L-elettroni jduru madwar in-nukleu bħalma l-pjaneti jduru madwar ix-xemx. (Analoġija utli, mhux litteralment vera.)
Jgħin fil-ġeneralizzazzjoni bejn oqsma differenti. L-AI qed titjieb f'dan. Iżda għadha limitata meta mqabbla mal-bnedmin.
Il-mudelli lingwistiċi attwali jipproduċu fallimenti analogiċi divertenti. Itlob għal analoġija u jiġġeneraw xi ħaġa sintattikament perfetta, iżda semantikament bla sens. "Il-koxjenza hi bħal kabinett tal-fajls għax it-tnejn jinvolvu l-ħażna ta' informazzjoni" teknikament juża struttura analogika filwaqt li jitlef għal kollox dak li jagħmel l-analoġiji insightful. Il-bnedmin jagħrfu analoġiji ħżiena minnufih. L-AI tagħtihom b'kunfidenza bħallikieku huma għarfien profond. Qabda ta' mudelli tal-forma tar-raġunament mingħajr ma tifhem il-kontenut.
Għaliex in-netwerks newrali jitħabtu mar-raġunament
In-netwerks newrali jisbqu fir-rikonoxximent ta' mudelli. Ir-raġunament huwa differenti:
- L-ebda Loġika Espliċita: In-netwerks newrali m'għandhomx regoli loġiċi. Biss piżijiet. Biljuni ta' parametri numeriċi. Il-mudelli joħorġu mit-taħriġ. Iżda l-ebda regoli espliċiti ta' "jekk-imbagħad". Il-loġika hi impliċita fl-aħjar każ. Inaċċessibbli fl-agħar każ.
- L-ebda Kompożizzjonalità: Ir-raġunament uman jikkomponi. Għaqqad regoli sempliċi f'argumenti kumplessi. In-netwerks newrali ma jiddekomponux b'mod naturali r-raġunament f'komponenti loġiċi li jistgħu jerġgħu jintużaw. Kull inferenza hi minn tarf sa tarf. Opaka.
- L-ebda Garanziji: Ir-raġunament loġiku jipprovdi ċertezza. Jekk il-premessi huma veri, il-konklużjoni hi vera. In-netwerks newrali jipprovdu probabbiltajiet. "90% kunfidenti" mhux l-istess bħal "ċert loġikament." Għal deċiżjonijiet kritiċi, dan jgħodd.
- L-ebda Spjegazzjoni: Għaliex in-netwerk ikkonkluda X? "Mudelli ta' attivazzjoni fis-saff 47." Mhux ta' għajnuna. Ir-raġunament loġiku jipprovdi passi ta' prova. Traċċabbli. Verifikabbli. Ir-raġunament newrali huwa kaxxa sewda.
- Ġeneralizzazzjoni Fraġli: Ir-regoli loġiċi japplikaw universalment. Il-mudelli newrali jiddependu fuq id-dejta. Bidla fid-distribuzzjoni tkissirhom. Ir-raġunament għandu jkun robust. Il-qabda ta' mudelli spiss ma tkunx.
Dan ma jfissirx li n-netwerks newrali huma inutli. Ir-rikonoxximent ta' mudelli huwa siewi. Iżda mhuwiex raġunament.
Chain-of-thought: making neural networks "reason"
Kisba reċenti: il-promptjar tal-katina tal-ħsieb. Ġiegħel lill-mudelli tal-lingwa juru l-passi tar-raġunament tagħhom.
Promptjar Standard:
Mistoqsija: "Bat u ballun jiswew €1.10. Il-bat jiswa €1 aktar mill-ballun. Kemm jiswa l-ballun?"
AI: "€0.10" (Ħażin. Tweġiba intuwittiva, mhux raġunata.)
Promptjar tal-Katina tal-Ħsieb:
Mistoqsija: "Bat u ballun jiswew €1.10. Il-bat jiswa €1 aktar mill-ballun. Kemm jiswa l-ballun? Ejja naħsbu pass pass."
AI: "Ejja nsejħu l-prezz tal-ballun X. Imbagħad il-bat jiswa X + €1. Flimkien: X + (X + €1) = €1.10. Mela 2X + €1 = €1.10. Għalhekk 2X = €0.10. Mela X = €0.05. Il-ballun jiswa €0.05."
L-istess mudell. Prompt differenti. Tweġiba korretta. Għaliex? Li ġġiegħel passi ta' raġunament espliċiti jgħin. Il-mudell xorta jaqbel mal-mudelli (pattern matching). Iżda mudelli fuq passi ta' raġunament, mhux biss tweġibiet. Eqreb lejn raġunament attwali.
Il-problema tal-bat u l-ballun hija tassew dijanjostika. Il-bnedmin jiżbaljaw permezz tal-ħsieb tas-Sistema 1: veloċi, intuwittiv, ħażin. L-AI tiżbalja permezz ta'... ukoll intuwizzjoni, bażikament, biss statistika. Ġiegħel lit-tnejn jonqsu l-veloċità u juru l-ħidma tagħhom, it-tnejn jitjiebu. Differenza: il-bnedmin iħossuhom imbarazzati meta jiġu kkoreġuti. L-AI ma jimpurtahiex. B'kunfidenza tagħtik €0.10, imbagħad b'kunfidenza tagħtik €0.05, imbagħad b'kunfidenza tispjega għaliex €0.10 kienet ovvjament ħażina minn dejjem. L-ebda mistħija, l-ebda tagħlim, biss tqabbil ta' mudelli ma' prompts differenti.
Limitazzjonijiet għadhom jeżistu. Ir-"raġunament" għadu statistiku. L-ebda garanziji loġiċi. Iżda huwa progress.
AI Simbolika: approċċi tradizzjonali ta' raġunament
Qabel ma n-netwerks newrali ddominaw, l-AI simbolika kienet tirrenja. Filosofija differenti:
Rappreżentazzjoni Espliċita tal-Għarfien: Fatti u regoli f'forma loġika. "JEKK l-annimal għandu rix IMBAGĦAD l-annimal huwa għasfur." Ċar. Interpretabbli.
Magni tal-Loġika: Katina 'l quddiem, katina lura. Applika regoli. Ikkonkludi. Deterministiku. Spjegabbli.
- Vantaġġi: Inferenzi garantiti korretti (jekk ir-regoli huma korretti). Katina ta' raġunament spjegabbli. Jistgħu jimmaniġġjaw kombinazzjonijiet ġodda ta' regoli. Jaħdmu b'ammonti żgħar ta' dejta.
- Żvantaġġi: Jeħtieġ ħolqien manwali tar-regoli. Fraġli (id-dinja reali hija mħabbla). Ma jimmaniġġjawx l-inċertezza tajjeb. Ma jiskalawx tajjeb għal dominji kumplessi.
Għalhekk in-netwerks newrali ħadu f'idejhom. Id-dinja reali għandha storbju. Eċċezzjonijiet. Ambiguwità. L-AI simbolika tissielet. In-netwerks newrali jirnexxu.
Iżda tilifna xi ħaġa: garanziji ta' raġunament. Spjegabbiltà. Ċertezza loġika.
L-Ewropej qatt ma abbandunaw kompletament l-AI simbolika, partikolarment f'dominji kritiċi għas-sikurezza. L-industriji aerospazjali u tal-karozzi jkomplu jużaw metodi formali (essenzjalment raġunament simboliku) għaċ-ċertifikazzjoni ta' sistemi kritiċi għas-sikurezza. Il-manifatturi ta' apparat mediku fis-swieq Ewropej regolati jridu jipprovdu provi loġiċi ta' korrettezza. Meta l-korpi taċ-ċertifikazzjoni jitolbu verifikazzjoni matematika, netwerks newrali puri jirriżultaw insuffiċjenti. Il-provi simboliċi jibqgħu meħtieġa. L-inġinerija Ewropea żammet dawn il-kapaċitajiet filwaqt li n-netwerks newrali ddominaw band'oħra.
Approċċi ibridi: l-aħjar taż-żewġ dinjiet
Fruntiera attwali: ikkombina newrali u simboliku. Uża s-saħħiet ta' kull wieħed.
- Integrazzjoni Newrali-Simbolika: In-netwerks newrali jestrattaw mudelli mid-dejta. Ikkonverti f'regoli simboliċi. Applika raġunament loġiku. Ikseb rikonoxximent ta' mudelli U inferenza loġika.
- Kif Jaħdem: 1. In-netwerk newrali jipproċessa l-inputs. Jipproduċi embeddings (rappreżentazzjonijiet vettorjali).
2. L-embeddings jiġu kkonvertiti f'fatti simboliċi. "entità X għandha proprjetà Y."
3. Il-magna tar-raġunament simboliku tapplika regoli loġiċi lill-fatti.
4. Konklużjonijiet ikkonvertiti lura għal forma newrali jekk meħtieġ.
Traduzzjoni bidirezzjonali. Newrali għal simboliku. Simboliku għal newrali. Kull wieħed jagħmel dak li hu tajjeb fih.
Vantaġġi: Rikonoxximent ta' mudelli minn newrali. Garanziji loġiċi minn simboliku. Ktajjen ta' raġunament spjegabbli. Robust għal bidla fid-distribuzzjoni (regoli jżommu universalment).
Sfidi: Piż tat-traduzzjoni. Żamma ta' konsistenza bejn rappreżentazzjonijiet newrali u simboliċi. Kumplessità tal-integrazzjoni.
Jiswa għal oqsma li jeħtieġu raġunament. Dijanjosi medika. Analiżi legali. Deċiżjonijiet kritiċi għas-sikurezza. Fejn "90% kunfidenti" mhux biżżejjed.
Żvilupp Ewropew ta' AI Ibrida:
Istituzzjonijiet ta' riċerka Ewropej għandhom inċentivi qawwija għal integrazzjoni newrali-simbolika. Neċessità regolatorja tmexxi dan. Ir-rekwiżiti ta' spjegabbiltà tal-AI Act tal-UE joħolqu sfida għal netwerks newrali puri. It-talbiet ta' trasparenza tal-GDPR jeħtieġu raġunament traċċabbli. Dawn il-vinkoli jmexxu l-iżvilupp lejn approċċi ibridi.
Universitajiet Ewropej jirriċerkaw arkitetturi newrali-simboliċi għal oqsma regolati bħad-dijanjosi medika, billi jgħaqqdu rikonoxximent ta' mudelli newrali ma' raġunament simboliku li japplika linji gwida kliniċi, u jipprovdu kemm kunfidenza statistika kif ukoll ġustifikazzjoni loġika. Ir-riċerka tiffoka fuq "AI interpretabbli" fejn perċezzjoni newrali tmexxi raġunament simboliku, u żżomm trasparenza matul il-proċess ta' deċiżjoni.
Istituti ta' riċerka Ewropej jiżviluppaw sistemi ibridi għal awtomazzjoni industrijali: netwerks newrali jimmaniġġjaw data minn sensuri filwaqt li ppjanaturi simboliċi jieħdu deċiżjonijiet operattivi b'garanziji ta' sikurezza provabbli. Dawn is-sistemi jitqiegħdu f'ambjenti fejn deċiżjonijiet AI li ma jistgħux jiġu spjegati jistgħu jikkawżaw ħsara, u b'hekk tkun meħtieġa verifikazzjoni formali.
Il-mudell: rekwiżiti regolatorji għal spjegabbiltà u sikurezza joħolqu pressjoni selettiva qawwija għal arkitetturi li jgħaqqdu approċċi newrali u simboliċi. Il-vinkoli jmexxu l-innovazzjoni lejn sistemi li jissodisfaw kemm ir-rekwiżiti ta' prestazzjoni kif ukoll dawk ta' konformità.
Raġunament ibbażat fuq vinkoli (l-approċċ ta' Dweve)
Sistemi ta' vinkoli binarji joffru triq oħra:
- Vinkoli Espliċiti: Għarfien ikkodifikat bħala vinkoli binarji. "Jekk il-kundizzjonijiet A, B, C huma sodisfatti, allura l-konklużjoni D tista' tinżamm." Regoli loġiċi. Deterministiċi.
- Raġunament Effiċjenti: Operazzjonijiet XNOR u popcount jiċċekkjaw is-sodisfazzjon tal-vinkoli. Operazzjonijiet binarji. Nattivi għall-ħardwer. Mgħaġġlin.
- Loġika Komponibbli: Il-vinkoli jikkomponu. Għaqqad vinkoli sempliċi f'raġunament kumpless. Modulari. Jistgħu jerġgħu jintużaw.
- Deċiżjonijiet Spjegabbli: Kull konklużjoni tirreferi għal vinkoli. Liema vinkoli ħadmu? Għaliex? Trail ta' verifika ġġenerat awtomatikament. Trasparenza bid-disinn.
Eżempju: Dweve Loom
456 settijiet ta' vinkoli speċjalizzati fid-dominju. Kull wieħed fih 2-3.5M vinkoli binarji. Tiftix evoluzzjonarju skopra dawn. Mhux magħmulin bl-idejn. Iżda ladarba skoperti, huma loġika deterministika.
Mistoqsija: mudelli jaqblu mal-vinkoli. PAP (Permuted Agreement Popcount) jiddetermina liema settijiet speċjalizzati fid-dominju huma rilevanti. Speċjalisti magħżula fid-dominju japplikaw il-vinkoli tagħhom. Raġunament permezz ta' loġika binarja. Traċċabbli. Verifikabbli.
Mhux tqabbil ta' mudelli. Sodisfazzjon attwali ta' vinkoli. Raġunament loġiku. B'veloċità tal-ħardwer.
Il-futur tar-raġunament tal-AI
Fejn qed jasal dan?
- Integrazzjoni Simbolika Aħjar: Traduzzjoni newrali-simbolika bla xkiel. Netwerks newrali li b'mod naturali jipproduċu rappreżentazzjonijiet simboliċi. Arkitettura unifikata.
- Raġunament Verifikat: Verifikazzjoni formali tar-raġunament tal-AI. Provi matematiċi li l-konklużjonijiet huma korretti. Għal applikazzjonijiet kritiċi għas-sigurtà. L-ebda "90% kunfidenti." Korrett garantit.
- Raġunament Kwal: AI li tifhem il-kwalità. Mhux biss il-korrelazzjoni. Twieġeb "għaliex" mhux biss "xiex." Tippermetti interventi aħjar. Previżjonijiet aħjar. Fehim veru.
- Meta-Raġunament: AI li tirraġuna dwar ir-raġunament tagħha stess. Tevalwa l-kwalità tal-inferenzi. Tirrikonoxxi meta mhix ċerta. Meta teħtieġ aktar informazzjoni. Meta għandha tiddeferixxi lill-bnedmin. Raġunament konxju ta' ruħu.
- Raġunament Distribwit: Sistemi multi-aġent fejn aġenti differenti jikkontribwixxu modi differenti ta' raġunament. Wieħed jagħmel deduttiv. Wieħed jagħmel abduttiv. Wieħed jagħmel kwal. Intelliġenza kollettiva permezz ta' raġunament divers.
L-għan mhuwiex li tissostitwixxi t-tqabbil ta' mudelli. Huwa li żżid miegħu raġunament attwali. L-aħjar taż-żewġ dinjiet. Perċezzjoni permezz ta' mudelli. Raġunament permezz tal-loġika. Dak huwa meta l-AI ssir tassew intelliġenti.
Rekwiżiti ta' Ċertifikazzjoni Ewropej:
Il-qafas regolatorju tal-Ewropa jeħtieġ b'mod espliċitu verifikazzjoni tar-raġunament għal sistemi tal-AI b'riskju għoli. L-Att dwar l-AI tal-UE jimponi li deċiżjonijiet awtomatizzati f'oqsma kritiċi jridu jkunu spjegabbli, mhux biss statistikament kunfidenti, iżda loġikament traċċabbli. Dan iġiegħel l-iżvilupp tal-AI Ewropew lejn arkitetturi kapaċi għar-raġunament.
L-awtoritajiet Awstrijaċi tal-protezzjoni tad-dejta jeħtieġu traċċi ta' verifika algoritmiċi li juru l-passi loġiċi mill-input sad-deċiżjoni. Ir-regolaturi Franċiżi tal-apparat mediku jitolbu spjegazzjonijiet kwal: "din id-dijanjosi għaliex dawn is-sintomi jindikaw kwalment din il-kundizzjoni," mhux "probabbiltà ta' 90% ibbażata fuq dejta ta' taħriġ." L-istandards Ġermaniżi tas-sigurtà industrijali (ISO 26262, IEC 61508) jimponu raġunament verifikat formalment għall-awtomazzjoni kritika għas-sigurtà.
Kumpaniji Amerikani tal-AI li daħlu fis-swieq Ewropej skoprew li s-sistemi newrali puri tagħhom ma setgħux jgħaddu miċ-ċertifikazzjoni. L-ebda ammont ta' preċiżjoni ma ssodisfa r-regolaturi li kienu jitolbu provi loġiċi. Riżultat: jew jerġgħu jibnu bil-kapaċità tar-raġunament jew jabbandunaw is-suq Ewropew. Il-biċċa l-kbira għażlu li jerġgħu jibnu, u skoprew li l-verżjonijiet kapaċi għar-raġunament ħadmu aħjar globalment, mhux biss fl-Ewropa. Ir-rekwiżiti regolatorji, għal darb'oħra, wasslu għal inġinerija aħjar.
Raġunament prattiku: x'jaħdem verament illum
Minkejja l-limitazzjonijiet, nistgħu nibnu AI b'kapaċità ta' raġunament illum. Mhux perfetta. Mhux fil-livell uman. Iżda ġenwinament kapaċi ta' inferenza loġika f'oqsma ristretti.
Dijanjosi Medika:
Sptarijiet Belġjani jużaw AI dijanjostika ibrida: netwerks newrali janalizzaw immaġini mediċi (rikonoxximent ta' mudelli), raġunaturi simboliċi japplikaw linji gwida kliniċi (raġunament deduttiv), mudelli kawżali jispjegaw għaliex ċerti testijiet huma rrakkomandati (raġunament kawżali). Kull komponent jagħmel dak li jaf jagħmel l-aħjar. Riżultat: dijanjosijiet kemm b'kunfidenza statistika kif ukoll b'ġustifikazzjoni loġika. Ir-regolaturi Ewropej tal-apparat mediku japprovaw dan. Netwerks newrali puri jirrifjutawhom.
Awtomazzjoni Industrijali:
Fabbriki Ġermaniżi jużaw sistemi ta' ppjanar ibbażati fuq restrizzjonijiet għall-iskedar tal-produzzjoni. Eluf ta' restrizzjonijiet booleani jikkodifikaw regoli tal-manifattura, rekwiżiti ta' sigurtà, u miri ta' effiċjenza. Solvers SAT isibu skedi validi li jissodisfaw ir-restrizzjonijiet kollha. Meta xi ħaġa tmur ħażin, is-sistema tispjega eżattament liema restrizzjoni ġiet miksura u għaliex. Mhux "in-netwerk newrali ddeċieda." Raġunament loġiku speċifiku.
Konformità Finanzjarja:
Banek Żvizzeri jimpjegaw AI ta' konformità bbażata fuq regoli bi proċessar ta' input permezz ta' netwerks newrali. Netwerks newrali jisiltu informazzjoni minn dokumenti (rikonoxximent ta' mudelli). Raġunaturi simboliċi japplikaw ir-regolamenti bankarji (raġunament deduttiv). Kull deċiżjoni ta' konformità tirreferi għal regolamenti speċifiċi. L-awdituri jistgħu jivverifikaw il-katini ta' raġunament. "Immarkajna din it-tranżazzjoni għaliex ir-regolament X jipprojbixxi Y taħt kundizzjonijiet Z, li kollha japplikaw hawnhekk." Mhux "85% probabbiltà ta' ksur ta' konformità."
Analiżi Legali:
Ditti legali Olandiżi jużaw l-AI għall-analiżi tal-kuntratti li tgħaqqad il-fehim lingwistiku newrali mar-raġunament loġiku fuq regoli legali. Netwerks newrali jidentifikaw klawżoli rilevanti. Sistemi simboliċi japplikaw preċedent u statut. Raġunament abduzzjonali jiġġenera spjegazzjonijiet għaliex ċerti interpretazzjonijiet japplikaw. L-avukati jiksbu t-tnejn: identifikazzjoni ta' klawżoli bbażata fuq mudelli u raġunament legali bbażat fuq regoli.
Mudell komuni: l-ambjent regolatorju tal-Ewropa ġiegħel implimentazzjonijiet prattiċi ta' raġunament. Dawn mhumiex prototipi ta' riċerka; huma sistemi mqiegħda fis-seħħ li jgħaddu minn ċertifikazzjoni attwali. Kumpaniji Amerikani li jridu aċċess għas-suq Ewropew qed jieħdu liċenzja għal dawn it-teknoloġiji jew jibnu mill-ġdid is-sistemi tagħhom biex jaqblu magħhom. Arbitraġġ regolatorju permezz ta' inġinerija aħjar.
Dak li għandek tiftakar
- 1. It-tqabbil ta' mudelli mhuwiex raġunament. In-netwerks newrali jisbqu fil-mudelli. Ir-raġunament jeħtieġ loġika. Kapaċitajiet differenti.
- 2. Jeżistu diversi tipi ta' raġunament. Deduttiv, induttiv, abduttiv, kawżali, analogiku. Kull wieħed jaqbel ma' problemi differenti.
- 3. In-netwerks newrali jitħabtu mar-raġunament. L-ebda loġika espliċita. L-ebda kompożizzjonalità. L-ebda garanziji. Deċiżjonijiet opaki.
- 4. L-AI simbolika tipprovdi raġunament. Regoli espliċiti. Inferenza loġika. Spjegabbli. Iżda fraġli u diffiċli biex tiskala.
- 5. L-approċċi ibridi jgħaqqdu l-qawwiet. Rikonoxximent ta' mudelli newrali flimkien ma' raġunament simboliku. L-aħjar taż-żewġ dinjiet.
- 6. Il-katina tal-ħsieb tgħin. Li ġġiegħel lin-netwerks newrali juru l-passi tar-raġunament itejjeb il-prestazzjoni. Xorta statistika, iżda aħjar.
- 7. Is-sistemi ta' restrizzjonijiet joffru raġunament deterministiku. Restrizzjonijiet booleani. Regoli loġiċi. Spjegabbli. Effiċjenti. L-approċċ ta' Dweve.
- 8. Ir-regolamentazzjoni Ewropea tmexxi r-riċerka dwar ir-raġunament. Ir-rekwiżiti ta' spjegabbiltà jġiegħlu l-iżvilupp ta' AI soda loġikament. Il-konformità ssir vantaġġ kompetittiv.
L-istakes filosofiċi
Id-dibattitu bejn mudell u raġunament mhuwiex biss tekniku; huwa filosofiku. X'irridu mill-AI?
Jekk l-AI hija għodda biex tawtomatizza ħidmiet simili għal dawk tal-bniedem permezz ta' imitazzjoni, it-tqabbil ta' mudelli jkun biżżejjed. Ħarreġha fuq eżempji, ħalliha tirriproduċi outputs simili. Bħal tabella ta' tfittxija sofistikata. Dan jaħdem għal ħafna applikazzjonijiet. Sistemi ta' rakkomandazzjoni. Klassifikazzjoni ta' immaġini. Tlestija ta' test.
Iżda jekk l-AI għandha tikkumplimenta l-intelliġenza tal-bniedem, tipprovdi għarfien li l-bnedmin ma jistgħux jilħqu waħedhom, issolvi problemi li jeħtieġu rigorożità loġika, tieħu deċiżjonijiet b'ġustifikazzjoni spjegabbli, it-tqabbil ta' mudelli jfalli. Għandna bżonn raġunament attwali. Fehim. Inferenza loġika li l-bnedmin jistgħu jivverifikaw u jafdaw.
Ir-regolaturi Ewropej, forsi b'inċident, għażlu t-tieni triq. Ir-rekwiżiti ta' spjegabbiltà tal-AI Act tal-UE jirrifjutaw b'mod impliċitu t-tqabbil ta' mudelli pur għal deċiżjonijiet kritiċi. "Għax il-mudell bassarha" mhijiex ġustifikazzjoni aċċettabbli. "Għax dawn il-premessi loġiċi jwasslu għal din il-konklużjoni" hija. Din il-pożizzjoni filosofika, li l-AI trid tirraġuna, mhux biss tikkorrelata, tifforma liema sistemi tal-AI jinbnew u jitqiegħdu fis-suq fl-Ewropa.
L-iżvilupp tal-AI Amerikan fil-biċċa l-kbira għażel l-ewwel triq: tqabbil ta' mudelli fuq skala kbira. Mudelli akbar, aktar dejta, korrelazzjonijiet aħjar. Jaħdem b'mod brillanti għal ħafna kompiti. Ifalli b'mod spettakolari meta r-raġunament ikun importanti. Id-distakk filosofiku jimmanifesta ruħu bħala distakk tekniku: AI statistika versus AI loġika. Ir-regolamenti Ewropej ma ħolqux dan id-distakk; huma biss ġiegħlu li ssir għażla.
Il-qofol
L-akbar kisbiet tal-AI ġejjin mir-rikonoxximent ta' mudelli. Klassifikazzjoni ta' immaġini. Traduzzjoni tal-lingwa. Logħob. Kollha mudelli.
Iżda l-problemi li verament għandna bżonn insolvu jeħtieġu raġunament. Dijanjosi medika. Ġudizzju legali. Deċiżjonijiet kritiċi għas-sikurezza. Skoperta xjentifika. Dawn jeħtieġu loġika, mhux biss mudelli.
L-AI attwali hija fenomenali f'mistoqsijiet ta' "xiex". X'hemm f'din l-immaġni? X'jiġi wara f'din is-sekwenza? Tweġibiet ibbażati fuq mudelli.
L-AI tal-futur trid timmaniġġja mistoqsijiet ta' "għaliex". Għaliex ġara dan? Għaliex għandna nagħmlu dan? Tweġibiet ibbażati fuq raġunament. Inferenza loġika. Fehim kawżali.
Qegħdin naslu hemm. Integrazzjoni newrali-simbolika. Ippromptjar ta' katina ta' ħsieb. Sistemi bbażati fuq restrizzjonijiet. Il-progress huwa reali. Iżda d-distakk jibqa': it-tqabbil ta' mudelli mhuwiex raġunament.
Il-fehim ta' din id-distinzjoni jgħinek tevalwa l-kapaċitajiet tal-AI b'mod onest. Kun af meta t-tqabbil ta' mudelli jkun biżżejjed. Kun af meta r-raġunament ikun essenzjali. Agħżel l-arkitetturi skont dan. Uża b'mod għaqli.
Id-distakk bejn l-iżvilupp tal-AI Amerikan u dak Ewropew dejjem aktar jirrifletti din il-qasma bejn mudell u raġunament. Silicon Valley jottimizza għar-rikonoxximent ta' mudelli: mudelli massivi, settijiet ta' dejta kbar, eċċellenza statistika. L-iżvilupp tal-AI Ewropew jottimizza għar-raġunament: provi loġiċi, mudelli kawżali, inferenza spjegabbli. Mhux preferenza filosofika, iżda rekwiżit regolatorju.
L-ironija: l-approċċ Ewropew "restrittiv" jipproduċi AI li taħdem aħjar fil-prattika. Ir-raġunament spjegabbli jaqbad l-iżbalji aktar malajr. Il-provi loġiċi jipprevjenu fallimenti katastrofiċi. Il-fehim kawżali jippermetti interventi aħjar. It-tqabbil ta' mudelli jimpressjona fid-dimostrazzjonijiet. Ir-raġunament jirnexxi fl-użu reali. Ir-regolaturi Ewropej b'inċident ordnaw dak li l-inġinerija tajba dejjem kienet teħtieġ.
Il-futur jappartjeni lil AI li tista' kemm tipperċepixxi mudelli kif ukoll tirraġuna permezz tal-loġika. Rikonoxximent u inferenza. Statistika u loġika. Dak hu l-għan. Dak huwa meta l-AI ssir tassew intelliġenti.
L-istat attwali: għandna tqabbil ta' mudelli brillanti li jippretendu li jirraġunaw. L-ippromptjar ta' katina ta' ħsieb huwa tqabbil ta' mudelli fuq test li jixbah raġunament, aħjar minn xejn, iżda mhux loġika vera. Bħal meta tgħallem pappagall jirreċta provi matematiċi. Mimikrija impressjonanti. Mhux fehim.
L-istat futur: sistemi ibridi fejn il-perċezzjoni newrali tmigħ ir-raġunament simboliku. Ir-rikonoxximent ta' mudelli jimmaniġġja inputs dinjija messy. L-inferenza loġika timmaniġġja deċiżjonijiet li jeħtieġu garanziji. It-talbiet regolatorji Ewropej qegħdin imexxu dan il-futur aktar malajr milli l-kultura Amerikana tal-innovazzjoni tasal għalih b'mod naturali. Kultant ir-restrizzjonijiet verament joħolqu l-libertà, il-libertà minn fallimenti katastrofiċi tal-AI, tal-inqas.
Trid AI kapaċi fir-raġunament? Esplora Dweve Nexus u Loom. Diversi modi ta' raġunament. Deduttiv, induttiv, abduttiv. Integrazzjoni newrali-simbolika. Loġika ta' restrizzjonijiet binarji. Katini ta' inferenza spjegabbli. It-tip ta' AI li mhux biss tqabbel mudelli. Tassew tirraġuna.