First of all, Paul is right that I screwed up Robertie's position. I
was working from memory, since I don't own Robertie's "Advanced
Backgammon." However, I think the fix is relatively easy; a small
adjustment, such as shifting the position over a pip, should drop the
backgammon rate down to where it's a double/beaver. Perhaps someone
who owns Robertie's book can post the corrected position?
On Sep 5, 7:02 pm, Grunty <
gruntingdw...@yahoo.com> wrote:
> All this conversation was about "practically plausible" positions
> (e.g.: superbackgames) rather than a purely theoretical question.
> Therefore, if you're to follow up on this matter, you should present
> practically plausible positions, instead of paradoxical ones.
Well, I was the one who started the discussion, and I didn't say
anything about "practically plausible." I did use the term
"superbackgame," but does that term imply that the position is
practically plausible? That's news to me. I also talked about
setting up a prop. When setting up a prop, the understanding is that
you're free to set up an unusual position.
Also, I think you may be getting confused by the use of the term
"paradox" here. Conventionally, a position where the technically
correct cube action is double/beaver is called a "Kauder paradox"
because it violates our intuition that there could possibly be a
position like that. It doesn't mean that the position isn't likely to
arise in practice. Robertie's position happens to be practically
implausible, but there are other Kauder paradox positions that can
arise, and have arisen, in practice. Similarly, the "Jacoby paradox"
refers to a particular situation that you might not think was possible
but that arises in practice quite frequently. Anyway, my point is
that whether a position is a "Kauder paradox" is a completely
orthogonal question to whether it is practically plausible.
Getting back to the original question, the point I was making (and
I'll point out again that I was the one who was speaking first, not
Frank or Neil) was that it's quite possible to set up positions that
confuse the bot. The first position that came to mind was Robertie's
position, and I believe that that proves my point, assuming that XG2
doesn't analyze it correctly upon rollout.
Now, somewhere along the line, the words "practically plausible" got
inserted. I don't see it in what Frank or Neil wrote, but let me
assume, as Grunty seems to suggest, that part of the definition of the
word "superbackgame" is that the position be "practically plausible."
I'm not sure exactly what counts as practically plausible. I agree
that Robertie's position is implausible. However, in my playing
group, when we're playing for fun, we sometimes get into positions
where all fifteen checkers get sent back. Set up a six-prime plus
three spares somewhere near the opponent's home board, holding back a
single opposing checker. Is that "practically plausible"? Such
positions have arisen in real games that I've played. I'm pretty sure
XG2 would screw it up if you rolled it out.
I have another position which I will try to remember to post tomorrow
that was less extreme than that and even more "practically
plausible." The trouble with such examples is that it becomes harder
to prove that the bot is really screwing up. How do you know?
Robertie's position has the advantage that you can analyze it by hand
and get the right answer with high confidence. If I set up a more
complicated but more plausible position and claim that the bot rollout
is wrong, how can I justify the claim? Well, one thing one can do is
to evaluate the position at different ply levels and see what
happens. If the evaluations fluctuate wildly as you change the ply
level, then I consider that a sign that the bot doesn't know what's
going on. Now you could of course object, and say that even though
the bot changes its mind wildly from 3-ply to 4-ply to XGR, etc., the
all-powerful *rollout* must be telling us the gospel truth. O.K. I
can't prove you're wrong, but it doesn't seem plausible to me.
Anyway, that's another reason for choosing an artificial position
that's easy to analyze, so that these kinds of arguments don't get in
the way.
---
Tim Chow