Provably Bounded-Optimal Agents
A theory of the learnable