Representing Knowledge as Predictions (and State as Knowledge)