There are currently no projects
This tab is intentionally left blank.
Den del af datalogi, som jeg beskæftiger mig mest med ligger i sammenspillet mellem data og algoritmer. Jeg bruger megen tid på at finde algoritmer til at analysere og syntetisere data fra den virkelige verden. Dér fungere algoritmer som avanceret datamodeller, og datamodellerne er intet uden data, og omvendt forstår vi kun data gennem modeller. Fra analysesiden kan man betragte algoritmer som data, hvilket åbner op for søgning i rummet af algoritmer, f.eks. som det gøres med Minimum Description Length (MDL) metoden: Den optimale beskrivelse af data er den korteste algoritme, som rekonstruerer data eksakt og stopper. Haltingproblemet betyder, at man ikke kan udvide denne form for analyse til hele rummet af algoritmer, men i begrænsede rum kan søgninger gennemføres. F.eks. hvis man vil beskrive et billede, kunne man skære billedet op i områder, der hver især approksimeres med hvert sit polynomium. Algoritmen indbefatter altså angivelsen af 1) områdernes kanter, 2) en beskrivelse af et antal polynomier og deres koefficienter, samt 3) en liste af residualer. Lagringen af alle 3 dele f.eks. på en harddisk giver et entydigt mål for kompleksiteten af data som set af algoritmen, og målet kan bruges til at finde den korteste beskrivelse. Måske vigtigst af alt åbner MDL op for en objektiv diskussion af forhåndsviden i form af rummet af algoritmer, der søges over, og hvordan disses parametrer skrives på harddisken.
Jon Sporring