3 ms·

This is an interesting assertion. Could you elaborate? AIXI is pareto optimal, but I'm not seeing the line from that to "AI can do everything a person can" - th

by keithba 11y ago

This is an interesting assertion. Could you elaborate? AIXI is pareto optimal, but I'm not seeing the line from that to "AI can do everything a person can" - though I want to!

nawitus 11y ago
From the conclusions of http://arxiv.org/abs/cs/0004001 http://arxiv.org/abs/cs/0004001 : "All tasks which require intelligence to be solved can naturally be formulated as a maximization of some expected utility in the framework of agents. We gave a functional (2) and an iterative (9) formulation of such a decision theoretic agent, which is general enough to cover all AI problem classes, as has been demonstrated by several examples. The main remaining problem is the unknown prior probability distribution AI of the environment(s). <...> the universal semimeasure, based on ideas from algorithmic information theory, solves the problem of the unknown prior distribution for induction problems. No explicit learning procedure is necessary ... . We unified the theory of universal sequence prediction with the decision theoretic agent by replacing the unknown true prior AI by an appropriately generalized universal semimeasure ξAI. We gave strong arguments that the resulting AIξ model is the most intelligent, parameterless and environmental/application independent model possible. The major drawback of the AIξ model is that it is uncomputable, or more precisely, only asymptotically computable, which makes an implementation impossible. To overcome this problem, we cons tructed a modified model AI, which is still effectively more intelligent than any other time and space bounded algorithm." The copy/paste lost some information, especially symbols, so take a look at the paper for a better read.
- keithba 11y ago
  Thanks for the link - I'm going to read the paper as soon as I can. In the meantime, if you have time, could you elaborate on: "All tasks which require intelligence to be solved can naturally be formulated as a maximization of some expected utility in the framework of agents." Is this proven in the paper, or assumed true outside of it?

by keithba 11y ago

This is an interesting assertion. Could you elaborate? AIXI is pareto optimal, but I'm not seeing the line from that to "AI can do everything a person can" - though I want to!

nawitus 11y ago

From the conclusions of http://arxiv.org/abs/cs/0004001 http://arxiv.org/abs/cs/0004001 : "All tasks which require intelligence to be solved can naturally be formulated as a maximization of some expected utility in the framework of agents. We gave a functional (2) and an iterative (9) formulation of such a decision theoretic agent, which is general enough to cover all AI problem classes, as has been demonstrated by several examples. The main remaining problem is the unknown prior probability distribution AI of the environment(s). <...> the universal semimeasure, based on ideas from algorithmic information theory, solves the problem of the unknown prior distribution for induction problems. No explicit learning procedure is necessary ... . We unified the theory of universal sequence prediction with the decision theoretic agent by replacing the unknown true prior AI by an appropriately generalized universal semimeasure ξAI. We gave strong arguments that the resulting AIξ model is the most intelligent, parameterless and environmental/application independent model possible. The major drawback of the AIξ model is that it is uncomputable, or more precisely, only asymptotically computable, which makes an implementation impossible. To overcome this problem, we cons tructed a modified model AI, which is still effectively more intelligent than any other time and space bounded algorithm." The copy/paste lost some information, especially symbols, so take a look at the paper for a better read.

keithba 11y ago
Thanks for the link - I'm going to read the paper as soon as I can. In the meantime, if you have time, could you elaborate on: "All tasks which require intelligence to be solved can naturally be formulated as a maximization of some expected utility in the framework of agents." Is this proven in the paper, or assumed true outside of it?