Matematician automat
Automatic Mathematician (în engleză Automated Mathematician , prescurtat în AM) a fost unul dintre primele sisteme de descoperire , sau inteligențe artificiale pentru descoperirea conceptelor și legilor științifice, care au avut succes. A fost creat de Douglas Lenat folosind limbajul de programare Lisp , iar în 1977 i-a adus lui Lenat Premiul IJCAI Computers and Thought .
Matematicianul automat a funcționat generând și modificând programe mici în Lisp care au fost apoi interpretate ca definiție a diferitelor concepte matematice; de exemplu, un program care a testat egalitatea dintre lungimile a două liste a fost considerat a reprezenta conceptul de egalitate numerică, în timp ce un program care a produs o listă a cărei lungime a fost produsul lungimilor altor două liste a fost interpretat ca reprezentând conceptul de multiplicare . Sistemul avea euristici elaborate pentru alegerea programelor pe care să le extindă și să le modifice, pe baza experienței matematicienilor la locul de muncă în rezolvarea problemelor.
Disputa
Lenat a declarat că sistemul era format din sute de structuri de date numite „concepte” și sute de „reguli euristice” și un flux simplu de control: „Matematicianul automat selectează în mod repetat sarcina din partea de sus a agendei și încearcă să o facă aceasta. Aceasta este întreaga structură de control! ". Dar regulile euristice nu erau întotdeauna reprezentate de structuri de date separate; unele trebuiau legate între ele cu logica fluxului de control. Unele reguli aveau condiții prealabile care depindeau de operațiile anterioare, altfel nu ar fi putut fi reprezentate în structura regulilor explicite.
Mai mult, versiunea publicată a regulilor folosește adesea termeni vagi care nu sunt definiți mai departe, cum ar fi „Dacă două expresii sunt similare din punct de vedere structural ...” (Regula 218) sau „... înlocuiește valoarea obținută cu alta (foarte similară) .. . "(Regula 219).
O altă sursă de informații este utilizatorul prin regula 2: „Dacă utilizatorul s-a referit recent la X, setați prioritatea asupra oricărei aplicații care implică X”. Astfel, pare destul de probabil ca o mare parte din lucrările de descoperire propriu-zise să se fi bazat pe proceduri inexplicabile.
Potrivit lui Lenat, într-o singură noapte, programul, care știa doar definiția „ clasei ”, „ uniunii ”, „ intersecției ” și a unor reguli logice de organizare a conceptelor „descoperise” numerele naturale , adunarea , înmulțirea , numerele prime . El inventase, de asemenea, conceptele opuse ale numerelor prime, care erau necunoscute de Lenat însuși, precum și redescoperea conjectura lui Goldbach . Criticile ulterioare l-au acuzat pe Lenat că a interpretat prea exact rezultatul Matematicianului Automat. În lucrarea sa Why Automatic Mathematician și Eurisko Seem to Work , Lenat a admis că orice sistem care a generat programe Lisp suficient de scurte ar genera acelea care ar putea fi interpretate de un observator extern ca reprezentare a unor concepte matematice sofisticate. Cu toate acestea, el a susținut că această proprietate era interesantă în sine și că o direcție promițătoare pentru cercetări ulterioare ar fi căutarea altor limbi în care șirurile scurte aleatorii aveau caracteristicile de a fi utile.
Succesorul
Această intuiție a stat la baza succesorului matematicianului automat, Eurisko , care a încercat să generalizeze căutarea conceptelor matematice în căutarea unor strategii euristice utile. Lenat însuși a creat apoi Cyc în 1984 , un alt program ambițios cu un scop similar.
Bibliografie
- Lenat, DB, (1976), AM: O abordare a inteligenței artificiale a descoperirii în matematică ca căutare euristică, teză de doctorat, AIM-286, STAN-CS-76-570 și Raportul proiectului de programare euristică HPP-76-8 , Universitatea Stanford, AI Lab., Stanford, CA. Publicat în Sisteme bazate pe cunoaștere în inteligență artificială împreună cu teza de doctorat a lui Randall Davis, McGraw-Hill, 1982.
- Lenat, DB și Brown, JS (august 1984). „De ce par să funcționeze AM și EURISKO”. Inteligență artificială 23 (3): 269–294.
- Ritchie, GD și Hanna, FK (august 1984). „AM: Un studiu de caz în metodologia AI” Inteligența artificială 23 (3): 249-268.
Elemente conexe
linkuri externe
- (EN) Edmund Furse - De ce AM a rămas fără abur?
- (EN) Teza de doctorat Ken Haase: Invenția și explorarea descoperirii , o reconstrucție rațională a matematicianului automat Lenat primitiv și analiza relațiilor dintre invenție și explorare în descoperire.
- Articol despre computer și psihic care descrie AM , pe sharetext.altervista.org .
