알고리즘 정보 이론
데이터의 복잡성을 해당 데이터를 생성할 수 있는 가장 짧은 프로그램의 길이로 정의하는 이론이다. AIXI의 이론적 토대가 되며 환경 예측의 효율성을 평가하는 기준이 된다.