En onze bezorging Eerder vertelden we hoe Simon, een theoreticus op het gebied van politicologie, samen met een natuurkundige genaamd Newell en een actuaris die programmeur genaamd Shaw begon met de constructie van het eerste kunstmatige intelligentieprogramma dat bekend staat als Logical Theorist. Dit vereiste de uitvinding van de eerste specifieke programmeertaal voor kunstmatige intelligentie
We hadden dit verhaal achtergelaten bij het trio, samen met medewerkers en familie, die het gedrag van de verschillende onderdelen van het programma simuleerden met behulp van mensen en handgeschreven kaartjes.
Na verschillende van dit soort simulaties werd het programma geïmplementeerd op een echte computer. De test is geslaagd als de software slaagde erin om achtendertig stellingen van een van de hoofdstukken van het boek Principia Matemática van Russell en Whitehead te bewijzen. Zelfs in een van de gevallen (en zonder specifieke instructies om dit te doen) vond hij een manier om het veel "eleganter" te testen dan de auteurs van het boek.
De eerste programmeertaal voor kunstmatige intelligentie
Het feit dat Simon en zijn team er zo lang over deden om hun programma te schrijven, komt omdat ze hadden een specifieke programmeertaal nodig die voldoende kracht en flexibiliteit had voor hun doeleinden. Die taal heette IPL (Information Processing Language) en introduceerde voor het eerst de lijstverwerkingstechniek voor programmeren.
Daarin verschilde IPL van de hoogstaande talen van die tijd het vereiste niet dat symbolen vooraf werden gedefinieerd en het had de mogelijkheid om symboolstructuren te associëren en te wijzigen.
De zogenaamde lijstverwerkingstechniek bestaat uit het opslaan van elk stuk informatie samen met aanwijzingen voor het vinden van de bijbehorende informatie. Door de indicaties te veranderen kunnen nieuwe associaties worden opgebouwd.
De "Algemene probleemoplosser"
Om hun volgende software te maken, besloten Simon en Newell een andere aanpak te proberen. Er circuleerde toen een psychologisch onderzoek waarin deelnemers werden uitgenodigd om hardop uit te leggen hoe ze logische problemen oplosten. Het duo ontdekte dat deze formulieren totaal verschilden van de formulieren die door hun software werden gebruikt, dus besloten ze om hun eigen versie van het onderzoek te doen en maak software op basis van de methoden beschreven door de deelnemers. Het programma (bekend als GPS voor General Problem Solver) was gecodeerd op basis van een organisatie van informatie en heuristieken, onafhankelijk van de taken die ze moesten uitvoeren.
Deze nieuwe methodiek kreeg de naam "Means-to-Ends Analysis" en bestaat uit vergelijk de huidige situatie met het ideaal en onderneem acties die het verschil tussen beide verkleinen en beoordeel vervolgens opnieuw totdat het verschil tot nul is teruggebracht. Met deze methodologie kan het programma reageren op veranderingen in de variabelen van het probleem. De programmeur geeft het probleem aan en een zogenaamde verschiltabel waarin de mogelijke handelwijzen zijn aangegeven en onder welke omstandigheden deze zich bevinden.
GPS was in staat een probleem op te splitsen in deelproblemen en de backtracking-benadering toe te passen, dat wil zeggen dat als het ene pad niet werkte, hij terug zou gaan en een ander pad zou volgen.
Gedurende de 11 jaar dat het in bedrijf was, GPS loste puzzels op, voerde symbolische integratie uit en brak geheime codes.
Terwijl Simon en Newell zich hiermee vermaakten, ontwikkelde een student genaamd Robert K. Lindsay een programma dat bekend staat als SAD SAM. zacht was in staat informatie te extraheren uit zinnen van het type "Juan is Pepa's zoon" en "Juan is Alberto's broer" en een stamboom op te bouwen vanleren dat Alberto ook de zoon van Pepa is (ik heb geen idee hoe hij het zou redden met de stiefgezinnen van de wereld van vandaag.
Natuurlijk kon de toenmalige gigant van de computerindustrie, IBM, niet achterblijven bij het onderzoek naar kunstmatige intelligentie, een gebied dat midden in de Koude Oorlog al een enorm potentieel voor militaire toepassingen aan het licht bracht en in het volgende artikel zullen we zal vertellen over zijn eerste bijdragen in het veld.