Watson would likely solve the problem by looking up the solution.
Beyond Watson, we can use the description(s) of the solution to create the if-then rules that fully describe the solution. That’s how I came up with the initial set of five rules, which Steve then amended with a sixth. So the bot should be flexible enough to add new rules at runtime (and reorder those rules) ...
As noted before, the issue of how long to wait is a red herring, which applies equally to human and computer players. In my proof-of-concept implementation, the time to wait is a variable. You could code strategies for determining the value of that variable, adapting it to observations of other players, etc. That would be fun! Anyone up for the challenge of testing out the hat riddle (including a control of all human players), in an irc chatroom for example? The proof is in the pudding, we can beat around the bush yanking each others’ chains on the internet till the cows come home, but the devil’s in the details; let’s bring this discussion down to the brass tacks of science and test our assertions (“seeing is believing”)!
Or will your reaction be “Even if you proved a computer could solve the hat riddle, it wouldn’t matter, because my beliefs determine how I interpret the evidence, and there’s just no way I will ever believe that a computer can do such ‘advance logic’”?
Regarding “The Emotion Machine” (cited as the first reference in the paper I linked to): instead of imitating Minsky and just writing about it, why don’t we try to implement such a machine and see if the theorists’ predictions are accurate; or maybe “there’s many a slip ‘twixt cup and lip”?