‘Actions (or more generally ‘computations’) get an x-ness rating. We define the x shard’s expected utility conditional on a candidate action a as the sum of two utility functions: a bounded utility function on the x-ness of a and a more tightly bounded utility function on the expected aggregate x-ness of the agent’s future actions conditional on a. (So the shard will choose an action with mildly suboptimal x-ness if it gives a big boost to expected aggregate future x-ness, but refuse certain large sacrifices of present x-ness for big boosts to expected aggregate future x-ness.)′
A formal definition means one based on logical axioms, mathematical axioms, universal constants (e.g. speed of light), observed metrics (e.g. the length of a day), etc.
Writing more elaborate sentences can’t resolve the problem of circularity or infinite regress.
You might be confusing it with the legal or societal/cultural/political/literary sense.
A property x is ‘self-promoting’ if it is reliably the case that performing an action with a higher x-ness rating increases the expected aggregate x-ness of future actions.
This seems to be entirely your invention? I can’t find any google results with a similar match.
A formal definition means one based on logical axioms, mathematical axioms, universal constants (e.g. speed of light), observed metrics (e.g. the length of a day), etc.
Writing more elaborate sentences can’t resolve the problem of circularity or infinite regress.
You might be confusing it with the legal or societal/cultural/political/literary sense.
This seems to be entirely your invention? I can’t find any google results with a similar match.