You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

turchin comments on Is there a recursive self-improvement hierarchy? - Less Wrong Discussion

7 Post author: PhilGoetz 29 October 2015 02:55AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (10)

You are viewing a single comment's thread.

Comment author: turchin 29 October 2015 09:30:38AM -2 points [-]

It would also interesting to note that the program can't run and optimise itself simultaneously. Probably it need to copy its source code, edit it, than terminate itself and start the new code. Or edit only subagent which is not in use in current moment.

Comment author: Luke_A_Somers 29 October 2015 11:47:49AM 2 points [-]

Even if it was Neumann architecture, it should be able to modify any function not in its call chain freely, and would only have to include special handling code that edits itself out for when it returns to a function in its call chain.

In other architectures, I can imagine anything changing anything short of the architecture and the code the execution pointer will traverse while editing. Only in that one case do I foresee a need to work in scratch space.

Comment author: turchin 29 October 2015 12:16:45PM -2 points [-]

Basically you say the same as I said. The program could edit one of its parts which is not now in use, and can't edit part there the pointer may be during the editing process, because it will crash all editing process halfway.

Comment author: Luke_A_Somers 29 October 2015 03:32:47PM *  1 point [-]

You said a different sub-agent. That sounds to me like a much larger structure than the current deepest function.

A function does not need to have most of the characteristics which go with 'agency', like modeling the world and having preferences. It just needs to execute machine instructions. If you just meant 'right in front of the execution pointer', then ok.

Comment author: PhilGoetz 29 October 2015 01:52:25PM *  0 points [-]

Not all programs are compiled from source code. AGI architectures are often written in LISP or Prolog, which are interpreted. They typically have their key knowledge structures, such as their goals and some of their algorithms, encoded in data structures. It's unclear whether they would need to rewrite any code to recursively self-improve. It probably depends on particulars of the logic used. Hence this post.

I'm going to delete the footnote your initial comment referred to, because it's a distraction.

Comment author: Thomas 29 October 2015 10:53:12AM 0 points [-]

the program can't run and optimise itself simultaneously

I think, the hot updating is to consider as well.