This can, quite easily, be expressed in mathematical / computational terms -- though I am insufficient to the task of doing so.
I am skeptical of this claim. I'm not at all convinced that it's feasible to formalize "goal" or that if we could formalize it, the claim would be true in general. Software is awfully general, and I can easily imagine a system that has some sort of constraint on its self-modification, where that constraint can't be self-modified away. I can also imagine a system that doesn't have an explicit constraint on its evolution but that isn't an ideal self-modifier. Humans, for instance, have goals and a limited capacity to self-modify, but we don't usually see them become totally dedicated to any one goal.
I am skeptical of this claim. I'm not at all convinced that it's feasible to formalize "goal" or that if we could formalize it, the claim would be true in general.
Would you agree that Bayesian Belief Nets can be described/expressed in the form of a graph of nodal points? Can you describe an intelligible reason why values should not be treated as "ought" beliefs (that is, beliefs about what should be)?
Furthermore; why does it need to be general? We're discussing a specific category of AI. Are you aware of any AI research ongoing that ...
I have stopped understanding why these quotes are correct. Help!
More specifically, if you design an AI using "shallow insights" without an explicit goal-directed architecture - some program that "just happens" to make intelligent decisions that can be viewed by us as fulfilling certain goals - then it has no particular reason to stabilize its goals. Isn't that anthropomorphizing? We humans don't exhibit a lot of goal-directed behavior, but we do have a verbal concept of "goals", so the verbal phantom of "figuring out our true goals" sounds meaningful to us. But why would AIs behave the same way if they don't think verbally? It looks more likely to me that an AI that acts semi-haphazardly may well continue doing so even after amassing a lot of computing power. Or is there some more compelling argument that I'm missing?