Contract bridge as a micro-world for reasoning about communication agents

            

(  ) *  +   ,  )  - - . *  +  ,  / - 0 1 2 (  3    2 .    )  4  5     . 0  2 +  
-   + 6   7  ) 6     +  -   3 8     9    :   /
; < 9 0  2  -= > ? @ A B C @ D    ( 6      5 + 2 2 + -( +-    (  )  7  -      3  + 2 (    -  7 +  5 1 . 5    (   2  2    ) +    0  1 2  6 +   5 1 7   8   +)  -  + -( 0 +     ( )   +   , D   E      -  -  1 .  +  +- 0  +   F 5 + 2 2 + -(  .    ) F +        2        )  - +   7  -   + 7 +  +  1 1  -( 6  (  9  - 2   0  0   +  F 1  -( 6  (  F 9 2   +   +       -   + ) 1 + +  . 9 +     5 1 7  6   + -(  0 + 2  G   +  . 7  ) ) -             1 1 1      +- -   6   1 1  -( 6  (   H 0   1    ( 6             - 7       1   +G  1. 6 -  6      7 6 1 -   6   7   G + 6      )    0  +      -( 3  + 2 (  1  . + -(  (   )     5   -    + 7  +16     2 2        -   2      -  8 1+ +  1.  5 6  E - 0 1 2 (  9   ( )   +  9  5  5 +1 + +   - 2 1  -  , D  ( +G   - G   G + 0 7 I J K L M K 9   .    )  6    -  1. 6 - 2   2  G  1 )  -   
 9 0  +   ) 5 2 +        + 2    +-  -      7  ) 9 6  + -(   ) 5 +-   + - 7  6 1  5    2 + - 7    -   9        +  + ) 6 1   + - 9  - 2 F -  6   1 -   F 1    - + -( , N 8  ) 1      ( + G  - +1 16      + -(    7 6 -   + -  1+ . 7     .    ) +- +   6    -  7  ) , O P Q R S Q T UV S R W US X YW Z Y[ UV Y\ ] W ] S X ^ W \ ] X S _ YQ ` \ Za ] ` b ZY\ V S c W \ d L W R b e f g S U W Z h i j k

p q rs @ A t u v C @ w t s D  0 + 11    6 )         6 1  +)    (  1 7         + - F   6   1 4  -( 6  (  I      + -( F +         6   5 1   ) 6    + -  1 ) 2  1  7           6 - 2   1 . + -( 6    7 6 1  ) ) 6 - +    + - +- 6 -      +   2 -   6   1 1  -( 6  (  , x - 7   6 -    1 . 9 +     )        +  +    +11  1 -( 0  . 5  . - 2 0    + +  7    +5 1     )  ( +G  -         7       H  - .    1 +   +          y    ) 6    )   0  + ) 1 +7 .     5 1 ) ,
7 0          2          6 1   2 + G +  + - 7 1  -( 6  (  +-   . -   8 9   )  -  +    - 2   ( )  +   9         z { | }~ | }  0 5 G + 6    +      € /       . -   8  - 2      )  -  +     1+  +  9 5 6   + ) 1 +7 .      ( )   +  , 5 € /        ( )   +     1+   + 9 5 6   +) 1+7 .     . -   8  - 2      )  -  +  ,    0  E 6  - 0    5   -  -   -      2 -     E  €H 7   8  ) 1 9 -    -   6 )         +- 6  7  )    - -     2    . 2     + 5 + -(  G +  +        6   - 9            -   -   +   - +  1    2 ‚ 6    + -   ( + G  -   1   + -  1 2    5    , ƒ    0  0 + 11  8  ) + -          - 2 + -(       ( . 7  )     E 5 €9  7 7    + -(  2     +  +) 1 +7 +   + - 7     . -     +   - 2   )  -  +  6 1  0  +1  E   + -(      ( )   +  7  +  1.    1+  + , <       )   +)  9 0  0  -     ) G         (     5     1   (     9    -      + . 7 7  )  1+ „ + -( 1   (    6 - E  7 F  ) ) -    -   F E - 0 1 2 (  , D +         6 (    + - ) +- 2 9 +  +  -   6   1  1 E 7   (  )  7  E + 119 0  +  + -  - +-   (   1 0  . + - G 1 G    ) ) 6 - +   + -    6 (   -    +7 +  +  1 1  -( 6  (  ,
-    -  8      + - 9 0  0 + 11   ( 6       -      3  + 2 (  +   ( 2  8  ) 1 7   +   .  7 (  )  , D  0 + 11  -  +- 6  5 . 2     +5 + -( 0  . 3  + 2 (  +     2  - 2 0  .   G + 6     )    0  +  ( 2 3  + 2 (  1  . + -(  (   )    G  5   - 7  +  1. 6 -  6      7 6 1 , D   1  + )     )  - . 7     5 1 )       6   2 5 .    -   2      -  5 6  E - 0 1 2 (  9  5  5 +1 + +    - 2 1  -  , ƒ    0  0 +1 1 2     + 5   -  0     +    6      + 7 +  11. 2   + ( -  2       E       5 1 )       5 + 2 2 + -( 1 G  19    E  . + 2   +   6     ) 5 + -   + - 7  6 1  5    2  .   )  9        +  + ) 6 1   + -  - 2 -  6   1 -    9     7 0  +    E      7  2 +7 7    -   .  7     - + -( ,  6 (  1.    E + -( 9 …     6 1  5    2    7     (   ) 2     +5     5 + 2 2 + -(  .   ) …           +  +) 6 1   + -        -   5 6  E - 0 1 2 (   - 2  5  5 + 1+ +  …    -  6   1 -   )  E    G  16   + -  D  ( +G   8  ) 1  7    0  . +- 0  +       + 2      - 5  6   2  )  E  2   +  + -  2 6  + -(    5 + 2 2 + -(     9  - 2 2     +5   0    .       1 +„  2 + -I J K L M K 9     .   .    )  6    -  1. 5  + -( +) 1  )  -   2  
 , † 6  1 -(     ) 1  - +   +-    7       5 + 2 2 + -(  ) -  -       2  1  .   9 0  +  +   1  5  + 7 1. 2     +5  2 ,

p qp q = ‡ w C A t ˆ ‰ t A Š u ‹ Œ w u u w s  w s Ž t s @ A B C @ Œ A w u   3  + 2 (  +   7 6      -    2 (  )  1  .  2 5   0   -  0  0     -    )   , ‘ 6  + -(    F 5 + 2 2 + -( F    (  9    1  .      E   6  -   )  E  F5 + 2  F , < 5 + 2 +   +    ’ B ? ?   -  +    7  - 6 ) 5   7  )   “ 7 11 0  2 5 .   6 + 2  - ) +-   +

-3

9  - 2     5 + 2 ) 6   5   + (       -      G + 6  -      2 + -(     - G  -  + -     ”   9 6 +  • +   + (       -”   9 6 +  • + 7 7  +      •   9    –    - 2 6 +  • 6 +  +-     2   + -( — t ˜ A v ™ š •

♠

•

♥

•

♦

•

♣

, D   - - 1  .   0 +      5 + 2 7 6      ›+ , ,  1 1 1  .       €9     + (     5 + 2 +    (   2  2    - 7 7    1  .  F  -      F 9 +-  7 7     5         1  .   0     )  2     7 +-  1 5 + 2 ”  9 6 + •   - 9  (     0 +   +     -   9   E    1     œ    + E  +7 6 +  +    6 )  , D    )  E   3  + 2 (  + -       + -( 7  ) 6        + G  +  9  +)   +1. 9     + +  + -(  -    1 + )   + 5 1 7   - . + - 2 +G + 2 6  1 1  .    )  E   6    5   0 +    - .  - 7 + 2  -   6   1. -    5   +  -    +- 7  )   + - 2   +G  2 7  )  +  0 -    2  H +  +   -   ‚ 6  -  1 . (     1.  -    2 G  -   (    (    0 +  -      -       5 + 2   +      7 + -  1 -    6 1 2 5  +-        2    - G  . + -( +- 7  )   + -     2 + -(   )         -(  2     )  , 6        )  +    1 1 2  > w u u w s  ? ž ? @  ™ 9  - 2   - +-  -   6   1 0  . 5    (   2  2   2  7 +- + -(      )  -  +  7   + ) 1  1  -( 6  (  , Ÿ  )    +-  7 G +  0 7   ( )   +   5 + 2 2 + -(  .    ) +  ) 6    1      -   6   1 1  -( 6  (     -  9   . 9 7 +     2   1 ( +     +  +  1   (  1 .     6 1  7     -     + -  )  -  + -  2  5 G  9         5 + 2 5     +   1.  + (       -        2 + -( -  , + -    1  .     - + - )        - 1. 5 + 2   )  11 - 6 ) 5   7  +)   5  7        + -(  2  -(   6  1.  + (  1 G  19    5 + 2 2 + -(  .    ) ) 6   5  2   + ( -  2     )  E  )  8 +) 6 ) 6   7  -   8     -  +  +G +  . 9    6  +  + - 9      2 +- 7  )   + - 9  - 2    1+ -( 6 +  + 2  G +    +)  2   +-      + -(     7 7 + + -  . 7  ) ) 6 - +  + - ,  6 1 2 0 +      7           . -   8 7    1  -( 6  (  +   +) 1+7 + 2    +-  7 - -   8 +    -   9 0  (     .    ) 0          ( )   +       7  ) ) 6 - +    + -  - 5    6 2 + 2  1 )   +- +  1   + - , <  + ) 1   8  ) 1 7   ( )  +  3  + 2 (      - + -( + -    + - 7 11 0  ,  -  + 2     5 + 2 2 + -(   ‚ 6  -       N    6  D    p

♠

š B ? ?  

♦

š B ? ?   — ˜ ¡ ¢ S X S n X S U UV W U YU ^ Q ` Zc b S £ ` YUS YR ] Q \ \ Yb ZS UQ ] X Q _ Yc S W T` ZZ c S \ f X Y] UYQ [ Q T UV S X ` ZS \ Q T m XYc n S k J S W c S X \ ` [ TW R YZYW X ^ YUV UV S n W R S W X S ` Xn S c UQ f Q [ \ ` ZU Q [ S Q T UV S R W [ a S ¤ f S ZZS [ U Y[ UX Q c ` f UQ X a US ¤ U\ k ¢ S V Q ] S ¥ V Q ^ S _ S X ¥ U V W U UV S Y[ U X Q c ` f U YQ [ n Y_ S [ \ V Q ` Zc b S S [ Q ` n V UQ R W g S UV S US ¤ U f Q R ] X S V S [ \ Yb ZS S _ S [ UQ [ Q [ om X Yc n S ] ZW a S X \ ¥ \ Y[ f S UV S Yc S W \ W X S R Q X S n S [ S X W ZZa W ] ] ZYf W b ZS k ¦ §[ TW f U UV S X S W X S U^ Q R Q X S ] Q \ \ Yb ZS b Yc \ ¨ © ª « ¬ ­® W [ c ¯ ® ° ª « ¬ ­® ¥ ^ V Yf V ±` \ U XW Y\ S UV S \ UW g S \ k

-    5 + 2 2 + -(  .    ) )    ) ) - 1. 6   2 + - 0  2  - ² +1  1  - 2 “  ³9     +  - 1.   ) +   2  )  E   +     - 2 5 + 2 +7          :  + (      2 +-   9  - 2  5  1  -   2  6 + 2 +    +5 6  + - , ;  +    - 5    (   2  2      G      )  -  +  -   -  7    5 + 2   — ˜ +-   +   -   8  , ƒ 0  G   9  - 6 ) 5   7 + - 2 +     + - 7    -        G  +1  5 1 9 + 7 0     6 )         +  6  + -(  +  +-   1 1+ (  -    - 2 +     +G  1.   . + -(    1  +     -   , < ) -(   )   5 G + 6        7 11 0 + -(  …    2   -    G   5 + 2 2  5 1       6 + ›   -   2  5  5 1.   G  5 + 2  

♥

€ , …     2   -    G     5 + 2 2  5 1   2   6 +  ›   -   2  5  5 1.   G  5 + 2  

♠

€ , … ›1        +- 1 . €     2   -    G  2 +  ) - 2  6   ›   -   ) + (     G  5 + 2 ´

♦

€,
-         9    7              7   + -  2 7  )   . + -(  )    + -( 0  +   6 1 2   -  +  1 1. 5  7 6   +- 2 +            0    5  5 1. 6 -  5 1     . + 9  +-   +  0   6 -   6  , x  + -(  1+   1  +)  ( + -   + - 9 0    -  -    6       11  1 2 +  1 ( 6  + -N -( 1+    7 6      +1 16          +-   <    -
7 7   . 6  )   7 7   µ 3  ‘ . 6   G   - . N   1 ¶   . 1 7  µ < 
11 y 6   - + 6        , ƒ    9     8 1 + +  -   -  7 <     - 2 6      -   +     6 )  5 1 .      )  -        + -   - 2   (       , ƒ 0  G   9 +   1     )      -  5 1      6 )     7 11 0 + -( 9 ( +G  -  1   E 7  -     .  G + 2  -    … <    - N   1 ¶   . 1  7  ›     0 +     0 6 1 2   G        2     6 ( (    + - € , … < +       2   5  - 2 -  +   + ( +-  1 1  -  2  +- E  7 7   ›  )  2  -     )   2  7  - 2 + € , … ›1        +- 1. € <    -  1   -   + G  5   - 2 7     G  +1  5 1  ›  ) + (     G  7 7    2 +  € , ;      7     - + -(       6   +-     0  8  ) 1   +  7  +  1.  + ) +1       5 + ( 2 +7 7    -   7  )    <
) 2  11 + -( + -  7 G +  0 +            - 2 -  0 +1 1  5  5 1 .   ‚ 6 +    2    7 )  ( - +  6 2  )   2 )  + - E - 0 1  2 (   7  )  1 +„     1. 9  - 2 +      -  +  1 1. 5  . - 2       7         , D  5  1 + G  9  0  G   9        3  + 2 (  2 )  +- +   )  11  - 6 (   5  7  )  1 +„  2 +-      -  5 1.  ) 1    0  . , 4     - + -   +     9 0  0 +11 2     +5  0    0  5  1 + G   5      1+   +        ( . 7  5 6 +1 2 + -( 6   +  E +- 2 7  G    (  ,

p q   q · w ¸ ¸  A  s @ @ ž š  ? t ¸ ¹ ? š   C º B C @ ? ¹ w s Œ A w u   ;   5 + 2 2 + -(     7  -      3  + 2 (    - 5    (   2  2       +  7  ) ) 6 - +    + -     6  + -(  -  8    )  1.  + ) 1  1  -( 6  (  H    5 + 2 2 + -(  .    ) , ;    0    -     (    5  7      - 2 -    )   - + -( 7 2 +7 7    -  5 + 2  + - G   + 6   +  6   + -  , ›  - 2  1  + - 7  )    -  -   7    +   (    )  -   € ,
   +  F 1  -( 6  (  F    -   +) 1  5  7  - . +-                   +-    6   1 4  -( 6  (  I      + -( µ
-   +      + - 9 0  0 +1 1 ( +G   8  ) 1    0 + -(       +       +- 1. +  -         9  - 2     )  - .  ) ) - 1. 6   2          ²    1 “ 9 4  G +-  -   9 4 . -  “ “ ³   G  2 +     ‚ 6 +G  1 -   +-    5 + 2 2 + -(  .    ) , N 8  ) 1  7  0  )   ) ) -            - 5    7  )  2 +-    -   8  7  -      3  + 2 (  5 + 2 2 + -(   € <      + -( , F 3 . )  E + -(  +  5 + 2 9
          ) .   - 2             +  F › , ( ,   
  G    + 8     2  2   6 +  € 5 € ‘  - . + -( , F3 . )  E + -(   +  5 + 2 9
2  - .     ) .   - 2             +  F › , ( ,    
 ) +-       2 +- 1  . + -(  )  y    6 +   -      €  € <  E + -(  - 2  -  0   + -( ‚ 6    + -  , F
7 . 6    - 2 +  7 .   9 )  E  5 + 2  H +7 +  +  7  .   9 )  E  5 + 2  9    ,F › , ( ,   E + -(  0 )  - .        -      € 2 €
-     6  + -( , F;    + )   . 6    7   +  5 + 2 +        -  -    ) ) 6 - +   + -( F ›     )  +G  5 + 2  €  € ‘  )  - 2 + -(  †  2   + -( , F ;  +  5 + 2 7     . 6  2    7 1 1 0 + -( F › , ( , )  E      +7 + 5 + 2 -    -  8   6 - 2 9 +       + G  7 0       2  . 6   G  € 7 € 6 ( (   + -(  ;   -  7    + -(    -  +5 +1 + . , F ;  +  5 + 2 )  E   . 6    -  +5 1  7     7 1 1 0 + -( 2   +  + - F › , ( , 5 + 2 (  )    1  ) +7 . 6 y 6 2 (      +  +  0    0  +1 € ( € I  ) +  + -(  ;  E + -(    -  +5 +1 + . , F ;  +  5 + 2  ) +       
  - 2   1 0 +         + 5 1  5 1 )  +-  )  0  . ,F › , ( ,  ) +  + -(     5 + 2 2           +-   6 + €  € 4 . + -( ›I      -           + -    -  )  1   -   µ € ,   )  ) 5            )  -  +   7    5 + 2 2 + -(  .    ) +    5 +    . 9  - 2 +  2  7 + -  2 7  )  8 +) 6 ) 6  + 1+ .    G + -(  1 1      F          F +  -     + 2  -   1 9 5 6  7 11 0  7  )     +-  + 1       .     1 1 6   7 6 1  + -(      -  0 + 11 0  -   2 , < 1  -       1. + -(  + , , )  E + -(  5 + 2  - G  . + -( + -       +- 7  )   + -  5 6  -     - 2  +  1  (  1 +- 3  + 2 (  9   1 -(   -    +  E  -      -     0  11   -   -  -   ,

† 7  6    9   + -( 1  5 + 2   -   G  )      - -  7 6 -   + - 9  - 2   6  7 6 1 7 +1 )      - -  F         FH  -      1. 9 1+       10  .  1 +   5 6   )    + -( 9  , ( ,  -      + -   -  -  0     ‚ 6    + - , ƒ 0 )  - .           ( +G  - 5 + 2 7 6 17 + 1  + -  ( +G  -  + 6   + - +  9 7  6    9  + (  1.  -  8  2   - 2  -  , p q ´ q ‰ º ž Œ A w u   w ? º B A u ‹ > B ? w C š A t > Š  ™ ?
-   +      + - 9 0  0 +1 1  6 ) )   +„     5   +  5 1 )      )  E  3  + 2 (      2 (  )   1  . , Ÿ +    1. 9 + +  -        .    1 )    G   .    (       -  5 6         1  .     E - 0 1  2 (   - 2 5  1+  7   )   5 + 2     )  2  + -  2     - G  . + - 7  )   + - 9  - 2 + +  -  + -(  -    1   +5 1    )       0    7  0   + 5 1 5 + 2  0 +  6     )     (      - + -(  5 6  0           1  .    ›    +  1 1. -      -   € 0 + 11 E - 0       6 1 7     5 + 2   G + -( 5   - )  2  ,    G   9 )   E - 0 1 2 (  +   5  5 + 1+   + +- -  6   , N 8    + -  11. 9 -  )  . 5  + -      + - 7  -  8     -  0     ‚ 6    + - ›7   8  ) 1  9  0 )  - .        -      €H 5 6  7  )    ) ) -     +5 6     6     1 -(    7  6 +  9 +  0 + 11 -  )  1 1. 5                      0         + 5 +1 + +  9  - 2        5 + 2 2 + -( 0 +11   .  )    + -(  5 6     +   1   +G  1+E  1+ 2 , ;   +-    5 G   1.  ‚ 6  1 1.  5 + 2 2 + -(  - 2 1  .   0  G   9 7  5 + 2 2 + -( + +    1       + 5 1      +  G        + - 1  G  1 7   7  )  -   0 +   - G  -  + -  1  (   ) ) + -( )    2  , ›D  0 +1 1 ‚ 6    )   8  ) 1  +-    -  8      + - € , Ÿ     2  1  . 9      +      2 2  2  5 1 ) 7   G + -(  5   5 1   -    6    ) 1 8 1  -   - 2  6 -     1  -  H  6 )  -  -  1 .  +  7    2  1  .  + 6   + -   1 )   + - G   +  5 1. 5  ( + -  5 .  -    6   + -( 1  -  7     1  . +-      6 +  +- 2 +G + 2 6  11 . 9  - 2    - 6           5 6 + 1 2 + -( 5 1  E    -    6    1  - 7     1  . 7     -  +    - 2 , ;  +   .  7  -  1.  +  +   -  + 2    5 1. )   2 +7 7 +  6 1  ) 2  1    -              + -(  1 (  +  )  6   2 5 . 9 7   8  ) 1 9 )         (   )  ,
-    -  8      + - 9 0    G + 0   G + 6      )    0  +  3  + 2 (   (   )  , D  0 +1 1  1  ( +G   )  7        -  0  . 0    +- E                    6 -    +  7     . ,

p q¼ q ’ A  ½ w t v ? ¾ t A ¿     .    )  0  +    -  2      - 5  1 6 )  2 6 - 2      5   2    2 + -( 7 À z }Á  | à ÄÂ Å Æ z Ç Â È Ç É Ç ÊÂ Ë Ç , 3 . F-  +G  F9 0  )   -        6 1         -  +  1 1.  5  G +  0  2    -   +  6  + -(     2 6   9          -  2     +  + - H   +  +     + 6 1   1 .     -  +-  (   )  0  +   -  2  5 + 2 2 + -(  .    )  ²4 + - 2  1 Ì 7   H   - +  “ » H D      )  - “  ³ , ƒ 0  G   9      )  +   1    6  ›  6 (         1     2  (    € +- 9 7   8  ) 1 9 Í 6 +- 1  -   .    ) 7  1    + -(  + (     2  ²Í 6 +- 1  - “ ³9  - 2    I Î Ï Ð Ñ Ò  .    ) ²    1 + -( Ó  . (     ³9 0  +   + 2  -  + 7 +    ‚ 6   „   + 6   + -  , < -  + G   6 1   5    2  .    ) 9 5 . 6  2  7 +- + + - 9     )     G + 2   6 1    G    G   .  G  -  6  1+  .       -   +   , ;  +        ( .   -  G   + (  1 .  6      7 6 1 + - )   .   7  + 6  + - H +-    +  6 1   9 4 + - 2  1 Ì 7   Ñ m J K       5   0  1 2   1    5 + 2 2   0   - + +   1 1 0  2  5 + 2 6 - 2 +  6  5  2  0   2    1  ) 9  - 2    1+ -(  - 2  . (     I Î Ï Ð Ñ Ò +     5 1  7 + 2  -  +7 . + -(  - . 2 6 5 1   2 6 ) ) .  ‚ 6   „  0 +    )  11 - 6 ) 5   7    2  , N -  6   (  2 5 .         6 1   9 +        -  1. 5   - 6 ( (     2 5 . ‘  G + 2 4  G . ²4  G .  ³       ) 5 +-   + - 7   Ñ m J K  1+E   6 1  5    2 5 + 2 2 + -(  .   )  - 2  5  6    7       2  1  .   ›  5  5 1. + ) 1 )  -   2 -   +  1 +„  2    2 0    €9 ) + (   5   - 6 (    2 6      -( )     - +  1 3  + 2 (   1  .   , D   +- E 9  0  G   9       +  +   5  6 - 2 6 1 .  + ) +   +  H         ) +-    +  6 1    5    1           + 6   5 1 )      0 +11   +   +7   .    ) +   5  5 6 +1 6  + -(   +       , Ÿ +   1 . 9    5 + 2 2 + -(  ) -  -  0 +1 1 - 1.   G   G   . 1 +) +   2  5 +1 + .      -  5 6  +  -  -    5 + 2  H  6 )  - 1  .    7   ‚ 6  -  1 .   E ‚ 6    + -   5 6     )   - + -(  7 5 + 2  9  - 2 6       -  0     1  -    +  0 -     ( . , 3  + -(  5 1   )  E  6   7   +  E +- 2 7 +- 7  )  + - ›   G  -  7   )     ‚ 6    + -  -   2  2    ‚ 6 +   + € 0 +   6     )     (        -  + -( +   5       1.    )  2 + 7 7+  6 1  , ;   E    -       8  ) 1   6       . 6  1 7     - 2 -  -   -  0 +  

