Teoreticianul logicii

Teoreticianul logicii

informație
Dezvoltat de Allen Newell , Herbert Simon și Cliff Shaw
Scris in Limbajul de procesare a informațiilor
Tip Program de calculator

The Logic Theorist este un program de calculator scris în 1955 și 1956 de Allen Newell , Herbert Simon și Cliff Shaw . A fost conceput pentru a reproduce abilitățile de rezolvare a problemelor unei ființe umane și este considerat primul program de inteligență artificială. El a reușit să demonstreze 38 din cele 52 de teoreme ale Principiei Mathematica a lui Whitehead și Russell .

A fost prezentat în 1956 la Conferința de la Dartmouth , considerată certificatul de naștere al inteligenței artificiale ca un domeniu de cercetare autonomă.

Note

  1. Teoreticianul logicii este considerat pe scară largă ca primul program adevărat de inteligență artificială, deși Arthur Samuel a scris mai devreme un program de verificare a probelor. Christopher Strachey a scris, de asemenea, un program de verificare a probelor în 1951.

Citate

  1. Crevier 1993 , p.  44.
  2. Jacques Henno, "  1956: și inteligența artificială a devenit o știință  " , pe Les Échos ,21 august 2017(accesat la 30 ianuarie 2019 ) .

Referințe

Daniel Crevier, AI: Căutarea tumultuoasă a inteligenței artificiale , New York, NY, BasicBooks,1993( ISBN  0-465-02997-3 ), p.  44–46 .

Articole similare