1839: Charles Sanders Peirce föds

Den 10 september 1839 föddes Charles Sanders Peirce i Cambridge, Massachusetts. Som son till en Harvard-matematiker utvecklades Peirce till en av 1800-talets mest originella amerikanska tänkare: logiker, filosof, vetenskapsman och semiolog vars idéer i tysthet formade den intellektuella mylla ur vilken artificiell intelligens senare skulle växa fram.

Peirce utvidgade George Booles logiska algebra till en fullständig relationsteori. Hans ”relatives logik” hanterade predikat som knyter samman flera objekt—precis den struktur som senare formaliserades i första ordningens predikatlogik, det språk som fortfarande används för att representera kunskap i många AI-system. Han uppfann också existentiella grafer, en diagrammatisk notation som förebådade moderna visuella och spatiala logiker. Mer praktiskt beskrev han på 1880-talet elektriska omkopplingskretsar som kunde utvärdera logiska satser, årtionden innan Claude Shannons berömda masteruppsats gjorde samma koppling till grunden för digital elektronik.

Lika betydelsefull för dagens AI är Peirces undersökningsteori. Han skilde mellan tre resonemangsformer: deduktion, induktion och abduktion. Abduktion—det fantasifulla språng som skapar en plausibel hypotes för att förklara överraskande data—erkänns numera som en kärnprocess i maskininlärning, vetenskapliga upptäcktssystem och stora språkmodeller som genererar möjliga förklaringar. Hans semiotik, studiet av tecken och deras tolkning, ger ett begreppsligt ordförråd för att förstå hur symboler får mening både i mänskliga medvetanden och i artificiella agenter.

Även om Peirce dog i relativ obemärkthet 1914, publicerades hans manuskript successivt och togs upp av senare generationer av logiker, datavetare och kognitionsforskare. Från relationsdatabaser och kunskapsgrafer till probabilistisk programmering och neurosymboliska arkitekturer syns fortfarande spår av hans tänkande. På denna årsdag minns vi en rastlös polyhistor som, långt innan elektroniska datorer fanns, redan kartlade de logiska och inferentiella stigar som artificiell intelligens fortfarande vandrar.