If we characterise an agent with a quantifier (X→R)→P(R), then we’re saying which payoffs the agent might achieve given each task. Namely, r∈q(u) if and only if it’s possible that the agent achieves payoff r∈R when faced with a task u:X→R.
But this definition doesn’t play well with a nash equilibria.
Here you mean (X→R)→P(X), right?
Wait I mean a quantifier in (X→R)→P(R).
If we characterise an agent with a quantifier (X→R)→P(R), then we’re saying which payoffs the agent might achieve given each task. Namely, r∈q(u) if and only if it’s possible that the agent achieves payoff r∈R when faced with a task u:X→R.
But this definition doesn’t play well with a nash equilibria.