I’m not sure what’s going on with the types in this equation, at the start of the formalization section:
I’d think that the left side represents a pseudo-input, while the right represents an action. Am I missing something?
Actions are just language outputs—and since we ask for an action that describes a pseudo-input, hopefully we should be able to interpret it that way.
I’m not sure what’s going on with the types in this equation, at the start of the formalization section:
Adv(M)=Amp(M)(“What's a pseudo-input on which M is particularlylikely to recommend an unacceptable action?”)I’d think that the left side represents a pseudo-input, while the right represents an action. Am I missing something?
Actions are just language outputs—and since we ask for an action that describes a pseudo-input, hopefully we should be able to interpret it that way.