Rezumat
Majoritatea sistemelor de inteligență artificială pot acumula experiență fără ca aceasta să le schimbe structura.
Ele extind contextul, recuperează informații din memorie, actualizează starea sau adaptează parametrii. Însă modelul prin care interpretează experiențele ulterioare rămâne în mare parte neschimbat.
Descriem o arhitectură diferită: un model persistent al lumii, a cărui reprezentare internă evoluează prin interacțiune.
Sistemul menține o reprezentare în timp a unui subiect parțial observabil, împreună cu incertitudinea, proveniența informațiilor, valabilitatea temporală, dependențele, ipotezele concurente, stările viitoare prezise și acțiunile. Dovezile noi pot revizui estimările stărilor din trecut, pot infirma ipotezele existente, pot modifica dinamica de tranziție învățată, pot invalida predicțiile despre viitor și, în consecință, pot schimba acțiunile viitoare.
Prin urmare, experiența actualizează nu doar ceea ce știe sistemul, ci și modelul pe care îl folosește pentru a înțelege ce urmează. Numim acest proces plasticitate continuă a modelului .
Un sistem de memorie devine mai mare odată cu experiența. Un model continuu devine diferit.
1
O stare persistentă nu este suficientă
Inteligența artificială persistentă are nevoie de mai mult decât un context lung.
Un sistem care interacționează luni sau ani cu aceeași persoană, același sistem biologic, robot, mediu sau agent artificial întâlnește un proces aflat în continuă schimbare.
Starea sa internă este doar parțial observabilă. Componentele diferite evoluează la scări temporale diferite. Observațiile sunt incomplete și uneori contradictorii. Semnificația unei observații anterioare poate deveni clară doar după apariția unor dovezi ulterioare. Cel mai important, dinamica sistemului individual nu este neapărat cunoscută dinainte.
Să presupunem că subiectul are starea latentă , produce observații și primește acțiuni . Un estimator persistent al stării încearcă să deducă
Acest lucru este necesar, dar insuficient. Dinamica tranzițiilor poate fi ea însăși incertă:
unde descrie dinamica sistemului dedusă în prezent.
Problema nu este, așadar, doar: în ce stare se află sistemul? Întrebările sunt simultan:
În ce stare se află, ce dinamică a produs acea stare, cum va răspunde acea dinamică la intervenție și ce părți ale explicației noastre actuale sunt greșite?
Acest lucru schimbă rolul memoriei. Memoria devine suportul din care poate fi construit un model al dinamicii aflat în evoluție.
2
Modelul continuu
La momentul , reprezentăm modelul intern al sistemului astfel
- este estimarea în timp a stării latente;
- reprezintă dinamica tranzițiilor învățată;
- este un set de ipoteze concurente despre acea dinamică;
- este o structură temporală de dependențe care conectează dovezile, stările, ipotezele, predicțiile și acțiunile;
- reprezintă politica actuală de acțiune.
Modelul acoperă trei regiuni temporale:
Trecutul conține observații și stări reconstruite. Prezentul conține distribuția stării curente și ipotezele active. Viitorul conține stări prezise, observații așteptate, acțiuni candidate și stări țintă.
Acestea nu sunt depozite independente. Sunt părți ale aceleiași structuri de dependențe. O predicție viitoare depinde de o ipoteză. Ipoteza depinde de stări deduse. Acele stări depind de observații. Dacă o observație schimbă interpretarea unei stări anterioare, consecințele se pot propaga prin model.
Actualizarea nu este, așadar, pur și simplu
În schimb:
unde este un operator de reconciliere capabil să modifice părțile dependente ale modelului.
3
Observațiile nu se schimbă. Interpretările se pot schimba.
Un sistem persistent se confruntă cu o asimetrie fundamentală. Ceea ce s-a întâmplat nu se poate schimba. Ceea ce crede sistemul că s-a întâmplat se poate schimba.
Să presupunem că observațiile disponibile la momentul produc o estimare a unei stări din trecut
O observație ulterioară oferă dovezi care schimbă interpretarea acelei perioade anterioare. Sistemul produce
Observația de bază nu este rescrisă. Se creează o nouă versiune a stării derivate, cu o proveniență explicită care o leagă atât de dovezile originale, cât și de cele care au determinat reinterpretarea.
Această distincție permite modelului să păstreze simultan două lucruri:
- plasticitate epistemică — capacitatea de a-și schimba interpretarea;
- trasabilitate epistemică — capacitatea de a reconstrui de ce credea anterior altceva.
Modelul are un trecut care poate fi reinterpretat, fără a avea un istoric care poate fi rescris.
4
Reconciliere selectivă
Reanalizarea întregului istoric după fiecare observație este ineficientă din punct de vedere computațional. Plasticitatea continuă necesită, așadar, o structură explicită de dependențe.
O estimare a stării înregistrează observațiile și deducțiile intermediare care au produs-o. Ipotezele înregistrează stările și dovezile de care depind. Predicțiile depind de ipoteze. Acțiunile planificate depind de stările prezise. Când apar dovezi noi, modelul identifică subgraful de dependențe afectat.
Însă trebuie reanalizate doar nodurile dependente accesibile. Dacă graful complet conține noduri, dar o observație afectează un subgraf de dependențe care conține noduri, costul reconcilierii poate crește aproximativ proporțional cu în loc să necesite o reconstrucție globală cu un cost de .
Plasticitatea poate rămâne, așadar, locală chiar și atunci când memoria devine mare — existența unui istoric lung nu ar trebui să impună raționarea asupra întregului istoric la fiecare interacțiune.
5
Ipotezele ca parte explicită a stării
Un model al lumii ar trebui să distingă ceea ce observă de ceea ce consideră că explică acele observații. Reprezentăm, așadar, explicit ipotezele explicative. Pentru o stare curentă , sistemul poate menține
Fiecare ipoteză conține cel puțin: o afirmație despre dinamica subiectului; observații sau stări viitoare prezise; condițiile în care ipoteza ar trebui respinsă; dovezi care o susțin și dovezi care o contrazic; incertitudine sau încredere; versiune și proveniență.
O ipoteză poate, așadar, exprima
Esențial este că ipotezele concurente pot coexista. Sistemul nu este obligat să reducă prematur incertitudinea la o singură explicație. O observație ulterioară poate susține , poate contrazice sau poate indica faptul că niciuna nu explică adecvat tranziția observată.
Modelul intern evoluează, în consecință, prin stări explicite ale cunoașterii:
Ipotezele infirmate nu trebuie să dispară. Ele rămân parte din istoricul cunoașterii modelului — sistemul își amintește nu doar ce crede în prezent, ci și ce a încercat să creadă și de ce acea explicație a eșuat.
6
Eroarea de predicție devine dovadă pentru model
Să considerăm o acțiune executată pe baza ipotezei . Ipoteza prezice . Sistemul observă ulterior . Diferența dintre ele,
are un rol mai bogat decât o eroare obișnuită de predicție: este o dovadă despre ipoteza care a generat predicția. O divergență suficient de mare poate reduce încrederea în ipoteză, o poate infirma, poate schimba dinamica de tranziție estimată, poate activa o ipoteză alternativă, poate reinterpreta stările precedente, poate invalida predicțiile viitoare dependente și poate modifica acțiunile ulterioare.
Eșecul devine un mecanism al plasticității.
7
Acțiunile ca experimente
Observația pasivă nu este întotdeauna cea mai rapidă modalitate de a învăța cum funcționează un sistem. Să presupunem că două ipoteze și explică aceeași traiectorie. Pentru o acțiune candidată , ele prezic rezultate diferite:
Diferența dintre aceste distribuții conferă acțiunii valoare pentru cunoaștere. O acțiune poate fi, așadar, selectată conform unui obiectiv de forma
unde este progresul așteptat către o stare țintă, este câștigul de informație așteptat despre ipotezele concurente, este costul sau efortul necesar, iar este riscul.
Acțiunea optimă poate simultan să apropie sistemul de o stare dorită și să distingă între explicațiile dinamicii sale. Măsurarea însăși devine o acțiune atunci când efectul său principal este reducerea incertitudinii. Bucla rezultată este:
Sistemul nu acționează pur și simplu conform modelului său. El acționează parțial pentru a îmbunătăți modelul.
8
Identificarea continuă a sistemului
Fiecare interacțiune finalizată creează o observație de tranziție . Un sistem persistent acumulează aceste tranziții în timp:
Aceste traiectorii permit modelului de tranziție însuși să evolueze. Pornind de la un model inițial , experiența produce
Sistemul învață treptat
în loc să se bazeze exclusiv pe o funcție de tranziție învățată înainte de utilizare. Aceasta este identificarea continuă a sistemului. Este deosebit de valoroasă atunci când dinamica la nivel de populație oferă un punct de plecare util, dar dinamica individuală diferă substanțial.
Modelul preantrenat răspunde la întrebarea: cum se comportă, în general, sisteme de acest tip? Modelul identificat continuu poate răspunde tot mai bine la întrebarea: cum se comportă acest sistem?
9
Plasticitatea modelului
Utilizarea tradițională a unui model poate fi descrisă aproximativ astfel
unde modelul este stabil, iar contextul se schimbă. Plasticitatea continuă a modelului oferă în schimb
Aspectul important este că nu implică neapărat modificarea fiecărui parametru — sau chiar modificarea ponderilor unui model fundamental. Plasticitatea poate exista în starea persistentă, structura de dependențe, modelele de tranziție, distribuțiile de incertitudine, ipoteze, politici și dinamica învățată specifică subiectului.
Modelul fundamental poate rămâne un suport de raționament, în timp ce modelul persistent al lumii evoluează în jurul său. Obiectul aflat în evoluție poate fi, în schimb, explicit, inspectabil, cu versiuni urmărite, recalculabil selectiv și reversibil.
10
Divergența modelelor
Să considerăm două instanțe inițial identice
care parcurg ulterior traiectorii diferite . După suficiente interacțiuni:
Diferența este mai profundă decât conținutul memoriei. Cele două instanțe pot avea acum reconstrucții diferite ale stării latente, distribuții de incertitudine, ipoteze susținute și infirmate, funcții de tranziție, așteptări despre răspunsuri viitoare, strategii de căutare a informației și politici de acțiune.
Ele au devenit modele diferite prin experiență. Specializarea nu este introdusă sub forma unui profil. Ea apare din traiectoriile acumulate de stare–acțiune–răspuns.
11
Scări temporale diferite necesită adevăruri diferite
Sistemele persistente trebuie să distingă între informațiile care se schimbă în câteva secunde și cele care rămân relevante ani de zile. Să presupunem că un tip de observație are o scară temporală caracteristică de valabilitate . Încrederea că o observație încă descrie starea curentă poate scădea odată cu timpul scurs:
O proprietate genomică poate rămâne stabilă. Un semnal fiziologic poate rămâne relevant câteva minute. O stare comportamentală se poate schimba în câteva ore. O relație sau o preferință poate evolua pe parcursul lunilor.
Modelul nu ar trebui, așadar, să întrebe doar dacă o afirmație este adevărată. Ar trebui să întrebe
Acest lucru evită tratarea schimbării temporale drept contradicție. Sistemul poate reprezenta simultan
Ambele pot fi corecte.
12
Un singur graf pentru trecut și viitor
Memoria și planificarea nu mai trebuie să fie sisteme fundamental separate. Graful istoric conține stări observate și deduse. Graful viitor conține stări prezise și acțiuni planificate. Ambele sunt conectate prin aceleași reguli ale dependențelor.
O ipoteză care explică trecutul generează predicții despre viitor. O observație din acel viitor devine, în cele din urmă, parte a trecutului. Granița se deplasează continuu:
Modelul transformă, așadar, continuu predicțiile în dovezi. Astfel, timpul însuși devine parte din arhitectura de învățare.
13
De ce interacțiunea persistentă creează un set de date nou
Majoritatea seturilor de date de antrenare conțin observații. Sistemele persistente cu buclă închisă pot produce ceva mai bogat:
Repetate pentru același subiect, acestea devin traiectorii
Datele transversale pot dezvălui corelații între stări. Datele longitudinale de intervenție–răspuns încep să dezvăluie structura tranzițiilor. Intervențiile repetate în stări diferite oferă dovezi despre dinamica condiționată:
Un sistem care interacționează continuu își creează, așadar, propriul suport de învățare ca o consecință a funcționării:
14
De la preantrenare la învățarea din experiență
Modelele persistente ale lumii introduc un regim complementar de învățare:
Învățarea offline oferă cunoștințe inițiale generale. Învățarea din experiența directă identifică dinamica locală. Un model fundamental poate oferi cunoștințe prealabile solide despre clasa sistemului observat; experiența continuă oferă dovezi despre instanța particulară. Formal,
devine o distribuție inițială de probabilitate, condiționată progresiv de o traiectorie individuală:
Pe măsură ce crește, modelul poate deveni tot mai specific fără a abandona cunoștințele inițiale generale. Aceasta nu este simplă personalizare: personalizarea schimbă rezultatele în funcție de caracteristici cunoscute, în timp ce identificarea continuă a sistemului învață caracteristici anterior necunoscute ale dinamicii înseși.
15
Un model adaptiv al lumii
Obiectul rezultat diferă de mai multe arhitecturi cunoscute.
- Mai mult decât memorie, deoarece observațiile modifică un model explicit al stării și dinamicii.
- Mai mult decât un graf temporal de cunoștințe, deoarece nodurile participă la predicție, infirmare și control.
- Mai mult decât un estimator de stare, deoarece dinamica tranzițiilor și ipotezele explicative pot fi ele însele revizuite.
- Mai mult decât un geamăn digital — o reprezentare digitală a unui sistem — deoarece dinamica nu trebuie să fie cunoscută la crearea modelului.
- Mai mult decât o politică de control, deoarece acțiunile sunt alese parțial pentru a descoperi sistemul controlat.
Obiectul său computațional central nu este o colecție tot mai mare de experiențe. Este relația aflată în evoluție
16
Implicații
În primul rând , experiența poate deveni cumulativă fără a necesita un context nelimitat. Observațiile istorice pot fi comprimate în stare, tranziții, ipoteze și structuri de dependențe, păstrând proveniența.
În al doilea rând , incertitudinea poate ghida acțiunea. Sistemul poate căuta observația care ar reduce cel mai mult incertitudinea relevantă pentru o decizie.
În al treilea rând , greșelile devin evenimente durabile de învățare. O ipoteză infirmată rămâne reprezentată și poate împiedica redescoperirea repetată a aceluiași eșec explicativ.
În al patrulea rând , individualizarea poate avea loc la nivelul dinamicii. Sistemul învață nu doar caracteristicile unui subiect, ci și modul în care acel subiect se schimbă.
În al cincilea rând , interacțiunea longitudinală devine tot mai valoroasă. Un model cu o istorie îndelungată deține dovezi despre tranziții indisponibile unui model nou creat, chiar și atunci când ambele folosesc același model fundamental.
În cele din urmă, două sisteme care pornesc de la aceleași cunoștințe inițiale pot deveni obiecte computaționale semnificativ diferite prin traiectorii diferite de experiență. Aceasta poate fi una dintre cele mai importante consecințe ale inteligenței artificiale persistente.
17
Probleme deschise
Limitele plasticității. Ce componente ar trebui să rămână stabile și care ar trebui să poată evolua?
Reinterpretare catastrofală. Cum ar trebui sistemul să împiedice dovezile noi, slabe, să provoace o revizuire excesivă a trecutului?
Generarea ipotezelor. Cum pot explicațiile candidate să rămână diverse fără a produce un număr nelimitat de ipoteze?
Calibrare. Cum ar trebui calibrată încrederea în estimările stării, modelele de tranziție și ipoteze între tipuri diferite de date?
Explorare versus siguranță. Acțiunile de căutare a informației pot fi utile, dar inacceptabile atunci când costul sau riscul lor este ridicat.
Comprimarea modelului. Cum pot fi comprimați ani de interacțiune fără a distruge dependențe rare care devin importante ulterior?
Transfer. Ce aspecte ale dinamicii învățate de la un subiect persistent ar trebui să rămână individuale și care ar trebui să actualizeze cunoștințele inițiale comune la nivel de populație?
Evaluare. Testele statice sunt slab adaptate sistemelor a căror capacitate definitorie este îmbunătățirea prin interacțiune longitudinală. Evaluarea poate necesita, în schimb, măsurarea predicției, adaptării, calibrării, infirmării și controlului de-a lungul unor traiectorii extinse.
Acestea nu sunt detalii secundare de implementare. Ele definesc programul de cercetare necesar pentru a transforma starea persistentă în modele adaptive ale lumii.
—
Concluzie
Abstracția dominantă pentru inteligența artificială persistentă a fost memoria.
Memoria este necesară, dar singură nu surprinde ceea ce devine posibil atunci când un sistem de inteligență artificială interacționează în mod repetat cu același sistem aflat în evoluție.
Un model persistent poate observa starea, poate menține explicații concurente, poate prezice tranziții, poate alege acțiuni care produc efecte și învățare în același timp, poate observa răspunsul rezultat, poate infirma explicații incorecte, poate reconstrui interpretarea trecutului și poate actualiza modelul dinamicii viitoare. Bucla rezultată este:
În timp, sistemul nu acumulează pur și simplu o înregistrare mai mare a lumii. El este tot mai mult modelat de dinamica lumii pe care a întâlnit-o.
Un sistem de memorie devine mai mare odată cu experiența. Un model adaptiv al lumii devine diferit.
