Computable Model Discovery and High-Level-Programming Approximations to Algorithmic Complexity

Autor:	Lemusa, Vladimir, Acuña, Eduardo, Zamora, Víctor, Hernandez-Quiroz, Francisco, Zenil, Hector
Rok vydání:	2021
Předmět:	Computer Science - Information Theory Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	Motivated by algorithmic information theory, the problem of program discovery can help find candidates of underlying generative mechanisms of natural and artificial phenomena. The uncomputability of such inverse problem, however, significantly restricts a wider application of exhaustive methods. Here we present a proof of concept of an approach based on IMP, a high-level imperative programming language. Its main advantage is that conceptually complex computational routines are more succinctly expressed, unlike lower-level models such as Turing machines or cellular automata. We investigate if a more expressive higher-level programming language can be more efficient at generating approximations to algorithmic complexity of recursive functions, often of particular mathematical interest. Comment: 23 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2112.12197 Zobrazit plný text záznamu View this record from Arxiv