IDSIA, Galleria 2, 6928 Manno (Lugano), Switzerland
Most traditional artificial intelligence (AI) systems of the past 50 years are either very limited, or based on heuristics, or both. The new millennium, however, has brought substantial progress in the field of theoretically optimal and practically feasible algorithms for prediction, search, inductive inference based on Occam's razor, problem solving, decision making, and reinforcement learning in environments of a very general type. Since inductive inference is at the heart of all inductive sciences, some of the results are relevant not only for AI and computer science but also for physics, provoking nontraditional predictions based on Zuse's thesis of the computer-generated universe.
Related links:
Artificial Intelligence
Goedel machine
Optimal Ordered Problem Solver
Universal Learning Algorithms
Speed Prior
Optimal universal search
Super Omegas and
Generalizations of Algorithmic Information and Probability
In the Beginning was the Code!
Zuse's thesis
Comments on Wolfram's 2002 book
All computable universes
Algorithmic Theories of Everything
Schmidhuber's law
Celebrating 75 years of AI - History and Outlook: the Next 25 Years
New Millennium AI and the Convergence of History