2 papers
cs.LO2012
Probabilities on Sentences in an Expressive Logic
Marcus Hutter, John W. Lloyd, Kee Siong Ng +1
Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and p…
cs.AI2009
A Monte Carlo AIXI Approximation
Joel Veness, Kee Siong Ng, Marcus Hutter +2
This paper introduces a principled approach for the design of a scalable general reinforcement learning agent. Our approach is based on a direct approximation of AIXI, a Bayesian o…