What's been written about the nature of "son-of-CDT"?

post by Liam Donovan (liam-donovan) · 2019-11-30T21:03:44.958Z · score: 16 (4 votes) · LW · GW · No comments

This is a question post.

Contents

  Answers
    10 MakoYass
    4 Rob Bensinger
    2 Chris_Leong
None
No comments

I'm quite curious what kind of decision algorithm a CDT agent might implement in a successor AI, but I've only found a few vague references. Are there any good posts/papers/etc about this?

Answers

answer by MakoYass · 2019-11-30T23:20:28.248Z · score: 10 (6 votes) · LW · GW

I think I saw a bit on arbital about it

Logical decision theorists use "Son-of-CDT[red link, no such article]" to denote the algorithm that CDT self-modifies to; in general we think this algorithm works out to "LDT about correlations formed after 7am, CDT about correlations formed before 7am".

https://arbital.com/p/logical_dt/?l=5gc

comment by Liam Donovan (liam-donovan) · 2019-12-01T16:48:02.194Z · score: 1 (1 votes) · LW · GW

After thinking about it some more, I don't think this is true.

A concrete example: Let's say there's a CDT paperclip maximizer in an environment with Newcomb-like problems that's deciding between 3 options.

1. Don't hand control to any successor

2. Hand off control to a "LDT about correlations formed after 7am, CDT about correlations formed before 7am" successor

3. Hand off control to a LDT successor.

My understanding is that the CDT agent would take the choice that causes the highest number of paperclips to be created (in expectation). If both successors are aligned with the CDT agent, I would expect the CDT agent to choose option #3. The LDT successor agent would be able to gain more resources (and thus create more paperclips) than the other two possible agents, when faced with a Newcomb-like problem with correlations formed before the succession time. The CDT agent can cause this outcome to happen if and only if it chooses option #3.

I'm not at all sure that son-of-CDT resembles any known logical decision theory, but I don't see why it would resemble "LDT about correlations formed after 7am, CDT about correlations formed before 7am".


Edit: I agree that a CDT agent will never agree to precommit to acting like a LDT agent for correlations that have already been created, but I don't think that determines what kind of successor agent they would choose to create.

comment by Rob Bensinger (RobbBB) · 2019-12-01T20:14:37.537Z · score: 5 (2 votes) · LW · GW

My understanding is that the CDT agent would take the choice that causes the highest number of paperclips to be created (in expectation).

This is true if we mean something very specific by "causes". CDT picks the action that would cause the highest number of paperclips to be created, if past predictions were uncorrelated with future events.

I agree that a CDT agent will never agree to precommit to acting like a LDT agent for correlations that have already been created, but I don't think that determines what kind of successor agent they would choose to create.

If an agent can arbitrarily modify its own source code ("precommit" in full generality), then we can model "the agent making choices over time" as "a series of agents that are constantly choosing which successor-agent follows them at the next time-step". If Son-of-CDT were the same as LDT, this would be the same as saying that a self-modifying CDT agent will rewrite itself into an LDT agent, since nothing about CDT or LDT assigns special weight to actions that happen inside the agent's brain vs. outside the agent's brain.

comment by Liam Donovan (liam-donovan) · 2019-12-06T21:34:59.190Z · score: 1 (1 votes) · LW · GW

Yeah, I was implicitly assuming that initiating a successor agent would force Omega to update its predictions about the new agent (and put the $1m in the box). As you say, that's actually not very relevant, because it's a property of a specific decision problem rather than CDT or son-of-CDT.

answer by Rob Bensinger · 2019-12-01T20:19:37.561Z · score: 4 (3 votes) · LW · GW

The Retro Blackmail Problem in "Toward Idealized Decision Theory" shows that if CDT can self-modify (i.e., build an agent that follows an arbitrary decision rule), it self-modifies to something that still gives in to some forms of blackmail. This is Son-of-CDT, though they don't use the name.

answer by Chris_Leong · 2019-12-01T20:37:42.162Z · score: 2 (1 votes) · LW · GW

Mako's answer will be true if it expects to only face problems where it is rewarded based on its output. However, it wouldn't hold in other conditions. For example, if it expected alphabetical agents to be rewarded heavily, it might modify to that.

No comments

Comments sorted by top scores.