I feel excited about this framework! Several thoughts:
I especially like the metathreat hierarchy. It makes sense because if you completely curry it, each agent sees the foe’s action, policy, metapolicy, etc., which are all generically independent pieces of information. But it gets weird when an agent sees an action that’s not compatible with the foe’s policy.
You hinted briefly at using hemicontinuous maps of sets instead of or in addition to probability distributions, and I think that’s a big part of what makes this framework exciting. Maybe if one takes a bilimit of Scott domains or whatever, you can have an agent that can be understood simultaneously on multiple levels, and so evade commitment races. I haven’t thought much about that.
I think you’re right that the epiphenomenal utility functions are not good. I still think using reflective oracles is a good idea. I wonder if the power of Kakutani fixed points (magical reflective reasoning) can be combined with the power of Kleene fixed points (iteratively refining commitments).
I feel excited about this framework! Several thoughts:
I especially like the metathreat hierarchy. It makes sense because if you completely curry it, each agent sees the foe’s action, policy, metapolicy, etc., which are all generically independent pieces of information. But it gets weird when an agent sees an action that’s not compatible with the foe’s policy.
You hinted briefly at using hemicontinuous maps of sets instead of or in addition to probability distributions, and I think that’s a big part of what makes this framework exciting. Maybe if one takes a bilimit of Scott domains or whatever, you can have an agent that can be understood simultaneously on multiple levels, and so evade commitment races. I haven’t thought much about that.
I think you’re right that the epiphenomenal utility functions are not good. I still think using reflective oracles is a good idea. I wonder if the power of Kakutani fixed points (magical reflective reasoning) can be combined with the power of Kleene fixed points (iteratively refining commitments).