Hutter Prize - Goals

Goals

The goal of the Hutter Prize is to encourage research in artificial intelligence (AI). The organizers believe that text compression and AI are equivalent problems. Hutter proved that the optimal behavior of a goal seeking agent in an unknown but computable environment is to guess at each step that the environment is probably controlled by one of the shortest programs consistent with all interaction so far. Unfortunately, there is no general solution because Kolmogorov complexity is not computable. Hutter proved that in the restricted case (called AIXItl) where the environment is restricted to time t and space l, that a solution can be computed in time O(t2l), which is still intractable.

The organizers further believe that compressing natural language text is a hard AI problem, equivalent to passing the Turing test. Thus, progress toward one goal represents progress toward the other. They argue that predicting which characters are most likely to occur next in a text sequence requires vast real-world knowledge. A text compressor must solve the same problem in order to assign the shortest codes to the most likely text sequences.

Read more about this topic:  Hutter Prize

Famous quotes containing the word goals:

    Whoever sincerely believes that elevated and distant goals are as little use to man as a cow, that “all of our problems” come from such goals, is left to eat, drink, sleep, or, when he gets sick of that, to run up to a chest and smash his forehead on its corner.
    Anton Pavlovich Chekhov (1860–1904)

    I think that any woman who sets goals for herself and takes her own life seriously and moves to achieve the goals that she wants as a person in her own right is a feminist.
    Frances Kuehn (b. 1943)