Logic Theorist

Rövid szöveges bemutatás: 
A Logic Theorist egy probléma megoldó, következtető rendszer volt, melyet Allen Newell és Herbert Simon alkotott meg 1956. A programot ILP nyelven implementálták. Az alkotás egyik érdekes következménye volt, hogy magát az ILP, listakezelő nyelvet is meg kellet alkotniuk, de fordítóprogramot már nem írtak hozzá, így a programot kézzel kellet átfordítani gépi (bináris) kódra. A rendszer azonban kiválóan működött. Háttértudást használt fel különböző tételek bizonyítására és számos esetben is sikerültek ezek a bizonyítások, sőt némelyik rövidebb volt mint az emberi bizonyítás. A programmal implementálni lehetett nemnumerikus gondolkodást is, azonban az emberekhez hasonló gondolkodástól a rendszer még távol állt. A programról részletesebben a mellékelt weboldalon olvashat.