tive Schematic 133 7.3 Toward a Formal Characterization of Real-World General Intelligence 135 7.3.1 Biased Universal Intelligence 136 7.3.2 Connecting Legg and Hutter's Model of Intelligent Agents to the Real World 137 7.3.3 Pragmatic General Intelligence 138 7.3.4 Incorporating Computational Cost

ence have specific limits on their intelligence. EFTA00623912 7.3 Toward a Formal Characterization of Real-World General Intelligence 137 7.3.2 Connecting Legg and Hutter's Model of Intelligent Agents to the Real World A notable aspect of the Legg and Hutter formalism is the separation of the reward mechan

rd a Formal Characterization of Real-World General Intelligence ......... 135 7.3.1 Biased Universal Intelligence............ 0.00. ee eee 136 7.3.2 Connecting Legg and Hutter’s Model of Intelligent Agents to the Real World... ee cet ete e tne e eens 137 7.3.3 Pragmatic General Intelligence ............ 00... c

ve specific limits on their intelligence. HOUSE_OVERSIGHT_013052 7.3 Toward a Formal Characterization of Real-World General Intelligence 137 7.3.2 Connecting Legg and Hutter’s Model of Intelligent Agents to the Real World A notable aspect of the Legg and Hutter formalism is the separation of the reward mechani