---

Quotes

• Since automation and Artificial Intelligence are already upon us and are not now reversable, we must deal with both of those elements and consider how we might implement imperatives to protect us from becoming obsolete.

  – James Randi
  Founder, JREF

  

• The Singularity Summit is the premier conference on the Singularity. As we get closer to the Singularity, each year's conference is better than the last.

  – Ray Kurzweil
  CEO, Kurzweil Technologies

  

• Futurists like to predict how genetic engineering and computational implants will allow humans to become a super-species, but few examine the application of similar technologies to nonhumans.

  – Irene Pepperberg
  Founder, Alex Foundation

  
• 
• 

Main menu

• 2010 Summit
  • Overview
  • Intro Video
  • What is the Singularity?
  • Reading List
  • Community Video
  • Past Summits
  • About Us
• Program
• Registration
• Logistics
• Media
  • News Releases
  • Press Pass
  • Banners
  • Images
  • Logos
  • Buzz
  • Spread the Word
• Get Involved
  • Volunteer
  • Friends of SIAI
  • Corporate Sponsors
  • Media Sponsors and Partners
• Blog

Biographies: Marcus Hutter

Marcus Hutter is Associate Professor in the RSISE at the Australian National University in Canberra, Australia, and NICTA adjunct. He holds a PhD and BSc in physics and a Habilitation, MSc, and BSc in informatics. Since 2000, his research is centered around the information-theoretic foundations of inductive reasoning and reinforcement learning, which resulted in over 50 published research papers and several awards. His book "Universal Artificial Intelligence" (Springer, EATCS, 2005) develops the first sound and complete theory of AI. He also runs the Human Knowledge Compression Contest (50 000 Euro H-prize).

Foundations of Intelligent Agents

The approaches to Artificial Intelligence (AI) in the last century may be labeled 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 and computational aspects, rather than the mathematics behind it. I will also discuss various implications and future challenges.