Herbert Simon (1916-2001) war ein amerikanischer Ökonom, Politikwissenschaftler und Informatiker, der einige der frühesten Programme der künstlichen Intelligenz mitentwickelte und 1978 für seine Theorie der begrenzten Rationalität den Nobelpreis für Wirtschaftswissenschaften erhielt.
Logic Theorist und frühe KI
In Zusammenarbeit mit Allen Newell und dem Programmierer Cliff Shaw an der RAND Corporation und der Carnegie Mellon University entwickelte Simon in den Jahren 1955-56 den Logic Theorist, der weithin als das erste Programm gilt, das darauf ausgelegt war, menschliches Problemlösungsverhalten nachzuahmen, und oft als das erste echte Programm für künstliche Intelligenz bezeichnet wird. Es bewies Theoreme aus Alfred North Whitehead und Bertrand Russells "Principia Mathematica" und fand in einem Fall einen kürzeren Beweis als das Original. Simon und Newell nahmen 1956 am Dartmouth-Workshop teil, wo Simon Berichten zufolge verkündete, sie hätten "eine denkende Maschine erfunden" - eine charakteristisch kühne Behauptung, die sowohl die Ambitionen als auch die Kontroversen des jungen Feldes einfing.
Begrenzte Rationalität
Simons wirtschaftswissenschaftliche Arbeit stellte die Annahme der klassischen Ökonomie in Frage, dass Entscheidungsträger perfekt rationale Optimierer seien. Stattdessen argumentierte er, dass reale Akteure, ob menschlich oder künstlich, unter begrenzter Rationalität operieren: begrenzte Informationen, begrenzte Rechenkapazität und begrenzte Zeit zwingen Entscheidungsträger zum "Satisfizieren", also zur Wahl von Optionen, die gut genug sind, statt nachweislich optimal. Dieses Rahmenwerk beeinflusste sowohl die Wirtschaftswissenschaften - wofür er 1978 den Nobelpreis für Wirtschaftswissenschaften erhielt - als auch die Forschung zur künstlichen Intelligenz in Bezug auf heuristische Suche und Entscheidungsfindung unter Beschränkungen; Ideen, die in späteren Arbeiten zu bestärkendem Lernen und ressourcenbegrenzter Planung in KI-Agenten nachhallen.
General Problem Solver und Kognitionswissenschaft
Simon und Newell entwickelten 1957 den General Problem Solver, ein Programm, das allgemeine Heuristiken statt domänenspezifischer Regeln nutzen sollte, um eine breite Palette von Problemen zu lösen, indem es von Zielen rückwärts arbeitete - ein früher Vorläufer späterer Planungssysteme. Simon war außerdem eine Gründungsfigur der Kognitionswissenschaft und argumentierte, dass menschliche Kognition selbst als eine Form der Informationsverarbeitung verstanden werden könne, die mit Berechnung vergleichbar ist - eine Haltung, die zentral für das breitere Projekt der symbolischen KI war.
Vermächtnis
Simon und Newell teilten sich 1975 den Turing Award für ihre Beiträge zur künstlichen Intelligenz und kognitiven Psychologie, was Simon zu einem der wenigen Forscher machte, die sowohl einen Nobelpreis als auch einen Turing Award besitzen. Seine interdisziplinäre Karriere, die Wirtschaftswissenschaften, Psychologie, Informatik und öffentliche Verwaltung umspannte, veranschaulichte die frühe Überzeugung, dass Intelligenz, ob menschlich oder maschinell, als ein einheitliches Phänomen der Symbolmanipulation und Suche untersucht werden könne - eine grundlegende Prämisse allgemeiner Ansätze zur KI, die später engeren, datengetriebenen Methoden des maschinellen Lernens und schließlich Debatten über künstliche allgemeine Intelligenz Platz machte.