♠

9 . 6     -   2 6 5 1  9  - 2 . 6   + (      - 2 -  -    2 6 5 1  , Ô 6 E - 0        1    5 + 2      - G  -  + -  1 ›+ , ,    .  - G  . )   +- 7  )   + -    - +) 1.   +  + -(       E   €9 5 6  . 6    +- 2 6 5   5 6      8    )   - + -( 7      2 6 5 1  , ;  +   + 6   + - +   6 7 7 + +  -  1 . 6 - 6  6  1     +  +  6 - 1 + E  1.  5  )  -  + -  2 +-    -  -     .    ) 2   1     + -   -   + G  5 1 +-         + -  ) + (   + -  16 2  F 0   E   - 2 9 1 -(  2   6 + F9 F      + (      2 +-   9   1          2   F 9 F   1       + (      2 +-   9 2  7  -  +G  1.  + -   2   - 2 F   G  -F 5 + 2 2  5 1 ƒ      6 +  9 ) 2       + (      2     -(   F ,   E - 0 + -( 0  +  7       1   -   +G   +           -  0 + 11  1    1. 5   )  y    - 2 +   0   - 1  - - + -( -   0 - -  8  5 + 2 9 .    2 2 + -(    +7 +  6 1   2   1 0 +   G   .  6    + 6   + - +   2  6 - + -(    E ,

  - 2 1. 9  6      7 6 1 1  . ›    +  11 . + - 2  7  -   €   ‚ 6 +          5 + 2 2 + -(  ) -  -  +   5 1     -    ›  5  5 +1+   +  € +- 7  )   + -  8       2 7  )    5 + 2 2 + -(     1  . + -(  ) -  -  , 4  G .   6 ( (     2     +    6   7        2  1  .   +- G 1 G   5  6   7          7  + )  1 1  -  +-     7  1   (  - 6 ) 5   7   +5 1 2 +    +5 6  + -  7       2  H 5 6  +7     .    ) +  6 -  5 1   ( 6    0  +  7      2 +    +5 6  + -        1 +E  1. -   9      +  -     -   6       + 0 +11 1  .    + 6 1   1. 0  11 , 4   6  -    (  + - 1 E    -  +) 1  8  ) 1 , 6   9   2   1     9     6   +   G  1 6   + -(  0  )   + -( 1  -   -  0  E  +7 D             

♣

< 9  - 2        +7    ‘ +  ) - 2  6 + +  2 +    +5 6  2      N         1    7 6  7     +8    2  6  ,
-     5   -   7     + - 7  )   + - 9    7 +   1  - +   »  Õ 5   9  - 2       - 2    1      -   » Õ    -   7  6     2 + -( ,
7 9  0  G   9 D        -  2 0 +   - -  G 6 1 -    5 1      )  +G  5 + 2 7 

♠

9 -  0 6 1 2 -  )  11 .   + - E +  6 - 1+E  1.         2  - <   + -  -      6 + H  + -   -   8       G  - 7  +     2   5   2   9 +  1  5   )   ) 6   )    5  5 1          1      -   17    ‘ +  ) - 2  ,  -   ‚ 6  -  1. 9 -  0 6 1 2   7         - 2 1  - , ;  +  +     1   +G  1.  + ) 1 +   7 2  2 6   + - +7 -  +   5 1      -  5       1 .  5 6     E + - 2 7   - 2 7  0  +    -  - + -( 5 + 2 7 

♠

+     +    9 5 6   (  +- 5   )   7  ) + 2  5 1 . 2 +7 7 + 6 1 +7 + +  2 -  +-    )  7    +7 +   - 2   2  2  6 1   , Ÿ +-  1 1. 9      +     + 2  5 1  )    .    ) 6  + -( 5  6    7    2 6 5 1   2 6 ) ) .  -  1.  +  +  5 . +  -   6   +-    5 1 7     - + -(  5 6      1  .     5  1+ 7   5 6  +   0 -   - 2 , <  2   1     9   +  )   -      1  .  5    2 - 5 1 6 7 7   - -  G   5    1    2 9  G  -   6 (    +  )  . 5     - 1. 0  .  ( +G     -  -       -    ( 0  -( , Ÿ   8  ) 1  9 0 +  y 6    )  11    2  -      5 1  (  +-     + -( 1  -/ + -( +-   - 2 9 + )  .  .  1  .   )  11    2 7  )      5 1  - 2       + +  -   G    2 0 +    <   H + 7   +  +  2 -     1. - 9 + 0 +11 6  6  11 . 5  +)   +5 1  7      + (      - 2 -  -   0  E 6             1  .  +  <   ,
-2  7  -   9    +   6  +   G  - )    1     6  , ; 0 2 + 7 7    -  1  .  ) + (   5   ‚ 6 + G  1 -  +7 G + 0  2 5 .  2 6 5 1   2 6 ) ) .  -  1.  +  9  G  -   6 (     . +-    1+ . 0 + 11  - G  . 2 +7 7    -  +    7 +- 7  )   + -     -   , < 5  6    7    1  . + -(  ) -  -          )     -    6   1  -  7   -  -  +     - 2   -   +  ( + -(  5   + (  1. + -  7 7 + + -  , ;              7    ) 1   2 6 5 1  2 6 ) ) .  -  1.  +        E      -     - 2 -  -    G + 0  7 +   0 -  - 2 + -     6 -  +  y 6   ( + -(  5  +- 7    + 5 1. 1   (  , ƒ 6 )  - 1  .       )      -  5 6   + -( 1  6 +  7 +   9    -  ) 5 +-     1  -   7  )  1  - 7      -  +    - 2  , ;  +  +   ) 6   )    7 7 +  + -       9 5 6   G  - + 7   +  ) + (   -  5      + -( 1  7    +5 1   16  + - 9 -    -    - .     2  2 6       5  6    7    2 6 5 1  2 6 ) ) .  -  1 .  +  0 -  0  E ,

  q ’ A t š t ?  u t ½  A B Š Š B A C º w @  C @ v A 
