Definition
AIXI is a theoretical mathematical formalism for artificial general intelligence. It combines Solomonoff induction with sequential decision theory. AIXI was first proposed by Marcus Hutter in 2000 and several results regarding AIXI are proved in Hutter's 2005 book Universal Artificial Intelligence.
Related concepts
Artificial general intelligenceConditional probabilityContext tree weightingDecision theoryDiscountingGödel machineJan LeikeKleene starMarcus HutterMarkov propertyMathematical logicMixture (probability)Monotone class theoremMonte Carlo methodOccam's razorPac-ManPareto optimalityPartially observable systemProbability distributionReinforcement learningSolomonoff inductionSubjective logicTuring machineUndecidable problemUniversal Turing machine
8 concepts already in your glossary