by Sam Eisenstat 68 days ago | Abram Demski likes this | link | parent Yeah, the 5 and 10 problem in the post actually can be addressed using provability ideas, in a way that fits in pretty natually with logical induction. The motivation here is to work with decision problems where you can’t prove statements $$A = a \to U = u$$ for agent $$A$$, utility function $$U$$, action $$a$$, and utility value $$u$$, at least not with the amount of computing power provided, but you want to use inductive generalizations instead. That isn’t necessary in this example, so it’s more of an illustration. To say a bit more, if you make logical inductors propositionally consistent, similarly to what is done in this post, and make them assign things that have been proven already probability 1, then they will work on the 5 and 10 problem in the post. It would be interesting if there was more of an analogy to explore between the provability oracle setting and the inductive setting, and more ideas could be carried over from modal UDT, but it seems to me that this is a different kind of problem that will require new ideas.

NEW DISCUSSION POSTS

I have stopped working on
 by Scott Garrabrant on Cooperative Oracles: Introduction | 0 likes

 by Vadim Kosoy on Delegative Inverse Reinforcement Learning | 0 likes

So this requires the agent's
 by Tom Everitt on Delegative Inverse Reinforcement Learning | 0 likes

If the agent always delegates
 by Vadim Kosoy on Delegative Inverse Reinforcement Learning | 0 likes

 by Tom Everitt on Delegative Inverse Reinforcement Learning | 0 likes

Hi Tom! There is a
 by Vadim Kosoy on Delegative Inverse Reinforcement Learning | 0 likes

Hi Alex! I agree that the
 by Vadim Kosoy on Cooperative Oracles: Stratified Pareto Optima and ... | 0 likes

That is a good question. I
 by Tom Everitt on CIRL Wireheading | 0 likes

 by Tom Everitt on CIRL Wireheading | 0 likes

"The use of an advisor allows
 by Tom Everitt on Delegative Inverse Reinforcement Learning | 0 likes

 by Wei Dai on Current thoughts on Paul Christano's research agen... | 0 likes

Suppose that I, Paul, use a
 by Paul Christiano on Current thoughts on Paul Christano's research agen... | 0 likes

When you wrote "suppose I use
 by Wei Dai on Current thoughts on Paul Christano's research agen... | 0 likes

> but that kind of white-box
 by Paul Christiano on Current thoughts on Paul Christano's research agen... | 0 likes

>Competence can be an
 by Wei Dai on Current thoughts on Paul Christano's research agen... | 0 likes