of Intelligent Agents

Australian National University The approaches to Artificial Intelligence (AI) in the last century may be labelled as (a) trying to understand and copy (human) nature, (b) being based on heuristic considerations, (c) being formal but from the outset (provably) limited (d) being (mere) frameworks that leave, crucial aspects unspecified. This decade has spawned the first theory of AI, which (e) is principled, formal, complete, and general. This theory, called Universal AI, is about ultimate super-intelligence. It can serve as a gold standard for General AI, and implicitly proposes a formal definition of machine intelligence. After a brief review of the various approaches to (general) AI, I will give an introduction to Universal AI concentrating on the philosophical mathematical and, ,, computational aspects behind it. I will also discuss various implications and future challenges. Artificial General Intelligence (AGI) What is the goal of AGI research? • Build general-purpose Super-Intelligences. • Will ignite the detonation cord to the Singularity. What is (Artificial) Intelligence? What are we really doing and aiming at? I it t b ild t b t i l & d if th d thi • s o u sys ems y r a error, an ey o some ng we think is smarter than previous systems, call it success? • Is it to try to mimic the behavior of biological organisms? We need (and have!) theories which can guide our search for intelligent algorithms