I’ve defined three classes of “fair” problems for UDT, which are all basically equivalent: single player extensive form games, programs with a halting oracle, and formulas in provability logic. But none of these are plain old programs without oracles or stuff. I haven’t been able to define any class of “fair” problems involving plain old programs. The most I can do is agree with you: ASP doesn’t seem “fair” in spirit and doesn’t translate into any of the classes I mentioned. This is an open question—maybe you can find a better “fair” class!
I’ve defined three classes of “fair” problems for UDT, which are all basically equivalent: single player extensive form games, programs with a halting oracle, and formulas in provability logic. But none of these are plain old programs without oracles or stuff. I haven’t been able to define any class of “fair” problems involving plain old programs. The most I can do is agree with you: ASP doesn’t seem “fair” in spirit and doesn’t translate into any of the classes I mentioned. This is an open question—maybe you can find a better “fair” class!