I have discovered a truly marvelous-but-infinite solution of this, which this finite comment is too narrow to contain.
Exercise 5:
The generalisable optimisers are the following:
argminX=λu:X→R.{x∈X|∀x′∈X,u(x)≤u(x′)⟹u(x′)≤u(x)}
i.e. argmin will choose the minimal points.
satisfices=λu:X→R.{x∈X|u(x)≥u(s)}
i.e. satisfice will choose an option x∈X which dominates some fixed anchor point s∈X. Note that since R is only equipped with a preorder, it means it might be a more selective optimiser (if not total, it’s harder to get an option better then the anchor). More interestingly, if there are indifferent options with the anchor (some x / x≥s and s≥x), it could choose it rather than the anchor even if there is no gain to do so. This degree of freedom could be eventually not desirable.
First of all, is there a way to generalize the trick?
The first idea would be to try to find some equivalent to the destested element ⊥. For context-dependant optimiser such as better-than-average, there isn’t.
A more general way to try to generalize the trick would be the following question:
For some fixed ψ, Xlegal and u:X→R, could we find some other u′:X→R such as ψ(u′)=ψ(u) and ∀x∈Xlegal,u′(x)=u(x)
i.e. is there a general way to replace values outside of Xlegal without modify the result of the constrained optimisation?
Answer: no. Counter-example: The optimiser majorityX for some infinite set X and finite nonempty sets Xlegal and R.
So it seems there is no general trick here. But why bother? We should refocus on what we mean by constrained optimisation in general, and it has nothing to do with looking for some u’. What we mean is value outside Xlegal are totally irrelevant.
How? For any of the current example we have here, what we actually want is not ψX(u′), but ψXlegal(u|Xlegal): we only apply the optimiser on the legal set.
Problem: in the current formalism, an optimiser has type (X→R)→X, so I don’t see obvious way to define the “same” optimiser on a different X.argmaxX and the others here are implicitly parametrized, so it’s not that a problem, but we have to specify this. This suggests to look for categories (e.g.Set for argmax...).
I’d like to read your solution to exercise 6, could you add math formatting? I have a hard time reading latex code directly.
You can do that with the visual editor mode by selecting the math and using the contextual menu that appears automatically, or with $ in the Markdown editor.
There are $ in your comment, so I guess you inadvertently typed in visual mode using the Markdown syntax.
Exercise 1:
The empty set is the only one. For any nonempty set X, you could pick zeroX=λx∈X.0 as a counterexample: argmaxX(zeroX)=X
Exercise 2:
The agent will choose an option which scores better than the threshold α.
It’s a generalization of satisficers, these latter are thresholders such as u−1(α) is nonempty.
Exercise 3:
majorityX=λu:X→R.{x∈X|∀x′∈X,Card(u−1({u(x)}))≥Card(u−1({u(x′)}))}
Exercise 4:
I have discovered a truly marvelous-but-infinite solution of this, which this finite comment is too narrow to contain.
Exercise 5:
The generalisable optimisers are the following:
argminX=λu:X→R.{x∈X|∀x′∈X,u(x)≤u(x′)⟹u(x′)≤u(x)}
i.e. argmin will choose the minimal points.
satisfices=λu:X→R.{x∈X|u(x)≥u(s)}
i.e. satisfice will choose an option x∈X which dominates some fixed anchor point s∈X. Note that since R is only equipped with a preorder, it means it might be a more selective optimiser (if not total, it’s harder to get an option better then the anchor). More interestingly, if there are indifferent options with the anchor (some x / x≥s and s≥x), it could choose it rather than the anchor even if there is no gain to do so. This degree of freedom could be eventually not desirable.
rockS=λu:X→R.S
satisficeS=λu:X→R.{x∈X|∀s∈S,u(x)≥u(s)}
majorityX=λu:X→R.{x∈X|∀x′∈X,Card(u−1({u(x)}))≥Card(u−1({u(x′)}))}
Exercise 6:
Interesting problem.
First of all, is there a way to generalize the trick?
The first idea would be to try to find some equivalent to the destested element ⊥. For context-dependant optimiser such as better-than-average, there isn’t.
A more general way to try to generalize the trick would be the following question:
For some fixed ψ, Xlegal and u:X→R, could we find some other u′:X→R such as ψ(u′)=ψ(u) and ∀x∈Xlegal,u′(x)=u(x)
i.e. is there a general way to replace values outside of Xlegal without modify the result of the constrained optimisation?
Answer: no. Counter-example: The optimiser majorityX for some infinite set X and finite nonempty sets Xlegal and R.
So it seems there is no general trick here. But why bother? We should refocus on what we mean by constrained optimisation in general, and it has nothing to do with looking for some u’. What we mean is value outside Xlegal are totally irrelevant.
How? For any of the current example we have here, what we actually want is not ψX(u′), but ψXlegal(u|Xlegal): we only apply the optimiser on the legal set.
Problem: in the current formalism, an optimiser has type (X→R)→X, so I don’t see obvious way to define the “same” optimiser on a different X.argmaxX and the others here are implicitly parametrized, so it’s not that a problem, but we have to specify this. This suggests to look for categories (e.g.Set for argmax...).
I’d like to read your solution to exercise 6, could you add math formatting? I have a hard time reading latex code directly.
You can do that with the visual editor mode by selecting the math and using the contextual menu that appears automatically, or with $ in the Markdown editor.
There are $ in your comment, so I guess you inadvertently typed in visual mode using the Markdown syntax.
It’s fixed ;)