-   +      + - 9 0  0 +1 1     -   - G   G + 0 7     2     +     6   5    2 -   + 2    6  1 +-  2  5 G  , ;   +  6   +      0 - +- 2 +  (   )       0 )  + - ) -  -          6 5  .    )  7  5 + 2 2 + -(  - 2 1  . , ;   7 +   E  . + 2   +-    2   + ( - +   )  +-   +-   1   2 +   +-   + - 5   0   - 1 ( +   1  - 2  5  5 +1+   + +- 7  )   + - , 4 ( +  1 +- 7  )  + -  )   7  )    5 + 2 2 + -(  - 2 1  . 9  - 2    2  7 +- + + -  7     (    2  - 5 + 2 2 + -(  .    ) , ;  +  +  )  + -   +-  2       7 2   1     +G   6 1   , ;    6 1   2  7 +- + -(   5 + 2 2 + -(  .   )   E    + - 6     5    G  2 5 + 2 2 + -( 9  - 2  2 6       7 Ö ~ À Ç Ê | z }À ÊÇ 9 0  +  1 +) +     +5 1     2 2 +    +5 6  + -  0  +    -  8 1  + -    E - 0 - 7                 - + -  6  - 6   2   +- 6       5  5 + 1+   +     - + -(  ) -  -  9 0  +  9 ( +G  -     7  -    +-   × 9 6            +   +) 6 1   + -    2 6     2 6    -   5 +    +1. 1   (     7   - 2 ) 2   1  Ø 7  0  +   ×  1 2  , ›D  0 +11 +-      ‚ 6  1   7     1 )  -   7            F  2   1  F € , ;   1   (       +„  7 Ø 9    )      6        +  6   + ( +G   7     .    )   5  5 +1 +   + E - 0 1 2 (  , < 11  ) ) 6 - +   + - 5   0   -    5 + 2 2 + -(  - 2 1  . + -(  ) -  -   +  +-    )  7  -     + -    - 2     7   2   1  ,
- +  +  11 . 9       2  1  .   +      -   2 0 +      7   2   1   6 ) )   +„ + -(    + - 7  )   + -(       2 2 6  + -(    5 + 2 2 + -( H +7       2  1  .   0 +     9 +   -  2 2  8     -     +-   (  +-  2   .     + „  2 2 6  + -(     6    7    1  . 9  - 2   E           +   +) 6 1    7   -  0    7   2   1  0  +     7 1       8    +- 7  )  + - ,  Ù Ú Ú Ù  Û N G  16   + -›-  6   1 -   € 3 + 2 2 + -(  .    ) › 6 1 5    2 €       -    +G  2   1  ›  +) 6 1   + - € Ü Ý  % + -( 1   6 +  -  1.  +  ›5  6   7    € ¶ 1 5  1  -  1.  +  ›<
1  - - + -( )    2 €

Probabilistic

information

about

representative

deals

· w B  A B ™ p  † G   G +  0 7    2     +   6  

2   1 1. 9    1+- E 5   0   -    5 + 2 2    - 2       2  1  .   0 6 1 2 5   . ) )    +   1    6     5 + 2 2   0 6 1 2  1  5   5 1    E       2  1  .   0       1+E  1+  2 0 6 1 2 5  7 )  E + -(   -      9 ( +G  -  -    6  1 2   1  - 2     7   2   1  0  +     7 1           7 E - 0 1  2 (  7     1  .   ,
-     +  9 +     )        +  +  + -(  -    1 ( + -(  5  7     8  -  +G  +-    )  7  ) 6    + -  1    6     9  - 2  )  F ‚ 6 + E  - 2 2 +  . F  G  1 6   + - )    2 +    ‚ 6 +  2 ,
- 6  + - + +  1    .  9 0    G      -  +) 1 )  -    +     -  6   1 -   0  E          +- 7     0  6   -    9 -  7  -    6 )   -       9  - 2 -  7   6 +  -       , N    -   +     +-  2 -  - 6 ) 5   7 2   1  0 +  E - 0 -    6 1  9  - 2 +     -    5 1 7   E + -(  - 6 - E - 0 - 2   1   + - 6  9  - 2  2 6  + -(     7 7 6     - 6  6   9       -  + -(     5  5 +1+ +  7 )  E + -( „     +    -   + E        +G  1. ,
) 1  )  -    + - 7    5 + 2 2 + -(  ) -  -  7       .   .    ) +  - 0     -  5 1. 7    2 G  -   2 9  - 2 0  0 +1 1 2    + 5  +  +- )   2    + 1 +-     + -  ,
-   + - : 9 0  0 + 11  E     6        2 2   + ( - 7       2  1  .   ,

´ q = A C º w @  C @ v A  t ¸ @ º  > w u u w s  C t ™ š t s  s @ ´ qp Þ t ¾ @ º  > w u u w s  ¾ t A ¿ ? ‹ B s  ß B ™ š Š  D  0 + 11      5 . ( +G + -(  - +116      +G   8  ) 1  9 +- 0  +      5 + 2 2 + -(  .    )     )  E    +) 1 9 5 6    + 11 - -    +G +  1 2   +  + - H    2 +   6   + - +-  +   6 5      + -0 +11  G + 2     - +  1 +) 1 )  -   + - 2    +1  ,  -  + 2       + 6   + - +- 2 +  (   )  

