Das Dartmouth-Sommerprojekt zu künstlicher Intelligenz (1956)
Ein sechs- bis achtwöchiger Workshop, der den Begriff „künstliche Intelligenz" prägte und als eigenständiges Forschungsfeld etablierte.
Das Dartmouth Summer Research Project on Artificial Intelligence gilt weithin als Gründungsereignis der KI als eigenständige Disziplin. Es wird manchmal als „Verfassungskonvent der KI” bezeichnet. Der Workshop fand im Sommer 1956 am Dartmouth College in Hanover, New Hampshire statt und dauerte etwa sechs bis acht Wochen, von Mitte Juni bis Mitte August.
Der Antrag
Am 31. August 1955 reichten vier Forscher einen Antrag bei der Rockefeller Foundation ein:
- John McCarthy (Dartmouth College): er prägte den Begriff „artificial intelligence” im Antrag selbst,
- Marvin Minsky (Harvard): er hatte einen Simulator für lernende neuronale Netze gebaut,
- Nathaniel Rochester (IBM): Mitentwickler des IBM-701-Computers,
- Claude Shannon (Bell Labs): Begründer der Informationstheorie.
Der erste Satz setzte den Anspruch: „We propose that a 2 month, 10 man study of artificial intelligence be carried out during the summer of 1956 … on the basis of the conjecture that every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it.”
Der Name „artificial intelligence” wurde bewusst gewählt. McCarthy erklärte später, er wollte „die Flagge am Mast befestigen”, um die Arbeit von der breiter gefassten, weniger fokussierten Gemeinschaft der „Automata Studies” abzugrenzen.
Was in Dartmouth passierte
Der Workshop war keine straff organisierte Konferenz, sondern ein ausgedehntes Brainstorming, bei dem Forscher kamen und gingen. Nur drei Personen blieben die gesamte Zeit: Ray Solomonoff, Marvin Minsky und John McCarthy. An einem typischen Tag nahmen zwischen drei und acht Personen teil. Zu den Teilnehmern gehörten unter anderem Allen Newell, Herbert Simon, Arthur Samuel, Oliver Selfridge und Trenchard More.
Das bekannteste Ergebnis, das beim Workshop vorgestellt wurde, war der Logic Theorist von Allen Newell, Herbert Simon und Cliff Shaw. Er war mit der Listverarbeitungssprache IPL gebaut und konnte mathematische Theoreme aus Whitehead und Russells Principia Mathematica beweisen. Er bewies 38 der ersten 52 Theoreme, und bei einem fand er sogar einen eleganteren Beweis als das Original. McCarthy räumte später ein: „Newell und Simon waren die Stars.”
Weitere Beiträge:
- Minskys Ideen für einen Geometrie-Beweiser, der nur versuchte, Aussagen an einem Diagramm als wahr zu beweisen. Später setzte Herbert Gelernter bei IBM einen Prototyp um.
- Ray Solomonoffs frühe Arbeiten zur algorithmischen Komplexität, die später die Theorie des maschinellen Lernens und der Inferenz beeinflussten.
- Alex Bernsteins Schachprogramm und McCarthys eigene Alpha-Beta-Heuristik für die Spielbaumsuche.
- Arthur Samuels Dame-Programm, eines der frühesten Beispiele für maschinelles Lernen.
Warum es zählt
Der Dartmouth-Workshop brachte kein einzelnes Durchbruchspaper und kein einheitliches Forschungsprogramm hervor. Seine bleibende Bedeutung ist symbolisch und institutionell: Er brachte die Menschen zusammen, die das Feld für die nächsten Jahrzehnte prägen sollten, er gab ihnen einen gemeinsamen Namen, künstliche Intelligenz, und er legitimierte maschinelle Intelligenz als ernsthaftes wissenschaftliches Forschungsgebiet.
Die im Antrag von 1955 skizzierten Themen, Sprachgebrauch, Abstraktion, Problemlösung und Selbstverbesserung, stehen siebzig Jahre später noch immer im Zentrum der KI-Forschung. Von symbolischer KI und Expertensystemen bis zu heutigen großen Sprachmodellen und neuronalen Netzen: Die Fragen, die in Dartmouth gestellt wurden, werden noch immer beantwortet.