I was hoping there was some way to enumerate inequivalent bots. I guess by modal depth within a rank, then by rank.
is an interesting bot to consider.
The way I would put the match with PrudentBot is this. It takes to prove that FairBot defects against DefectBot, so that’s what PrudentBot uses to test that match. But this isn’t actually enough to show this new bot defects against DefectBot.
Which is related to unexploitability. The new bot is unexploitable. But if you can’t prove it defects against DefectBot, then you can’t prove it’s unexploitable. So it’s not provably unexploitable in .
Cool.
I was hoping there was some way to enumerate inequivalent bots. I guess by modal depth within a rank, then by rank.
The way I would put the match with PrudentBot is this. It takes
Which is related to unexploitability. The new bot is unexploitable. But if you can’t prove it defects against DefectBot, then you can’t prove it’s unexploitable. So it’s not provably unexploitable in