♠

/ “

♥

/ à : 

♦

  “ :

♣

 »

♠

< à   —

♠

  » : 

♥

Í  

♥

»

♦

Í   ‰ á

♦

/ à  

♣

<  â

♣

  “ 

♠

Í 

♥

<    “

♦

< »

♣

/ Í à :  — t A @ º á B ? @ â t v @ º ‰  ? @ ’ B ? ? ’ B ? ? p

♣

· t v > Š  p

♥

’ B ? ? ã · w B  A B ™      E + -(  2   +  + - + -    5 + 2 2 + -( 6       -  2 0 +   

♣

9 0  +   +  )   -     -   6   1 5 + 2   0 + -(   16 5  6 +  - 2   +-    )   , D       2 6 5 1 2 7    E   6  9 +- 2 +    + -(  -  - + -(   - 2  - 2   E + -(    -    5 + 2  +  5     6 +  H -   +  9        5 + 2 

♥

9 0  +    6 1 2   0  )    + -(  + ( - + 7 +  -  1. 5         -  ) +- +) 6 )    -   , › +-      -   0 + 11   G   -        -    5 + 2 9     -  7 7  2     0 +      1 ) +- +) 6 ) € , N           2 9 0  +     6 )  5 1. )   -            G   . 0   E   - 2 0 +  - ( 2  6 +  H - 0 6       2   + 2  -  +  -  8  5 + 2 ,
 +   1           6 1 2 5    +- E + -(  5 6    -      +- ƒ      H 0 +   6   + ) 1 +7 . + -(    +  6    ) 6   9 0    -   .      +  - 1 .  1   -   +G       +     €  5 + 2 (  )  2 +     1 . 0 +   :

♥

9   1   5 €  }À Á }Ê Ê~ ä z Ë Â 0 +   

♥

, D      +  )   -  9 +-  6 + + G  1 . 9 +         -     6 1 2 5 + 2 :

♥

