STP089: Frühgeschichte der künstlichen Intelligenz

<p>Scheinbar ist die sogenannte KI etwas, was nicht ganz so schnell wieder weg geht. Daher fangen wir in dieser Episode damit an, etwas genauer zu erklähren, was es damit auf sich hat. Im ersten Teil dieser Reihe geht es um die entferntere Geschichte, die zu dem geführt hat, was wir heute sehen.</p><h2>Shownotes</h2>Der Einfachheit halber wird im gesamten Text "künstliche Intelligenz" als KI und "maschinelles Lernen" als ML abgekürzt.</p>
<ul>
<li>
<p>KI kann vieles heißen, siehe die Breite von Meilensteinen in Wikipedias <a href="en.wikipedia.org/w/index.php?title=Timeline_of… of AI</a>; ein paar Picks als initiale Motivation</p>
<ul>
<li>
<ol start="4">
<li>Jhd. v. Chr.: Aristoteles beschreibt den <a href="de.wikipedia.org/w/index.php?title=Syllogismus…; als Methode formalen, mechanistischen Denkens</li>
</ol>
<ul>
<li>heutzutage Teil der <a href="de.wikipedia.org/w/index.php?title=Aussagenlog…;
</ul>
</li>
<li>12./13. Jhd: Ramon Llull legt sein Hauptwerk <a href="de.wikipedia.org/w/index.php?title=Ars_general… generalis ultima</a> vor, das erläutert, wie man durch mechanisches Kombinieren von Begriffen mittels einer von ihm erdachten "logischen Maschine" zu Erkenntnissen gelangt
<ul>
<li>Llull war sowohl Logiker als auch Theologe: "Die Große Kunst war Llull seinen Memoiren zufolge [...] 'von Gott offenbart' worden. Er wurde von da an auch <em>Doctor illuminatus</em> genannt."</li>
</ul>
</li>
<li>1679: Leibniz stützt sich auf Llulls Arbeit und entwickelt ein "Alphabet der menschlichen Kognition", mit dem Argumente nach festen Regeln mechanistisch ableitbar sein sollen</li>
<li>aber auch 1676: Leibniz leitet als Teil seiner Grundlagenforschung der Analysis die <a href="de.wikipedia.org/w/index.php?title=Kettenregel…; her
<ul>
<li>theoretische Grundlage für das Training mehrschichtiger ML-Systeme</li>
</ul>
</li>
</ul>
</li>
<li>
<p>damit durch Leibniz wichtige Vorarbeit für beide wesentlichen Lager der KI-Forschung, gemäß <a href="garymarcus.substack.com/p/how-o3-and-grok-4-ac… von KI-Forscher Gary Marcus</a></p>
<ul>
<li><strong>symbolische Tradition</strong> (seit dem Mittelalter, s.o.): "In diesem Ansatz stehen Symbole und Variablen für Abstraktionen; mathematische und logische Funktionen machen den Kern aus. [Symbolische] Systeme repräsentieren Wissen im Allgemeinen explizit, oft in Datenbanken, und verwenden klassische Programmiersprachen (oder sind komplett in diesen verfasst)."</li>
<li><strong>konnektionistische Tradition</strong> (seit 1940/1950): "[Konnektivistische] Systeme sind statistisch, sehr lose von bestimmten Aspekten des Gehirns inspiriert (z.B. sind 'Knoten' in neuralen Netzwerken als Abstraktion von Neuronen gedacht), und für gewöhnlich auf großen Datensätzen trainiert. Große Sprachmodelle (LLM) entwuchsen dieser Tradition."</li>
<li>Marcus skizziert die Geschichte der KI-Forschung als eine Geschichte der Spannung zwischen diesen Denkschulen</li>
<li>Xyrill beobachtet, dass dieser Dualismus zu seinen Beobachtungen über den Dualismus der menschlichen Intelligenz kongruent ist (vgl. System 1/2 in Daniel Kahnemans <a href="de.wikipedia.org/w/index.php?title=Schnelles_D… Denken, langsames Denken"</a>; aber Vorsicht bzgl. Replizierbarkeit)</li>
</ul>
</li>
<li>
<p>1956: <a href="de.wikipedia.org/w/index.php?title=Dartmouth_C… Conference</a>, ein zweimonatiges Sommerseminar zu KI</p>
<ul>
<li>nicht die erste wissenschaftliche Aktivität zu KI mit Computern, aber historischer Einfluss durch die hohe Konzentration wichtiger Vertreter des Feldes (analog zu den <a href="de.wikipedia.org/w/index.php?title=Solvay-Konf…)">Solvay-Konferenzen</a> in der Physik)</li>
<li>allein der erste Absatz des Förderantrags umreißt auch aus heutiger Sicht akkurat das ganze Feld (siehe Link unter "Durchführung")</li>
<li>Personen auf der Konferenz (Auswahl)
<ul>
<li><a href="de.wikipedia.org/w/index.php?title=John_McCart… McCarthy</a>: Erfinder der Programmiersprache LISP</li>
<li><a href="de.wikipedia.org/w/index.php?title=Marvin_Mins… Minsky</a>: Vordenker der Robotik, Miterfinder der Programmiersprache Logo (Caveat: <a href="en.wikipedia.org/w/index.php?title=List_of_peo… zu Epstein</a>)</li>
<li><a href="de.wikipedia.org/w/index.php?title=Nathaniel_R… Rochester</a>: 1955 bei IBM Experimente mit Neuronalen Netzwerken, Mustererkennung, Spielprogrammen, etc.</li>
<li><a href="de.wikipedia.org/w/index.php?title=Claude_Shan… Shannon</a>: Begründer der Informationstheorie; 1950 Konstruktion einer Robotermaus, die ein Labyrinth durchschreiten konnte</li>
<li><a href="de.wikipedia.org/w/index.php?title=Ray_Solomon… Solomonoff</a>: präsentierte auf der Konferenz ein Programm, dass "arithmetische Formeln durch Beispiele ohne eingreifende Aufsicht" lernen konnte</li>
<li><a href="de.wikipedia.org/w/index.php?title=Oliver_Self… Selfridge</a>: schlug 1958 eine Struktur für KI-Systeme als Netzwerk von Agenten ("Dämonen") vor, mit unterschiedlichen Arten von Agenten ("Feature Demons" für Mustererkennung, "Cognitive Demons" für Informationszusammenführung, "Decision Demons" für Entscheidungen)</li>
<li><a href="de.wikipedia.org/w/index.php?title=Allen_Newel… Newell</a> und <a href="de.wikipedia.org/w/index.php?title=Herbert_A._… A. Simon</a>: 1956 Entwicklung eines Logiksystems, das im Stande war, die 38 Theoreme aus Bertrand Russells <a href="de.wikipedia.org/w/index.php?title=Principia_M… Mathematica</a> zu beweisen (vgl. moderne Theorem-Löser wie <a href="de.wikipedia.org/w/index.php?title=Rocq&ol…;)</li>
</ul>
</li>
</ul>
</li>
</ul>