3 ms·
> I was referring to AIXI as the perfect mathematical AI. At http://wiki.lesswrong.com/wiki/AIXI http://wiki.lesswrong.com/wiki/AIXI I looked it up: His 'de
by graycat 13y ago
> I was referring to AIXI as the perfect mathematical AI.
At
http://wiki.lesswrong.com/wiki/AIXI http://wiki.lesswrong.com/wiki/AIXI
I looked it up: His 'decision theory' is essentially
just stochastic optimal control. I've seen
elsewhere claims that stochastic optimal control
is a universal solution to the best possible AI.
Of course, need some probability distributions;
in some cases in practice, have those.
That reference also has
> Solomonoff’s theory of universal induction formally solves the problem of sequence prediction for unknown prior distribution.
Hmm? Then the text says that this solution is
not computable -- sound bad!
Such grand, maybe impossible, things are not
nearly the only way to exploit mathematics
to know more about what the heck we are doing
in AI, etc.
- Houshalter 13y agoApproximations to AIXI are possible and have actually played pacman pretty well. However I still think solomonoff induction is too inefficient in the real world. But AIXI does bring up a lot of real problems with building any AI, like preference solipsism and the anvil problem, and designing utility functions for it.