if one is found, then output aj
otherwise, output ak
What are “if”, “then”, and “otherwise”?
Let’s consider the following mask agent, which we’ll call AntiFairBot: it searches for a proof that its opponent cooperates against it, and it defects if it finds one; if it doesn’t find such a proof, then it cooperates. This may not be a very optimal agent, but it has one interesting property: if you pit AntiFairBot against FairBot, and the two of them use equivalent oracles, then it takes an oracle stronger than either to deduce what the two of them will do!
Um, they’re pseudocode. I’m not sure what your objection is...
What do they do?
My intuition is that they’ll both fail to deduce that the other cooperates, and thus output their default actions. However, I imagine that there could be rigged-up versions such that FairBot deduces AntiFairBot’s cooperation at the last possible second and thus cooperates, while AntiFairBot runs out of time and thus cooperates.
(Think about the other possibilities, including one of them deducing the other’s cooperation with deductive capacity to spare, and you’ll see that all other possibilities are inconsistent.)
What are “if”, “then”, and “otherwise”?
What do they do?
Um, they’re pseudocode. I’m not sure what your objection is...
My intuition is that they’ll both fail to deduce that the other cooperates, and thus output their default actions. However, I imagine that there could be rigged-up versions such that FairBot deduces AntiFairBot’s cooperation at the last possible second and thus cooperates, while AntiFairBot runs out of time and thus cooperates.
(Think about the other possibilities, including one of them deducing the other’s cooperation with deductive capacity to spare, and you’ll see that all other possibilities are inconsistent.)