JOHN - A Knowledge Representation Language

Mini Chess

The Chess program takes a long time when it is told to look more than 2 moves ahead to make a move. Here is a variant of chess game with smaller board and pieces for faster experiments:

Download:

mini-chess.jmc

Sample Run:

> draw Chess.
--------------------------------------------------
|           |.  {===} . |   {===}   |.  {===} . |
|           |. . |=| . .|    |=|    |. . \=/ . .|
|           |.  [UuU] . |    \=/    |. . (v) . .| 8
|           |. . . . . .|    ( )    |. .  , . . |
|           |. . . . . .|     +     |. . . . . .|
--------------------------------------------------
|. . . . . .|   {===}   |.  {===} . |   {===}   |
|. . . . . .|    (=)    |. . (=) . .|    (=)    |
|. . . . . .|           |. . . . . .|           | 7
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           |
--------------------------------------------------
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .| 6
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .|
--------------------------------------------------
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           | 5
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           |
--------------------------------------------------
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .| 4
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .|
--------------------------------------------------
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           | 3
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           |
--------------------------------------------------
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .| 2
|           |. . ( ) . .|    ( )    |. . ( ) . .|
|           |.  {___} . |   {___}   |.  {___} . |
--------------------------------------------------
|. . . . . .|           |. .  + . . |           |
|. . . . . .|           |. . ( ) . .|           |
|. . . . . .|   [UuU]   |. . / \ . .|     /T    | 1
|. . . . . .|    | |    |. . | | . .|    (/|    |
|. . . . . .|   {___}   |.  {___} . |   {___}   |
--------------------------------------------------
     C           D           E           F
ok.
> White moves.
[ [ D2, D3 ], [ D2, D4 ], [ E2, E3 ], [ E2, E4 ], [ F2, F3 ], [ F2, F4 ], [ D1, C1 ], [ F1, E3 ] ]
[ query time: 1 sec ]
> White do move.
looking 1 time unit ahead (8 possible worlds)
looking 2 time unit ahead (consulting heuristics... consulting heuristics... consulting heuristics... consulting heuristics... consulting heuristics... consulting heuristics... consulting heuristics... consulting heuristics... 32 possible worlds)
looking 3 time unit ahead (317 possible worlds)
ok I hear the cpu fan... giving up!
consulting heuristics... 
--------------------------------------------------
|           |.  {===} . |   {===}   |.  {===} . |
|           |. . |=| . .|    |=|    |. . \=/ . .|
|           |.  [UuU] . |    \=/    |. . (v) . .| 8
|           |. . . . . .|    ( )    |. .  , . . |
|           |. . . . . .|     +     |. . . . . .|
--------------------------------------------------
|. . . . . .|   {===}   |.  {===} . |   {===}   |
|. . . . . .|    (=)    |. . (=) . .|    (=)    |
|. . . . . .|           |. . . . . .|           | 7
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           |
--------------------------------------------------
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .| 6
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .|
--------------------------------------------------
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           | 5
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           |
--------------------------------------------------
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .| 4
|           |. . . . . .|    ( )    |. . . . . .|
|           |. . . . . .|   {___}   |. . . . . .|
--------------------------------------------------
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           | 3
|. . . . . .|           |. . . . . .|           |
|. . . . . .|           |. . . . . .|           |
--------------------------------------------------
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .|
|           |. . . . . .|           |. . . . . .| 2
|           |. . ( ) . .|           |. . ( ) . .|
|           |.  {___} . |           |.  {___} . |
--------------------------------------------------
|. . . . . .|           |. .  + . . |           |
|. . . . . .|           |. . ( ) . .|           |
|. . . . . .|   [UuU]   |. . / \ . .|     /T    | 1
|. . . . . .|    | |    |. . | | . .|    (/|    |
|. . . . . .|   {___}   |.  {___} . |   {___}   |
--------------------------------------------------
     C           D           E           F
ok.
[ query time: 1.033333 min ]

• View
• Edit
• History
• Print