Yeah, I think usually when people are interested in myopia, it’s because they think there’s some desired solution to the problem that is myopic / local, and they want to try to force the algorithm to find that solution rather than some other one. E.g. answering a question based only on some function of its contents, rather than based on the long-term impact of different answers.
I think that once you postulate such a desired myopic solution and its non-myopic competitors, then you can easily prove that myopia helps. But this still leaves the question of how we know this problems statement is true—if there’s a simpler myopic solution that’s bad, then myopia won’t help (so how can we predict if this is true?) and if there’s a simpler non-myopic solution that’s good, myopia may actively hurt (this one seems a little easier to predict though).
Yeah, I think usually when people are interested in myopia, it’s because they think there’s some desired solution to the problem that is myopic / local, and they want to try to force the algorithm to find that solution rather than some other one. E.g. answering a question based only on some function of its contents, rather than based on the long-term impact of different answers.
I think that once you postulate such a desired myopic solution and its non-myopic competitors, then you can easily prove that myopia helps. But this still leaves the question of how we know this problems statement is true—if there’s a simpler myopic solution that’s bad, then myopia won’t help (so how can we predict if this is true?) and if there’s a simpler non-myopic solution that’s good, myopia may actively hurt (this one seems a little easier to predict though).