Ah, the good ol’ Alien Concepts problem. Another interesting place this motif comes up is in defining logical counterfactuals—you’d think that logical inductors would have let us define logical counterfactuals, but it turns out that what we want from logical counterfactuals is basically just to use them in planning, which requires taking into account what we want.
Ah, the good ol’ Alien Concepts problem. Another interesting place this motif comes up is in defining logical counterfactuals—you’d think that logical inductors would have let us define logical counterfactuals, but it turns out that what we want from logical counterfactuals is basically just to use them in planning, which requires taking into account what we want.