Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
Dit artikel beschrijft de reconstructie van een IPL-V-interpretator in Common Lisp en de daaropvolgende succesvolle heruitvoering van de originele Logic Theorist-code uit 1963, waarmee voor het eerst in meer dan een halve eeuw 16 van de 23 geteste stellingen uit *Principia Mathematica* werden bewezen.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Het Reanimeren van een Digitale Fossiel: Een Reis naar het Begin van de AI
Stel je voor dat je een oude, vergeten auto uit de jaren '50 vindt in een schuur. Hij is volledig uit elkaar gehaald, de handleiding is vaag, en er is geen enkele garage die nog weet hoe je hem start. De meeste mensen zouden zeggen: "Laat maar staan, we bouwen wel een nieuwe."
Maar Jeff Shrager, de auteur van dit artikel, deed iets anders. Hij besloot om die oude auto niet alleen te repareren, maar hem exact weer aan de praat te krijgen, inclusief de originele onderdelen, zodat je kunt zien hoe hij echt reed.
Dit is wat hij deed met de Logic Theorist (LT), de allereerste kunstmatige intelligentie (AI) ooit gemaakt, in 1955-1956.
1. De Oude Taal: IPL-V als een Vergeten Dialect
De Logic Theorist werd geschreven in een programmeertaal genaamd IPL-V.
- De Analogie: Stel je voor dat IPL-V een taal is die net zo oud is als het Latijn, maar dan voor computers. Het was de "voorouder" van de taal Lisp (die nog steeds bestaat). In de jaren '60 spraken computerschrijvers deze taal, maar tegenwoordig is het een dode taal. Niemand spreekt het meer, en er zijn geen moderne vertalers (compilers) voor.
- Het Probleem: Om de Logic Theorist weer te laten werken, moest Shrager eerst een vertaler bouwen. Hij schreef een nieuw programma in de moderne taal "Common Lisp" dat precies doet wat de oude IPL-V-machine deed. Het is alsof hij een tolk bouwde die een oude, dode taal naar moderne computercode kan vertalen, woord voor woord.
2. De Opgraving: "Uitvoerbare Archeologie"
Shrager noemt zijn methode "uitvoerbare archeologie".
- De Vergelijking: Normaal gesproken kijken archeologen naar oude botten of potten en proberen ze te raden hoe ze eruit zagen. Shrager deed echter alsof hij een tijdmachine had. Hij nam de originele blauwdrukken (een technisch rapport uit 1963), schreef de code letterlijk over (letter voor letter, net als het overtypen van een oud manuscript) en zette het in zijn nieuwe "vertaler".
- Het Resultaat: Het programma draaide! Het was de eerste keer in meer dan 50 jaar dat deze specifieke code weer "leefde". Het bewees 16 van de 23 wiskundige problemen die het probeerde op te lossen, precies zoals het in de jaren '50 deed.
3. De Strijd: Mens versus AI bij het Oplossen van Fouten
Dit is het meest fascinerende deel van het verhaal. Het bouwen van de vertaler ging goed, maar toen het programma eindelijk draaide, deed het gekke dingen. Het viel niet helemaal stil, maar het gaf soms rare antwoorden.
- De Uitdaging: Het vinden van deze fouten was als het zoeken naar een naald in een hooiberg, terwijl je blind bent. De "hooiberg" bestond uit duizenden regels code en miljoenen kleine stappen die de computer maakte.
- De Menselijke Rol: Shrager deed het grootste deel van het werk alleen. Hij was de detective die de regels van het spel (de taal) moest begrijpen.
- De AI-Rol: Toen hij vastliep, vroeg hij hulp aan moderne AI's (zoals Google Gemini en Anthropic's Claude).
- De Metafoor: Stel je voor dat je een oude, vergeten taal probeert te leren van een boek dat half onleesbaar is. Jij (de mens) bouwt een eerste versie van een woordenboek. De AI leest jouw woordenboek en helpt je om de fouten te vinden die jij over het hoofd zag.
- Het Klinkende Moment: De AI's waren zo goed in het lezen van duizenden pagina's logbestanden (de "hooiberg") dat ze een fout vonden in een heel specifieke functie. Maar ze konden het niet helemaal oplossen.
- De "Tijdmachine"-Oplossing: Shrager had toegang tot originele ponskaarten uit 1962 (de "Simon's J's") die in een museum lagen. Hij liet de AI deze oude kaarten lezen en vergelijken met zijn eigen code. De AI zag direct: "Ah! Jij hebt dit woord verkeerd geschreven in jouw woordenboek, want hier op de oude kaart staat het anders!"
- Het Wonder: Een moderne AI, die een dode taal leerde van een menselijke vertaler, hielp een mens om een fout te vinden in de code, door te kijken naar een fysiek artefact uit 1962. Het was een samenwerking tussen de mens, de moderne AI en de geest van de oorspronkelijke uitvinders.
4. Waarom is dit belangrijk?
Je zou kunnen zeggen: "Waarom niet gewoon de logica van de Logic Theorist herschrijven in een moderne taal?"
- Het Verschil: Als je de logica herschrijft, bouw je een nieuwe auto die lijkt op de oude. Als je de originele code laat draaien (zoals Shrager deed), rijdt je in de echte, originele auto.
- De Les: Door de originele machine te laten draaien, kunnen we zien hoe de oorspronkelijke denkers (Newell, Simon en Shaw) echt dachten. We zien hoe hun ideeën over "menselijk denken" in code werden gegoten. Het laat zien dat de basisideeën van AI (zoals lijsten maken, symbolen gebruiken en zelflerende systemen) al in de jaren '50 bestonden, lang voordat we ze vandaag de dag hebben.
Samenvatting in één zin
Jeff Shrager bouwde een tijdmachine in software om de allereerste AI-programma's weer aan de praat te krijgen, gebruikte moderne AI om de oude code te repareren, en bewees zo dat we door naar het verleden te kijken, beter begrijpen hoe de toekomst van intelligentie eruitziet.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.