+ 7    -  + 2         +    - 2 + 

 + ( - + 7 +  -  1 . 5         -      + - 2 +    2 5 .  +      2 + -( 5 + 2  H     0 +       6 1 2    , < -  G  1 6   + - 7    7 +    1   -  + G  +  ‚ 6 +     + (    7  0   2 9  +-   0   8    +    - 2    5 + 2 2 + -( H  1 1     +  -        . +      +)     0 1 +E  1 . + +  › -    5   +  7    +- 7  )  + -( + G  - €     :

♥

0 +11 )  E  ,
-     +   9   +  0 +1 1 5  2 -  5 . 6  + -(           +   +) 6 1     (  -          7   2   1  9  - 2    -(    + -(  -  G  16   + - 7       2   1 7  )    -  6   1 -   7   6 +  -       H     8     2 G  16  7     -      +     -  ) 6   2 5 . ) 6 1  + 1. + -(     5  5 +1+  . 7        6 1 5 .       7  )  E + -( + 9  - 2  G    ( + -(  +  G         7   2   1  , ;      - 2 5 + 2 +  )   + -       + -( 9  +-            0   +5 1   -  +- 6   + -  7    5 + 2 2 + -(  0  -   2      -  5 6  0    2   +  + -     0 +1 1 )  E  -  +  -  8  5 + 2 , <  + -    7 +     1   -   + G   5 G  9 0  5  ( + - 5 . (  -     + -(     7   2   1  7  )    +- 7  )  + -  G  +1  5 1  6  + -        -   + 6   + - , Ÿ      7        2   1  9 0  ) 6   2   + 2  0           0 +1 1  -  + 2    +    - 2  5  F  + ( - +7 +   -  1. 5         -       1    2 . +- 2 +    2 F , D  0 + 11   7     . +   1 )  ) 5   7   +     7   2   1      9  - 2 7 6      6      - 2     7            - 2 6     - 2  +-   9  5  + -(    E - 0 - 6     - 2 , D  - 0  0 +   6  + -  7 G + 0       0    G     6 )  2      +    - 2 +    , Ÿ  )   +  9  (      0 +     5 + 2 2 + -( 9 0    -(  -          7   2   1  0  +        -       + 5 1   - 2       6 1 2   +- E     6     2 , † -    (  +- 9 0    11   . +   1 )  ) 5   7         9  - 2 1   5     6     - 2 , ›  )  ) 5              - 2 +     6 )  2  5    € , ;   ‚ 6    + - - 0 +  0         +   ( 2   - 2 7  )   + -  7 G + 0    6  0           + 2 -     2 1  G  1 7   2   1  ›  €9   +   +)     6 ) + -(        6     - 2 +   , <  6  6  19 0    11   . +  1       - 2   , D  - 0 0  -   E - 0 9 7        9 0           ) 5 +-   + -   œ  +  5         -     G    (  › G    1 1     - 2   € 7   œ  9 0   - 1  . + -(  -       + -ƒ      ,
7 + +  9 0     6 )          0 6 1 2   G  5 + 2 :

♥

H     0 +   9 0     6 )    0 6 1 2   G      2 , <   6 ) + -(       +  5 + 2  - 2     5 + 2 2 + -( 9 0    - - 0    +)        8     2 G  16  7  1   -   +G  5 €9 + -      )  0  .   0  2 + 2 7   €  5 G  ,
-   +     + 6 1       9 +   6  -  6  ›       )  0     6 -     +-  6 + +G  1. €9     5 + 2 2 + -( :

♥

  -   +   5  5 1.     + (     +   H :

♥

0 + 11 7   -   G   ( 2    -   7 )  E + -( 9  G  - + 7           - 2 0  +    0 6 1 2  -  + 2    9  - 2 - 0  +    0 6 1 2  -   ‚ 6  -  1.    

♥

,
-     0  2  9 0    -   1  6 1              6 1 2 -  5   -  6   (  2  )  E     2   +  + - 9 5    6     +  1 +E  1.  2   + 2  0  -( ,

-    7 1 1 0 + -(  6 5     + -  9 0  0 + 11 2     +5  +- )   2    + 1  0    G   + 6  7 6 -   + -  1+  +  -   2  2     1 +„      5 G   -  1 .  +     + ) 1 )  -   2 + - 6     .  G    + - 7    5 + 2 2 + -(  ) -  -  , ´ q   ˜ º  > w u u w s  ? ž ? @  ™ <  0    G  2     + 5  2  5 G  9    2  7 +- + + - 7    5 + 2 2 + -(  .    ) +- )      1+   (   )     5   -     -  +  1 1.    2 6   1 ›       8    + -(         )  -  + -²Í 6 +- 1  - “ ³ €H     6 1    E    + - 6     5 + 2 2 + -(  2     - 2     (   )  0 -   2  9  - 2  2 6      -  8  5 + 2 , ;  +  +  +-  6 7 7 +  + -  7    G    1     -  , Ÿ +   1. 9 0     -  + -        2 + -      + -(     +  1 9   - 2     7   2 5 + 2 2 + -(  .    ) 1 +E  4 +- 2  1 Ì 7   † 3  < H 0  0  -   6    F-   6   1 F ›- -   - G  -  + -  1 €  .    ) 9 0     5 + 2     2  7 +-  2 +-    )  7  ) ) -    -    -            6 )   -  5 +1 + .      -  - 2 2  2 6   å , N G  - )   +)    -  1 . 9 0  )   7   - 2 -  0  -   E - 0 0  +    ‚ 6  -         +5 1 7  ( +G  -    2  H 0        0  -   E - 0 0     - 2 + + -  5   +- -   2   1 9 + 7  ( + G  -   ‚ 6  -   +   5    +5 1 ,
-     0  2  9    5 + 2 2 + -(  .    )   6 1 2 5   5 1     E     5 + 2 2 + -(  +    .   + - 6  9  - 2 2   + G   -     +-   -       2      1  .   0 6 1 2   G    2   1 2  5   5 1  )  E     5 + 2       )  2  ,

overcall(d,Bidding,Conditions)

:-single_non_pass_bid_so_far(Bidding,bid(Level,Suit)),

is_a_major(Suit),

in_between(1,2,Level),

other_major(Suit,OtherMajor),

Conditions = [strength(13,maxPoints),

biddability(OtherMajor,1),

no(biddability(OtherMajor,3))].

response_to_1_in_a_suit(rd,[d,bid(1,Suit)|_],Conditions)

:-real_suit(Suit),

Conditions = [strength(8,10),

minLength(Suit,3),

balanced].

response_to_1_in_a_suit(rd,[d,bid(1,Suit)|_],Conditions)

:-real_suit(Suit),

Conditions = [strength(10,maxPoints),

balanced].

· w B  A B ™ ´  N 8  ) 1  7 5 + 2 2 + -(  6 1   æ Ï V S ] X Q n X W R ç\ b Yc c Y[ n \ a \ US R Y\ b W \ S c Q [ M Q c S X [ P UW [ c W X c d Ò YZ\ ZW [ c è é j k M P Y\ f ` X X S [ UZa UV S R Q \ U ] Q ] ` ZW X \ a \ US R Y[ P ^ S c S [ ¥ W [ c f Q R b Y[ S \ S ZS R S [ U\ TX Q R UV S P UW [ c W X c K R S X Yf W [ W [ c m X YUY\ V K l Ñ ê \ a \ US R \ k

- 2 +  (   )  0    -          8  ) 1   7  6 1  7  )    5 + 2 2 + -(  .    ) , ;   7 +   +  -  7     6 1       2  7 +-   0   -    E   6  2 6 5 1 +  1  (  1 ›           6  1 1. 7 6  )        € , ;  +     + 6 1    6 1    .         E  6  2 6 5 1 +    +5 1 +7    - 1. - -     5 + 2  7      5   -  5 + 2 7    +-  )  y   6 + 9 6 - 2       - 2 + + -      +    6    - 2      + (      2     -(   7   1      +-   9        )  y  +   5 + 2 2  5 1 9 5 6  -  2 6 5 1.    5 + 2 2  5 1  6 +  , ;      - 2  - 2   + 2  6 1    - 2 1   2 6 5 1  7   E   6  2 6 5 1        -   1  G  1     +-         + - +           2 6 5 1   0   5  1  -   2   - 2 9 0 +   +         + (      2 +-    - 2   1            2  +-    2 6 5 1  2  6 + 9  )      -   +-   ,
- 2 +  (   ) : 0    0  -  8  ) 1 7  5 + 2 2 + -(   ‚ 6  -   9  (      0 +   )  7    )   + )    -  7     E - 0 - 5 . D     7       5 + 2 7 

♥

›D        - - 6 -   2   1     » + -   9 1   E 7  7 +  +- ƒ      9  - 2  5 + 2 2  5 1  2   6 + H        1      -   +-   H N          5 + 2 2  5 1  ƒ      6 +  9  - 2  +        + -   0 +   5  1  -   2   - 2 9       +-   0 +   - 6 - 5  1  -   2 -  € ,

♠

Í   “

♥

Í  “ :

♦



♣

» : 

♠

/ à “  —

♠

<

♥

»

♥

< à    

♦

< /   ‰ á

♦

Í à » :

♣

à   â

♣

Í 

♠

  : 

♥

/ 

♦

   “

♣

< /   “ — t A @ º á B ? @ â t v @ º ‰  ? @ ’ B ? ? p

♥

’ B ? ? p

♠

’ B ? ? ´

♥

'W',[str(5,maxp),no(confirmed_fit('H')),biddability('S',1)].

'N',[str(0,12)].

'E',[str(18,19),balanced,biddability('H',2)].

'E',[str(16,20),unbalanced,biddability('H',2)].

· w B  A B ™ ¼  N 8  ) 1 7 6  6  7  )    5 + 2 2 + -(  .   )

´ q ´ ë  s  A B @ w s  A  š A  ?  s @ B @ w ½  u  B Š ? D  - 0 2     +5  5  +  7 1.          +   +) 6 1   + - ) 2 6 1 H   +  +      ) -  -          + G       7  -     + -   9  - 2 6  6       7   2   1  , ;   5   +  )     - +  ) +    +) 1 G    + - 7   |  Á  | Ç Â È Ç }Ë Ã Äz ÊÂ È z À À  z Ä}À ä  1 (  +  ) 9  - 2 +   6 ) )   +„  2 +-    7 1 0       5  1 0 › 2 +  (   ) » € ,
- + +  11. 9    6 - E - 0 -    2     2 +    +5 6   2   - 2 ) 1. 5   0   -         6 -    -   - 2  , ;    +) 6 1       - -      1 H       +     + - 9 +  7 +        E      0        11  -     +-       1   2 .    +  7 + 2 9  - 2 + 7 -    +   7 +- 2   + 7    2  0  +  +    -  0   +)  G     2  (    7 7 + 9  -  +- 6 + -( 6 -  +1      - 2    +  7 +      -     +-   ,

Constraints, own hand

Deal matching the constraints

Randomly distribute unknown cards

Are all constraints satisfied?

Are the constraints satisfied worse?

Randomly exchange a

pair of unknown cards

No

No

Stop

Yes

Yes

Undo swap

· w B  A B ™ ì  ;    +) 6 1  + -  1 (  +  ) ‘ +  (   )   -  +- 6       8  ) 1 7  ) 2 +  (   ) : 9  - 2   0    . +   1    7   2   1   2 6   2 5 .     + ) 6 1   + - ) 2 6 1      + 6   + - +  G + 0  2 7  ) D     G +  0 +-  9  - 2 0    -        7   -   +5 1  N      - 2  ›  5 € (  -      2 7  )    ( +G  -  -    +-   ›   €í , î §U V W \ b S S [ ] Q Y[ US c Q ` U UQ ` \ b a K [ c S X \ Ñ UUQ \ \ Q [ UV W U UV S f Q [ \ UX W Y[ U\ Y[ UV Y\ f W \ S W X S W f U` W ZZa [ Q ^ V S X S [ S W X U Yn V U S [ Q ` n V UQ f W ] U ` X S UV S Y[ TQ X R W UYQ [ W _ W YZW b ZS TX Q R UV S b Yc c Y[ n k M Q \ U YR ] Q X UW [ UZa ¥ UV S a c Q [ Q U Y[ f Z` c S U^ Q _ YUW Z ] YS f S \ Q T Y[ TQ X R W UYQ [ ¨ ï W \ U f W [ [ Q U V W _ S W [ a P ] W c S \ ` ] ] Q X U ðQ UV S X ^ Y\ S V S ^ Q ` Zc V W _ S \ V Q ^ [ YUñ¥ W [ c YU Y\ W Z\ Q ` [ ZYg S Za UV W U V S V W \ W \ U X Q [ n b Yc c W b ZS l Z` b \ ` YU k ¢ YUV UV S \ S f Q [ \ UX W Y[ U\ W c c S c ¥ UV S \ S U Q T J oc S W Z\ ^ Q ` Zc b S \ ` b \ UW [ UYW ZZa c YTTS X S [ U k

ò s t ¾ s ‰  ? @ º B s u ‹ Ž t s ? @ A B w s @ ? t s @ º  t @ º  A º B s u ? ‹

♠

/ à “         1      -   + -  

♥

» N          5 + 2 2  5 1       6 + 9  - 2

♦

< /   Â }Êó Â |     +-   5  1  -   2

♣

à   ~ |      +-   6 - 5  1  -   2 · w B  A B ™ ô B  ¶ +G  -  -     +-   ’ t ? ? w > Š  á B ? @ º B s u ? ‹

♠

<  

♠

< Í

♠

<  :

♠

Í ; 

♠

< Í   

♥

< /    

♥

/ Í   :

♥

< / Í à   “

♥

< / Í   

♥

/ Í à  

♦

 

♦



♦

 

♦



♦

»

♣

< Í   

♣

< Í   “ »

♣

Í 

♣

< Í ; “

♣

< »

♠

Í  »

♠

Í 

♠

<    :

♠

<

♠

Í  

♥

/ à : 

♥

< / Í : 

♥

<   : 

♥

/ Í à “

♥

< / Í à  

♦

à

♦

  

♦

“

♦

Í  “ :

♦

“ :

♣

< / Í »

♣

< / » 

♣

< / Í

♣

< » 

♣

< / · w B  A B ™ ô >  ; . +  1    7   2   1  ;          G    1   + -(   -    5 6      5 G     7 2   1  , Ÿ +    1 . 9    .       1.   7 1       +-  6 + + -     6 - 5  1  -   2   - 2     ) 6   )   1+ E  1 .    -5  1  -   2 -   + 7          6 +  +  1 -(  - 6 (   5    5 + 2 2  5 1 9  - 2     0   E   ›     “ +-   €   - 2     )    ) ) -    -    -(   ›      +-   € -   ,     6   +  + -( 1. 9    .   0        ( + G  -  -    +-   )  E  +  ‚ 6 +  1+ E  1 .     N         + -( 1  -  G + 2 + - ‘ +  ) - 2  , ;  +  +  -      .   8 1  +- 9 5 6     )   5      6 1  7      ‚ 6 +   )  -      N       - 2   6 1 2  -   +-   1       +-   H  +-   D    E - 0          <    - 2 / + -( 9  1 -( ‘ +  ) - 2  6 + +- N       - 2 0 + 11 -   -   +5 6   )  - . +-   -  G    (  ,

´ q¼ á ½ B Š v B @ w s  š t ? ? w > Š  C t s @ A B C @ ? D  - 0 2     + 5     -  6   1 -   0  E  6   2 7   G  16   + -(  -       H          0 7      9 -  7  -    6 )  - 2 -  7   6 +  -       , N    -     E     +- 6         7    2  7  )    7 6    - 2  ›0 +      6   2 2   1     7 +   €9  - 2 6  6       7  :    1 - 6 ) 5    9       -  + -(     5  5 + 1+  + +             + E  0 +11 5  )  2  ,
-        7    -   7   6 +   -       9     2   7     6 +  +         -(  2           6 )  6 + +  7 +   ,   6   1 -    +-    +  6     7  )   E       0 +- 6  2    9  - 2 1   -   -    6      +    6  6   0 +  6  2 + -(  - .   + -( )      -     1  6 1   + -(    0  + (    -     - -    + -  5   0   -    + - 2   , ƒ 0  G   9 + +  +-     +    -  + 2    5 1 . )    7 7 +  + -     7  )       +-  ) 6 -  7         + -( -   + - 6  9      -    6   G  1 6         -  + -( 7    6    0  +   6 )  -   -  + 2   +)    -  +-    2 )  +- H     .    ) 0    G  6   2    ) 2  1     +     3   E (  ) ) -  1  .   2     + 5  2 + - ²;    6  Ó  y - 0  E +  ³ , )  7    +- 6  - 2         -           ) 6   2 7    6   +-   9 I Ÿ I  , ;   I Ÿ I     2   - 2  -  -  , ( ,     + (      2  9 2 +    + 5 6  + - 9  -   1   - 2     , ;       +- 6  - 2         -     +7 +  + (      2  9     1  6 +  1 -(    , I ›  € I ›  € I › € <

♦

♦

/

♦

Í

♦

à

♦

; I Ÿ I I ›   € õ õ õ õ õ õ õ õ õ 4

♣

õ õ õ õ õ õ õ õ õ · w B  A B ™ ö ‹ I    7       6   6   7    -  6   1 -   6   2 7   G  16   + -(  -      

I    7       6   6   7 -  -   +    0 - + - 2 +  (   ) “ , ;   -    -  +    7 -  + - 6  1  .   ›    - 2   €9 0  + 2 2  - 1  .    ›   - 2       €9  - 2 -  6  6  1  .   ›  : - 2   € , N    - 2  +-     + 2 2  - 1  .    +   - -     2      - 2  + -    1  .     5 G   - 2 5  1 0 + ›+ , ,    -   +  7 6 11.  - -     2 € , < 11     - -    + -     0  + (    2 H  2 2 + + -  1 1.     - 2   -   +-  - +-    -  1       1 2 G  1 6  , ;   6  6  7  - 2  +   7 6 -   + - 7    0  + (    2  6 ) 7 +   +- 6    - 2 + -    -  1       1 2 , ;   -          + -  2 6  + -(       - 2   2 Æ z Ö ÷ Å { | ~ { z ä z Ê }~ À z Ää ~ | }Êó Ë ² 6 )  1    9 ƒ +-  -Ó D + 1 1+  )   “ H 4 + )  -  “ ³ , ;   0  + (    -     - -    + -     + - +  +  1 +„  2   )  11   - 2 ) - 6 ) 5    , ;   -       7  2 0 +   1   (  - 6 ) 5   7 ›          2 € 2   1  0 +  E - 0 -    6 1   , <   6  11 . 9 7      2   1 + -       +- + -(    9    -       7  2 0 +  2   1        -  + -(  1 1   ) 6  + -  7    ›- -    6 ) €  6 +   , ;   -      1  6 1        + 6  6   9 0  +         -  )    2 0 +        6 1  -    2   1  , ;   0  + (    -     - -    + -  5   0   -    - 2             2     2 + -( 1 . 7  )    6  6  - 2   5   E 0   2      +- 6  - 2   , < 7     - 6 ) 5   7         6 (        + - + -(    9    -       - G   (  2  0   2   ( 1 5  1  +) 6 ) ,
7 -  9     8   +)  -  +          2 0 +  -  0 ›  - 2 ) € 0  + (    -     - -    + -  , D   -    -       - G   (  2 9 + +       2 0 +   -  0 2    9     0    -  + -    + ( +-  1   +- + -(    ,  -  +- 6 + -(     6 - - + -(  8  ) 1  7  ) 2 +  (   ) : 9 2 +  (   )    0     6  6  7  )    -  6   1 -   9 ‚ 6   + 2 7   -       + - ‘ +  ) - 2  0 +   D      2   1     , ;   7 + ( 6         5   ) ( + G      5  5 +1 + +  7 )  E + -(      + E  +-  16  +G  , <    - 5     - 9    -      +)     › ‚ 6 +      -  5 1. 9 +- 6  +- + - €    :

♦

+    ( 2        +- 9 »

♦

+   7  +     -   9  - 2  1  ) +  )    1   6  7    ‚ 6    + - ,

61 9 75 47

xx 5 x x 4 1 x 3

1 x x 4 x 4 4

xx 4 x 1 x xx 6 x 2

x 3 4 x 2 xx x 4

100 100 100 100 100 100 100 100 100 100 91 78 5 0

· w B  A B ™ ø ‹ N 8  ) 1 7 -  6   1 -  0  E 6  6  ;       1+ -   + -    2 +  (   )   0    +- 6  2    H 7 +           ) 6   2 7    6   +-    - 2    -     1  .     6 +   1 2 + -(  , < 1 1 G  1 6          -(  2         -    -    - + -(    2   1     ›+ , , D    €  )  7 +   ›7 11 0  2 5 .  9 N  - 2 €9  - 2          6 )  6 + 9 ‘ +  ) - 2  9 +  7 +   ›7 11 0  2 5 .

♠

9

♥

 - 2

♣

€ ,

´ q ì ˜ º  @ t š ˆ Š  ½  Š ‹ t ½  A B Š Š C t ˆ t A u w s B @ w t s t ¸ u  C w ? w t s ˆ ™ B ¿ w s  <    1 G  1 9       E 7    5 + 2 2 + -(  ) -  -    - 5   6 ) )  2 6 +-  7  0 0  2   +      -  + 2   +    G  + 1  5 1 + - 7  )   + - 9  - 2   G + -(   7  )  2      -  5 1   ) 6 -  7  -  1 .  +  2   + 2  0  +  7      +5 1 5 + 2        5     5    -  , D    F      -  5 1   ) 6 -  7  -  1 .  +  F ) + (   5  +  9 -   6   1 1. 9 2   - 2  -  -  -   8  9 5 6  +-      +  1  .    )      0 + 11    - .     5   0 5 G + 6      -       + - E + -(   +       5    5 + 2 +   1    2 . 5 G + 6  9    + )   1 +) +     5   -  8    2  2 , ;    + )   1 +) +    -  +     5  7 +8  2 9    - 5  +) 1 )  -   2 )    6 5  1 . 9          .    )   -     )   0  + (  6     8     2 (  +- +- 2   +  + - ‚ 6  1 + .  (  + -      1   7  +)  9 0  +1  E   + -(   G    11  G    (   +)   1+) + 7  +   5 + 2  , ;  +  + 2      5   -          2 +- 2    5 .  6    11  - 2  +   1 1  ( 6   9 ² 6    11 Ó D  7  1 2  ³9  - 2 )  . 5  +-       2 + -   7 6  6   G    + - 7 6     .  ,

Bidding history

Bidding plan

Coordinator

Evaluation

Simulation

Probability of

making contract

Bidding system

Constraints on deals

Representative deals

(Bayesian planning system)

(rule-based)

(neural net)

· w B  A B ™ ù  <    +    6   7   5 + 2 2 + -(  ) -  -  < 7 1  8 +5 1 0  . 7     )  + -(     + G     2   +  2 7 6 -   + -  1 + . +      6   6        1 G  1    F   7 + -  )  -  1 F     - . ) )  -  9 + +    + 5 1       +- E + -(  - 2    2 6       1   + G          + ( -  2       +5 1   + -  9   1    + -(    -   6    -  1. ( + G  -        + -( , ;         - 6 ) 5   7 F E - 0 1 2 (   6     F ›/  €9 0  +     - 5  6   2    .  - 2 +)  G        6    . 7     .    )   G  16   + - 7     5 + 2  0    H     + ) 1   -   ( +G    6 (    - 2     2 .    +)      1 0    9 0  +1     )     +   +    2 -     E   -    +  5 1  +)     7  )  2    + 1 2  -  1 .  +  , 3  1 0 9 0  0 +1 1 2     +5        +) 1  /  9 0  +  0      6    -  1. + ) 1 )  -  + -( , 3  7   0  + (  + -( 6      +5 1  1    -   +G   9    5 + 2 2   ) 6          +- 0       .    , ;   7 +      + -    2   +  + -  )  E + -(      +    6     11     6 1   5    2 2  7 +- + + - 7    5 + 2 2 + -(  .    ) 9  2     ) + -     5 + 2  1 (  1 +-        - 

 + 6   + - ,
   - 7  6    5             - 1. -  5 + 2 +   11 0  2  7   8  ) 1 9    -   )  .   G    E  2 7      0 +  3 1   E 0 2 9  )  2      -  7   5 + 2 0  +  7         +7 + 2    -   ,
7   +  +   9 - 7 6        6 (   +  -        . ,
-(  -    19  0  G   9      0 + 11 5  0  )   5 + 2       5   0   - ,
-  -       (  )   1+E       9 -  )  1           + -( +   -  8    )  1.  8  -  + G  / 9  - 2   -     1. 5  6   2 H     5 1  ) +               (     )  - .  1   -   + G   ›  +-          1  .        2     6 - E - 0 - €9  - 2   5  5 +1 +   +   1  6 1   + - G    1 1        +5 + 1 + +   0 +1 1 -  )  11 . 5  + - 7    +5 1.  ) 1 8 , ƒ 0  G   9 G   + 6  E + - 2  7                + -(      +1 1   +5 1 9  - 2 G   . 6   7 6 1 , † 7   - 9 +  +  ‚ 6 +   - 6 (   +) 1 .   -  + 2        +5 1 7 +-  1  -             -   +    7       - 2 + 2    5 + 2 9 0 +   6  0   . + -(  5 6     +    1   +G  1  6  +5 +1+ . , D    -   8 +)      +      -  5 1. 0  11 5 . (  -     + -(   )  1 1    7   2   1  9  - 2  6 - - + -(    5 + 2 2 + -(  .    ) - -  2     ) +- +   +   1 1. -     7    ) H 0  0 +11   7         +5 1    7 7 +-  1  -              - 2 + 2    5 + 2   -1   2       Ö ó ~ }Ö Â Ç Â Ê 7     5 + 2 , â â t v @ º ‰  ? @ — t A @ º á B ? @

♠

/    »  p

♠

−

p — ˜

−

♥

: ã

♦

<   “ 

♣

/ Í

1♠

1ΝΤ

2♠

2♦

Ρ

Ρ

2♥

2♠

2ΝΤ

3♦

Ρ

2ΝΤ

Ρ

Ρ

Ρ

2♠ 2ΝΤ

Ρ

Ρ 2ΝΤ

Ρ

Ρ

Ρ

· w B  A B ™ p ú  3 + 2 2 + -(      8  ) 1

;  6  +-     8  ) 1   0 - +- 2 +  (   )    5 G  9      +      7     5 + 2 F I    F +  û   ; üH 7  

♦

+ +  û

♦

9 

♥

9 

♠,

  ; 9 

♦

üH  - 2 7  

♠

+  +  û

♠

9   ; ü , x  + -(      2  7 +- + + -  9 0    - 2     +5  6  7 +        /  9 0  +  0      -  +  2   7 +-      + -(  ) 1 8 + . , ò s t ¾ Š  u   ? t v A C  p ‹ ? w ™ š Š  u t ™ w s B @ w t s ;   Ç }Ë { ÄÂ È ~ Ë } À z Ê }~ À / +  5    2 -    7 1 1 0 + -(  1  )  -    . 5    G   + - , 6       0    G  0  1   -  + G  5 + 2  9 ý  - 2 þ 9  - 2          +      7     )    ÿ  - 2 ÿ
      +G  1. ,
7 0    -        +-         ~ | Ç Ê    6 1 +- 3  +     +  1. 5         -    Æ Â Ç Ê    6 1 + - ÿ
9    - ý ) 6   5    7    5 1   þ 9 +        +G  7  0 1  . 2  G  1  H  7 6       -  1.  +  7        +    6  6 - -        . , ;   )   5 G + 6   8  ) 1 7   +  E +- 2 7  + 6   + - +      + - 0  +        -     +          2 (  )  9  - 2      +   1   1 . -     -  5 1    -   7 )  E + -(   1  ) H  - . 5 + 2        - F    F 0 + 11 - 1 .    6 1 + -   -          +     2    )  E  , + ) 1  2 ) +-   + -   - 5     + )    2 5 .      + -(     7   2   1  9  - 2  G  16   + -( ›0 +       1 7    -  6   1 -   €   0    9 +-       2   1 9 7      -     +-      +      7     G   + 6  5 + 2  , ;     +   + - +    6          -       + - -    +      6    7  ) z ÄÄ     -       +- z ÄÄ         +      +-  Á  |É   2   1H   +  )   -  9 -  6   1 1. 9           -         - -    6  + -  - .       +     , ò s t ¾ Š  u   ? t v A C    ‹ t @ º  A š Š B ž  A ? u  @  A ™ w s w ? @ w C ;           + -( +  6  6  11 . ) 6   )    ) 1  8 +- 3  + 2 (     - +-      9  +-   -  -   2     E  + -     6 -     5  1 + 7         1  .     1 2 0   -    . )  E     + 2   +  + -  ,
7 9  0  G   9 + +    + 5 1      6 )         5 + 2 2 + -(  .    ) 0 +1 1 -  ( + G         1  .     - .   +   9    -     5 1  ) +   +) 1 + 7 +  2  6 7 7 +  + -  1.     -  )  1       )    2  0 +1 1 5   1+   5 1  , + 6   + -  7   +  E +- 2   - )      + 1.   6  0   - -  +   6   5          -  -   0 +1 1    9  - 2        -   +       +    2  7    2 5 + 2  0 +   - G  -  + -  1 )   - + -( H   +  +  7   -        0   - 5 + 2 2 + -(  0   2   1  ) , 6   9    - 9      -  1 .  +  7    5 + 2 2 + -(       0             1  .     5 + 2  0 +1 1 5  2     ) +- +   + +-     5   -   , D    E         7   2   1  6   2   ) 6          9  - 2    6 )          7      +   ‚ 6  1 1.  5  5 1  ,  0 0     6   +G  1. 2     - 2    5 + 2 2 + -(    9      + -( 7  )      9  - 2  - -         - 2   0 +      6 5    7    1 G  -    H     +     . 9       7   2   1  + -  7  0  +  5 + 2 2 + -(  6 1 2   -  +  11.          + 6   + -  2  -    , D  0 +1 1   1 1   +        N    - 2   +-                  -      +  )  2  5 .  -     1  .   0 +1 1   6  +- G 1G      + + - 7     + -      7 ) 6  6  11 . 2 + y +-   6 5     9 -  7      2  6 (     ,

D   -           5   - 7 6 11.  - -     2 9 0    -    +)        8     2 G  16  7       +  5 .  ) 2 + 7 + 2 ) +- +)  8   1 6 1   + - , <  6  6  19 0  0  E 5   E 0   2  9      + -( 0 +     1  G   , N    1   7  7    5 + 2 2 + -(     0 +1 1 5  1  5  11 2 0 +    -         - 2     7   2   1     H +  0     -   6  5   ) 6   2       G    (  G      7    0   7   +-     7 +   )  ) 5    , D   - 5   E + -( 6 G  16   9          0               -  + 2   9 2   - 2 + -( -0          5 + 2 +  )  2  5 . 6    1 G    5 .  -     1  .   ,
-    7 +        9 0    -    6 )      0    G   7      +  5   0   -    2 +7 7    -   1   -   +G   9  - 2       5    -  H   6      + 6   + - +    +- -  )  1 ) +- +)  8 9  - 2    G  16  7    - 2  +     )  8 +) 6 ) 7    G  16   7 +   2  6 (      ,
-       - 2     9 0    G     6 )  2       +  +  2     ) + - +   + H    6 -      +-  . 2   + G   7  )    7           1  .       2     6 - E - 0 - 9          - 7  )  +  7    2 )  )  E     +  , ;  6     G  16  7    - 2  +  -     ) +- + ) 6 ) 9 5 6           0  + (    2  G    (  7    G  16   7 +  2  6 (      9 0         2  6 (     +  0  + (    2 5 .    - 6 ) 5   7   2   1      +    2 0 +  + , ò s t ¾ Š  u   ? t v A C  ´ ‹ š Š B ž  A ? t @º  A @ º B s š B A @ s  A u  @  A ™ w s w ? @ w C B ¸ @  A s  ß @ > w u ;  +  / +   -  1  5    + - 7      G + 6  -  , D  0  -    G    + 6   + -  0     0     -  7    -   1     -        +) 1        9 -  6   11. 9 +  0     0  y6     E  +)  )  E   2   +  + - -    7 + -  1  -      , D    - 2   +  5 . 7 +        + -(     7   2   1  9  - 2    - 7        2   1  8  - 2 + -(    5 + 2 2 + -(     6 -  + 1 0          -    -  8  5 + 2 H     +  +-  9 0   0 +   6  G +  0 +-      -      - 2 9  - 2 6   /    G  1 6       0    7    - 2  , ›3 .    6 )  + - 9   +  +    +5 1 € , <  6  6  19 0    - - 0   E      G    (  G    11   2   1  7     G  16   + -  7        5 + 2 9  + E    -      ( +G       + (         ,
 +  0    -  + -(     /  +  G   . ) 6   )    8  -  + G    1.    - /    - 2  9  + -   +  + - G 1G   -     2 (  -     + - 7   2   1  H  E      6     8  - 2 + 6   0 +  +- )  -  (  5 1 5 6 - 2  9 + 0 + 11  5  5 1 . 5  -        .  (  -      7  0     2   1       F+ - -   F 1 G  1    -      6   -  , /   9   - 2     -   6   1 1. - 1 . )   -     5  ( + - - + -( H 0      -     )  +)   +1.    0     + +    +5 1  9 6  + -( 6  7   )  0  E 9   -    6        9 6   5 1  + -  ) ) - 5 + 2 2 + -(  +  6   + -  9 0  +  0 + 11 5   5 1   )  E    -  + 5 1   G  16   + -  7  )   + -(  1   -   +G  5 + 2  ,

¼ q ’ A t š t ?  u B A C º w @  C @ v A  t ¸ @ º  š Š B ž w s  C t ™ š t s  s @ D  E -       2  1  .  ) -  -  +    +11      1+) +-   .    (  9  - 2   +      + -+  -  )   -    G + 2  )      -   6 (   E     7 6  + 2     2    H     .  5    2 -      -  + -  +   6    -  1 . 5  + -( + ) 1 )  -   2 5 . < - 2    †     - 9  - 2 0 +11 5       2  1   0     , ;   7 6 - 2  )  -   1 + -  6 + + - 0  0  -      6   +      1  . ›    +  11 . 2   1     1  . € +     2 1.  G   1  - -  2     + -( 1      H  6 )  -  8     7 +    -  + 2   1  . +-     + - 2 +G + 2 6  1  6 + - +   0 - 9  - 2 - 1 .    -     2  7  )  1  - 7     0  1   - 2 , < 1  6 (  +  +  5 . - )   -    + ) 1  )       0  +   (   )  0  +  7 6 -   + - + -   + ) +1   0  . 9     -  0  E 5 .   ) 5  11  - 2 3   1+ -        0 -      6    -      +    1     7    + 5 1  7        0 -  - 2 + -(  ²3   1+-   Ó   ) 5  1 1  : H   )  11   ³ +-   +   .  7       + + - 9     -     -  1 ( 6   F  6 + F +      7  F  0 - +  1  - 2 F , D  0 +11      +   6    1G     G + 2 + -(  - + 116      +G   8  ) 1 7  0 0   +- E 0  ) + (    2        ) 5  11  3   1 +-   )    1 ( .  3  + 2 (  H  E     + -(     +) 1      +5 1  9 0       +  6    1G   + - +  +  11 .  2 6 5 1   2 6 ) ) . 2   1     1  . , D  5  ( +- 5 . -  + -(     1  . +- -   6 +   - - 1. +- 7 1 6  -   1  . +-  -     +-    7 1 1 0 + -( 0  .   À Ê | }Â Ç  6 + O   - 5  6   2    -  -   . 7  6 + ¡ 9      1  . + - 6 +  ¡   -   + 7  2 +   -  + - 6 6  1. 7  ) -    - 2   -     , ›;  +  +-  16 2   1  + -(    1  2      + + - 9 + -   -  + -  1 1.     0 +   € ,  }Ç Ö z | È Ç     2  7  ) 6 + O   - 5  2 +     2  2 -     7  ) 6 + ¡ 9 + 7    - 2 +  6 -  5 1  7 11 0  6 + ,  à  Ç     2  7  )      6 )  6 +   - 5  6   2   6 7 7    2  7  ) 6 +  O 9 + 7    - 2 +  6 -  5 1  7 1 1 0  6 +  , ;  +  E  9  -   +  9  6 7 7   - 2 2 +     2    - 5  G + 0  2   F   6     F 0  +     + -( 1   6 +  1+-  7 1  .   -  +    F  2 6   F  F -  6 )  F ,

♠

  » :

♥

< / — —

♠

  ‰ á

♠

/ à

♥

 » :  ‰ á

♥

à    â â

♠

< Í   “

♥

Í  “ · w B  A B ™ p p ‹ N 8  ) 1  + -( 1    6 + 2 +    +5 6  + -  7   2    - 2 ƒ       -  + 2   - 0    2 +    +5 6  + - +-  2     0 - +-    1 7    17 7 2 +  (   )   , ;     +   1 +-  7 1  . + - 0  +  6    -  6 )    0  -   +    2 6 ) ) . 9 0  +1   2 6  + -( 7 6    + E  9  0  -   +      - 2 9  0 2 +     2  7  ) D    9  - 2 -  2 +     2 7  ) N    H      +   1   -     9 +- 0  +  6   1       1  2  0 +   N     - 2   (  + -  +      +)  9   2 6    0   + E  , D +   6  E - 0 + -(     +  6   + - +-         6 +   9 +  +  5 G + 6  1. +)   + 5 1    . 0  +  7     0 1  -  +     F 5      F -  ,     1            6       G   5   2 6   2  - 2  -  6 )  2 +-  ( +G  -  2    7     7 +   1  - 9   +    - 5  0  +   -  

<consume(entry(n)),

produce(entry(s)),

consume(entry(n)),

produce(entry(s)),

produce(discard(w)),

produce(trick),

produce(discard(w)),

produce(discard(e)),

produce(trick))>

 0 1 E     ƒ      6 + -     + (        9      +   1  -      2 6           + E  9  0  -   +    2 6 ) ) . 9  - 2  2 +     2 7  ) 2 6 ) ) . 9 0  + 1  -  6 ) + -(       -   +      - 2 , ›;         1   1 .     1  -    2 6          +  E    0  1 19 0  +    -  6 )  7  0    -   +     - 2 H 0  0 + 1 1 + ( -        € , ;     ‚ 6  -  + -( 7    6     2 6   + -  - 2  -  6 )  + -     0 +1 1 5  

<produce(entry(n)),

consume(entry(s)),

produce(entry(n)),

consume(entry(s)),

produce(discard(n)),

produce(trick)>

;   +-  0  0  -   )  E  0 +      8  ) 1 +      + +  - 0   + 5 1  7 + - 2  1  - 0  +  0 + 11  2 6     G  -   + E  7  )     0  6 +  9 5 . y6   F)     + -( 6 F     0    +  1 1  -  -     + -  + 1      F  2 6   F + - -  )        F -  6 )  F + -        H 6  5   +   1  +) +      7 +- 2 + -( 1  -  + -   +  0  . 0 + 11 -  )  11. 5  ) 6            -   7  ) + -(   + -( 1       G   1  . + -  11  6 +   +) 6 1  -  6  1. ,