Sciweavers

AGI
2015
8 years 22 days ago
Comparing Computer Models Solving Number Series Problems
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...
Ute Schmid, Marco Ragni
AGI
2015
8 years 22 days ago
Genetic Programming on Program Traces as an Inference Engine for Probabilistic Languages
Abstract. Methods of simulated annealing and genetic programming over probabilistic program traces are developed firstly. These methods combine expressiveness of Turing-complete pr...
Vita Batishcheva, Alexey Potapov
AGI
2015
8 years 22 days ago
Issues in Temporal and Causal Inference
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...
Pei Wang, Patrick Hammer
AGI
2015
8 years 22 days ago
Toward Tractable Universal Induction Through Recursive Program Learning
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...
Arthur Franz
AGI
2015
8 years 22 days ago
Anytime Bounded Rationality
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...
Eric Nivel, Kristinn R. Thórisson, Bas R. S...
AGI
2015
8 years 22 days ago
Plan Recovery in Reactive HTNs Using Symbolic Planning
Building formal models of the world and using them to plan future action is a central problem in artificial intelligence. In this work, we combine two well-known approaches to thi...
Lydia Ould Ouali, Charles Rich, Nicolas Sabouret
AGI
2015
8 years 22 days ago
A New View on Grid Cells Beyond the Cognitive Map Hypothesis
Grid cells in the entorhinal cortex are generally considered to be a central part of a path integration system supporting the construction of a cognitive map of the environment in ...
Jochen Kerdels, Gabriele Peters
AGI
2015
8 years 22 days ago
Optimization Framework with Minimum Description Length Principle for Probabilistic Programming
Abstract. Application of the Minimum Description Length principle to optimization queries in probabilistic programming was investigated on the example of the C++ probabilistic prog...
Alexey Potapov, Vita Batishcheva, Sergey Rodionov