May 28, 2022
Computable Artificial General Intelligence
Posted by Dan Kummer in categories: mathematics, robotics/AI
If you are interested in artificial general intelligence (AGI), then I have a panel discussion to recommend. My friend, David Wood, has done a masterful job of selecting three panelists with deep insight into possible regulation of AGI. One of the panelists was my friend, Dan Faggella, who was eloquent and informative as usual. For this session of the London Futurists, David Wood selected two other panelists with significantly different opinions on how to properly restrain AGI.
An artificial general intelligence (AGI), by one definition, is an agent that requires less information than any other to make an accurate prediction. It is arguable that the general reinforcement learning agent AIXI not only met this definition, but was the only mathematical formalism to do so. Though a significant result, AIXI was incomputable and its performance subjective. This paper proposes an alternative formalism of AGI which overcomes both problems. Formal proof of its performance is given, along with a simple implementation and experimental results that support these claims.