A Direct Approximation of AIXI Using Logical State Abstractions