Dartmouth i pierwsze programy AI

Wstęp do działu

Lato 1956 roku, Dartmouth College, mała miejscowość w stanie New Hampshire. Garstka matematyków i inżynierów spotyka się na kilka tygodni, przekonana, że w ciągu jednego lata da się poczynić „znaczący postęp" w budowie myślących maszyn. Mylili się co do tempa — ale mieli rację co do kierunku. To właśnie tam, w skromnej sali seminaryjnej, ktoś po raz pierwszy zapisał na papierze dwa słowa, które miały obiec cały świat: artificial intelligence.

W poprzednim dziale prześledziliśmy korzenie tej idei — logikę Arystotelesa, marzenie Leibniza o „Calculemus!", twierdzenia Gödla i Turinga, elektroniczne obwody Shannona. Wszystko to były pojedyncze kawałki układanki, rozproszone po różnych dziedzinach: logice, matematyce, inżynierii. Dartmouth to moment, w którym te kawałki dostały wspólną nazwę, wspólny cel i — co równie ważne — wspólną społeczność badaczy, którzy zaczęli się nawzajem czytać, cytować i rywalizować.

Ten dział pokazuje, jak z jednego letniego spotkania wyrosła cała dyscyplina naukowa. Zobaczymy pierwszy program, który samodzielnie dowodził twierdzeń matematycznych (Logic Theorist), język programowania stworzony specjalnie do „myślenia symbolami" (LISP), chatbota, który — mimo trywialnych sztuczek — przekonał ludzi, że rozmawia z kimś, kto ich rozumie (ELIZA), oraz program do gry w warcaby, który jako pierwszy „uczył się" na własnych błędach i dał początek terminowi, który dziś słyszysz wszędzie: machine learning.

Mapa pojęć działu

                    NARODZINY DZIEDZINY AI (1956–1966)
                                  |
        ┌─────────────┬──────────┴──────────┬─────────────┐
   DARTMOUTH 1956   LOGIC THEORIST      LISP i ELIZA    SAMUEL i ML
   nazwa „AI"        GPS                 (1958, 1966)   (1952, 1959)
   obietnice          |                       |               |
   limity sprzętu  Physical Symbol      przetwarzanie    minimax
        |          System Hypothesis    symboli/list     uczenie się
   McCarthy,           |               iluzja rozmowy    z doświadczenia
   Minsky,        Newell, Simon,        bez rozumienia         |
   Shannon,       Shaw                       |            pierwszy
   Rochester           |                McCarthy,         program AI?
                   pierwszy program    Weizenbaum
                   AI? (1956)

Jednostki w tym dziale

• 6.1 Dartmouth 1956: narodziny nazwy i dyscypliny
• 6.2 Logic Theorist, GPS i Physical Symbol System Hypothesis
• 6.3 LISP, ELIZA i iluzja rozmowy
• 6.4 Samuel, minimax i narodziny „machine learning"

---