If the prior is full of malign agents, then you are selecting your new logical optimizer based on its ability to correctly answer arbitrary questions (in a certain format) about malign agents. This doesn’t seem to be that problematic. If the set of programs being logically optimized over is malign, then you have trouble.
If the prior is full of malign agents, then you are selecting your new logical optimizer based on its ability to correctly answer arbitrary questions (in a certain format) about malign agents. This doesn’t seem to be that problematic. If the set of programs being logically optimized over is malign, then you have trouble.
Ah, sorry, I misread the terminology. I agree.