John McCarthy (1927-2011) war ein amerikanischer Informatiker, der 1955 den Begriff „künstliche Intelligenz“ prägte und 1956 den Dartmouth-Workshop organisierte, der das Feld als akademische Disziplin begründete. Er entwickelte außerdem die Programmiersprache LISP, eine der frühesten und einflussreichsten Sprachen für die KI-Forschung.
Frühe Karriere und der Dartmouth-Vorschlag
McCarthy studierte Mathematik am Caltech und in Princeton, wo er von Claude Shannons Arbeiten zur Informationstheorie beeinflusst wurde. 1955 verfasste er am Dartmouth College gemeinsam mit Marvin Minsky, Claude Shannon und Nathaniel Rochester einen Finanzierungsvorschlag für ein Sommerforschungsprojekt, das „die Vermutung untersuchen sollte, dass jeder Aspekt des Lernens oder jedes andere Merkmal der Intelligenz prinzipiell so präzise beschrieben werden kann, dass eine Maschine gebaut werden kann, um ihn zu simulieren.“ Der Vorschlag führte den Begriff „künstliche Intelligenz“ ein, und der daraus resultierende Workshop von 1956 wird üblicherweise als Gründungsereignis des Feldes behandelt.
LISP und symbolische Berechnung
1958 entwarf McCarthy, damals am MIT, LISP (List Processor), eine Sprache, die auf symbolischen Ausdrücken und rekursiven Funktionen aufbaut und für Jahrzehnte zur dominierenden Sprache der symbolischen KI-Forschung wurde. LISP führte Ideen wie Garbage Collection und bedingte Ausdrücke ein, die die Programmiersprachen weit über die KI hinaus beeinflussten. McCarthy war auch ein Pionier von Time-Sharing-Computersystemen und schlug 1959 in einem Papier den „Advice Taker“ vor, einen frühen Entwurf für ein Programm, das logisches Denken zur Problemlösung nutzen konnte – ein Vorläufer späterer Arbeiten zu Expertensystemen und Wissensrepräsentation.
Stanford und spätere Karriere
McCarthy wechselte 1962 an die Stanford University, wo er das Stanford Artificial Intelligence Laboratory gründete und den Großteil seiner Karriere verbrachte. Er blieb ein Verfechter logikbasierter Ansätze in der KI und argumentierte, dass gesunder Menschenverstand formale Wissensrepräsentationen erfordere – eine Position, die ihn in Spannung zu den statistischen und neuronalen Netzwerkansätzen brachte, die Jahrzehnte später das Feld dominierten, einschließlich der Deep-Learning-Methoden hinter modernen großen Sprachmodellen. 1971 erhielt er den Turing Award für seine Beiträge zur KI.
Vermächtnis
McCarthys Dartmouth-Vorschlag benannte das Feld der künstlichen Intelligenz faktisch, und seine Überzeugung, dass Intelligenz durch formale, symbolische Regeln erfasst werden könne, prägte die ersten Jahrzehnte der KI-Forschung – ein Ansatz, der später als „gut altmodische KI“ oder symbolische KI bezeichnet wurde. Obwohl sein logikbasiertes Paradigma weitgehend durch datengetriebenes maschinelles Lernen abgelöst wurde, beeinflussen seine Betonung von Alltagslogik und formaler Wissensrepräsentation weiterhin Diskussionen über die Grenzen rein statistischer Systeme und das Streben nach allgemeiner künstlicher Intelligenz.