%0 Journal Article %T Bias and No Free Lunch in Formal Measures of Intelligence %A Bill Hibbard %J Journal of Artificial General Intelligence %@ 1946-0163 %D 2009 %I %R 10.2478/v10229-011-0004-6 %X This paper shows that a constraint on universal Turing machines is necessary for Legg's and Hutter's formal measure of intelligence to be unbiased. Their measure, defined in terms of Turing machines, is adapted to finite state machines. A No Free Lunch result is proved for the finite version of the measure. %K Kolmogorov complexity %K no free lunch theorem %U http://versita.metapress.com/content/r42p13l513726442/?p=b95822f17f724a66a7f4ff4fb04706dd&pi=3