Mathematics Colloquia and Seminars
Return to Colloquia & Seminar listing
Universal AI: A Formal Theory of Artificial General IntelligenceStudent-Run Applied & Math 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.