En vår leverans Tidigare berättade vi hur Simon, en statsvetenskapsteoretiker tillsammans med en fysiker vid namn Newell och en aktuarie som blev programmerare vid namn Shaw, började bygga det första artificiella intelligensprogrammet känt som Logical Theorist. Detta krävde uppfinningen av det första specifika programmeringsspråket för artificiell intelligens
Vi hade lämnat denna berättelse med trion tillsammans med medarbetare och familj som simulerade beteendet hos de olika delarna av programmet med hjälp av människor och handskrivna kort.
Efter flera simuleringar som dessa implementerades programmet på en riktig dator. Testet var lyckat som programvaran lyckades bevisa trettioåtta satser i ett av kapitlen i boken Principia Matemática av Russell och Whitehead. Även i ett av fallen (och utan att ha specifika instruktioner för att göra det) hittade han ett sätt att testa det mycket mer "elegant" än författarna till boken.
Det första programmeringsspråket för artificiell intelligens
Att Simon och hans team tog så lång tid att skriva sitt program beror på de behövde ett specifikt programmeringsspråk som hade tillräckligt med kraft och flexibilitet för sina syften. Det språket kallades IPL (Information Processing Language) och det introducerade först listbehandlingstekniken för programmering.
IPL skiljde sig från dåtidens högnivåspråk på det sättet det krävde inte att symboler skulle definieras i förväg och det hade förmågan att associera och ändra symbolstrukturer.
Den så kallade listbearbetningstekniken består av lagra varje del av information tillsammans med anvisningar om hur man hittar bitar av information som är kopplad till dem. Genom att ändra indikationerna kan nya föreningar byggas.
Den "Allmänna problemlösaren"
För att skapa sin nästa programvara bestämde sig Simon och Newell för att prova ett annat tillvägagångssätt. Då cirkulerade en psykologisk utredning som uppmanade deltagarna att högt förklara hur de löste logiska problem. Duon upptäckte att dessa formulär var helt annorlunda än de som användes av deras programvara så de bestämde sig för att göra sin egen version av undersökningen och skapa programvara baserad på de metoder som beskrivits av deltagarna. Programmet (känd som GPS for General Problem Solver) kodades baserat på en organisation av information och heuristik oberoende av de uppgifter de ombads utföra.
Denna nya metodik fick namnet "Means-to-Ends Analysis" och består av jämför den nuvarande situationen med idealet och vidta åtgärder som minskar skillnaden mellan dem och omvärdera sedan tills skillnaden reduceras till noll. Denna metod gör att programmet kan reagera på förändringar i problemets variabler. Programmeraren anger problemet och en så kallad skillnadstabell där de möjliga handlingssätten anges och under vilka omständigheter de är.
GPS kunde dela upp ett problem i delproblem och tillämpa backtracking-metoden, det vill säga att om en väg inte fungerade skulle han gå tillbaka och följa en annan.
Under de 11 år som den var i drift, GPS löste pussel, utförde symbolisk integration och bröt hemliga koder.
Medan Simon och Newell underhöll sig med detta utvecklade en student vid namn Robert K. Lindsay ett program som kallas SAD SAM. det mjuka kunde extrahera information från meningar av typen "Juan är Pepas son" och "Juan är Albertos bror" och bygga ett släktträd avupplyser om att Alberto också är Pepas son (jag har ingen aning om hur han skulle klara sig med styvfamiljerna i dagens värld.
Naturligtvis kunde dåtidens gigant inom datorindustrin, IBM, inte hålla sig utanför forskningen om artificiell intelligens, ett område som redan i mitten av det kalla kriget avslöjade en enorm potential för militära tillämpningar och i nästa artikel kommer att berätta om sina första bidrag på området.