Inductive reasoning requires to find for given instances a general rule. This makes inductive reasoning an excellent test-bed for artificial general intelligence (AGI). An exampl...
Abstract. Methods of simulated annealing and genetic programming over probabilistic program traces are developed firstly. These methods combine expressiveness of Turing-complete pr...
This paper discusses several key issues in temporal and causal inference in the context of AGI. The main conclusions are: (1) the representation of temporal information should take...
Abstract. Since universal induction is a central topic in artificial general intelligence (AGI), it is argued that compressing all sequences up to a complexity threshold should be...
Dependable cyber-physical systems strive to deliver anticipative, multi-objective performance anytime, facing deluges of inputs with varying and limited resources. This is even mor...