Author: Uri Blass
Date: 03:47:44 07/01/05
Go up one level in this thread
On July 01, 2005 at 04:09:03, Ross Boyd wrote:
>On July 01, 2005 at 03:17:00, Steven Edwards wrote:
>
>>Symbolic: Light at the end of the tunnel
>>
>>Consider again BWTC.0031:
>>
>>[D] 2qrr1n1/3b1kp1/2pBpn1p/1p2PP2/p2P4/1BP5/P3Q1PP/4RRK1 w - - 0 1
>>
>>It's the well known mate in ten position often referenced in the computer chess
>>literature. {Incidentially it was Alexander Alekhine playing White in a game
>>from the mid 1920s.) The MacLisp program Paradise used patterns and planning to
>>solve the problem with only 109 search nodes using less than an hour back in
>>1980 on a pdp10. Today, most programs on fast hardware can solve it under
>>tournament time controls, yet may require many millions of nodes to do so.
>>
>>The above position has also been one of the freqently used tests for Symbolic.
>>And, after looking forward for well over a year to having it solved by the
>>cognitive search, that goal was achieved yesterday 2005.06.30.
>>
>>Symbolic was able to locate the winning move 1. Qh5+ using forty-one seconds CPU
>>time (700 MHz PPC750). The search tree had sixty-seven interior nodes and
>>nineteen leaf nodes for a total of eighty-six nodes. The entire position search
>>tree was retained in memory and the search was suspended and resumed at
>>different points multiple times.
>>
>>Some caveats:
>>
>>1. Some less than perfect defensive moves were tried, so the the entire
>>resulting analysis is not perfect. Good enough for the first seven or so ply,
>>though.
>>
>>2. While there is nothing specific in Symbolic in regards to the BWTC.0031 test
>>position, the program's cognitive search understands little more than mate
>>attack themes.
>>
>>3. Much of the success is due to the utility of the GA derived mate attack move
>>suggestion pattern matcher and not a more sophisticated, to-be-written
>>multilevel pattern knowledge library.
>>
>>4. There is still a very long way to go.
>
>
>Very very impressive!
>
>For comparison, on a P3 600Mhz TRACE 1.34b needs 18secs to prefer Qh5+
>and 21 seconds to announce Mate in 10.
>
>In terms of nodes, Symbolic searched 86 nodes.
>TRACE needed 3,808,093... a slight difference. ;)
>
>I am filled with admiration for your single-minded effort and originality.
>May the force be with you.
>
>Ross
Latest Movei is in the middle between trace and Symbolic
36,096 nodes to fail high and 520,127 nodes to announce mate.
setboard 2qrr1n1/3b1kp1/2pBpn1p/1p2PP2/p2P4/1BP5/P3Q1PP/4RRK1 w - - 0 1
analyze
1 245 0 133 e5f6 g8f6
2 215 0 158 e5f6
2 245 0 210 e5f6 g8f6
2 245 1 768 e5f6 g8f6
3 215 1 1036 e5f6
3 201 1 1424 e5f6 g8f6 f5e6 d7e6
3 201 1 3189 e5f6 g8f6 f5e6 d7e6
4 171 1 4073 e5f6
4 121 1 5260 e5f6 g8f6 b3e6 d7e6 f5e6 e8e6
4 121 3 10374 e5f6 g8f6 b3e6 d7e6 f5e6 e8e6
5 91 3 13074 e5f6
5 65 6 16990 e5f6 g8f6 f5e6 d7e6 e2h5 f7g8 e1e6 f6h5 e6e8 g8h7
5 66 6 22191 f5e6
5 95 6 22838 f5e6
5 101 7 29438 f5e6 d7e6 e2h5 g7g6 f1f6 g8f6 h5f3 f7g8 f3f6 a4b3 f6g6 g8h8 g6h6
h8g8
5 102 9 36096 e2h5
5 131 9 36302 e2h5
5 372 9 40816 e2h5 f6h5 f5e6 f7g6 b3c2 g6g5 f1f5 g5g6 f5f6 g6g5 f6g6 g5h4 e1e4
h5f4 e4f4 h4h5 g6g7 g8f6 c2d1 f6g4 d1g4 h5h4 e6d7
5 372 11 41415 e2h5 f6h5 f5e6 f7g6 b3c2 g6g5 f1f5 g5g6 f5f6 g6g5 f6g6 g5h4 e1e4
h5f4 e4f4 h4h5 g6g7 g8f6 c2d1 f6g4 d1g4 h5h4 e6d7
6 342 12 56395 e2h5
6 402 14 63317 e2h5
6 402 15 80688 e2h5
7 397 25 141240 e2h5 f6h5 f5e6 f7g6 b3c2 g6g5 f1f5 g5g6 f5f6 g6g5 f6g6 g5h4 e1e
4 h5f4 e4f4 h4h5 g6g7 d7e6 c2d1 e6g4 d1g4 c8g4 f4g4 g8e7
7 397 45 260868 e2h5 f6h5 f5e6 f7g6 b3c2 g6g5 f1f5 g5g6 f5f6 g6g5 f6g6 g5h4 e1e
4 h5f4 e4f4 h4h5 g6g7 d7e6 c2d1 e6g4 d1g4 c8g4 f4g4 g8e7
8 427 46 273668 e2h5
8 497 50 288290 e2h5
8 32748 98 520167 e2h5 f6h5 f5e6 f7g6 b3c2 g6g5 f1f5 g5g6 f5f6 g6g5 f6g6 g5h4 e
1e4 h5f4 e4f4 h4h5 g2g3 d7e6 f4h4
8 32748 100 533649 e2h5 f6h5 f5e6 f7g6 b3c2 g6g5 f1f5 g5g6 f5f6 g6g5 f6g6 g5h4
e1e4 h5f4 e4f4 h4h5 g2g3 d7e6 f4h4
Uri
This page took 0 seconds to execute
Last modified: Thu, 15 Apr 21 08:11:13 -0700
Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.