Is a program which uses your proof approach (try to prove the other program will co-operate with me, and if so co-operate with them) anywhere close to feasible in this contest, or is it just going to time-out at the 10s limit? I don’t know how efficient automated provers are these days.
Failing a proof, are there simple ways of getting evidence the other program is likely to co-operate? Just trying to simulate it is also going to lead to time-outs.
My suspicion is that this contest is going to be won by people who pre-agree to submit essentially the same CliqueBot. Someone will post a plausible design, and other entrants will copy with tweaks...
Seeing as the program has to include a theorem prover, a large piece of software that will need to prove theorems about itself and the other guy’s prover… I’d say Löbian cooperation is not your best bet in this tournament :-)
But maybe Patrick could hold his own tournament. Mihaly and Marcello wrote a working simulator which can handle “modal agents” like Patrick’s PrudentBot.
Interesting.
Is a program which uses your proof approach (try to prove the other program will co-operate with me, and if so co-operate with them) anywhere close to feasible in this contest, or is it just going to time-out at the 10s limit? I don’t know how efficient automated provers are these days.
Failing a proof, are there simple ways of getting evidence the other program is likely to co-operate? Just trying to simulate it is also going to lead to time-outs.
My suspicion is that this contest is going to be won by people who pre-agree to submit essentially the same CliqueBot. Someone will post a plausible design, and other entrants will copy with tweaks...
Seeing as the program has to include a theorem prover, a large piece of software that will need to prove theorems about itself and the other guy’s prover… I’d say Löbian cooperation is not your best bet in this tournament :-)
But maybe Patrick could hold his own tournament. Mihaly and Marcello wrote a working simulator which can handle “modal agents” like Patrick’s PrudentBot.
I wish to second this proposal.