Mathematics Colloquia and Seminars

Return to Colloquia & Seminar listing

Universal AI: A Formal Theory of Artificial General Intelligence

Student-Run Research Seminar

Speaker: Luke Grecki, UC Davis
Location: 2112 MSB
Start time: Wed, Nov 4 2009, 12:10PM

The field of artificial general intelligence (AGI) has the ambitious aim of realizing human-level (and ultimately superhuman) intelligence in machines. Marcus Hutter has taken a unique approach to this problem, bringing together algorithmic information theory and sequential decision theory to create the agent AIXI, which can act optimally in almost any environment. I will outline his formal theory, its computable approximation, and some of its applications.