通用智能主体AIXI的逼近与变种