### A Direct Approximation of AIXI using Logical State Abstractions

Artificial Intelligence as a well-defined mathematical problem was solved a number of years ago through the formulation of the AIXI agent by Prof Marcus Hutter — see https://theconversation.com/to-create-a-super-intelligent-machine-start-with-an-equation-20756 for a quick introduction — but a key fundamental issue with the AIXI theory has always been the incomputability of the general solution. In a continuation of … More A Direct Approximation of AIXI using Logical State Abstractions