Parallel operations Episode 8 0 Parallel conjunction and disjunction Free versus strict games The law of the excluded middle for parallel disjunction.

Parallel operations Episode 8 0 Parallel conjunction and disjunction Free versus strict games The law of the excluded middle for parallel disjunction Resource-consciousness Differences with linear logic Parallel quantifiers DeMorgan’s laws for parallel operations Evolution trees and evolution sequences

Parallel conjunction  and disjunction  8.1 A  B and A  B are simultaneous (parallel) plays of A and B.  ChessCheckers ⊤ wins in A  B iff ⊤ wins in both A and B  ⊤ wins in A  B iff ⊤ wins in A or B or both No choice is made, but rather the play proceeds on two “boards”.

Which game is the easiest for the machine to win? 8.2 Comparing, by easiness to win, the four games A  B, A  B, A ⊓ B, A ⊔ B:  1 (easiest) 2 3 4 (hardest) ⊔ ⊓ 

Free versus strict games 8.3 Imagine you are playing over the Internet Chess with Xiaoping from China, and Checkers with Rajeev from India. The two adversaries form your environment. Yet they do not even know about each other’s existence, so there is no communication or coordination between them.  YOU ENVIRONMENT RajeevXiaoping In the initial position, it is certainly your move as you are white on both boards. We say that a game is strict iff, in every position, at most one player has legal moves. Not-necessarily-strict games are said to be free. Both Chess and Checkers are strict games, and so are their ⊓,⊔ -combinations. On the other hand, the games Chess  Checkers and Chess  Checkers, as well as most tasks performed in the real life by computers or humans are properly free.

Free versus strict games 8.3 We say that a game is strict iff, in every position, at most one player has legal moves. Not-necessarily-strict games are said to be free. Both Chess and Checkers are strict games, and so are their ⊓,⊔ -combinations. On the other hand, the games Chess  Checkers and Chess  Checkers, as well as most tasks performed in the real life by computers or humans are properly free. Imagine you are playing over the Internet Chess with Xiaoping from China, and Checkers with Rajeev from India. The two adversaries form your environment. Yet they do not even know about each other’s existence, so there is no communication or coordination between them.  YOU ENVIRONMENT RajeevXiaoping In the initial position, it is certainly your move as you are white on both boards. But once you make your first move --- say, on the left board --- the picture changes. The next move could be either Xiaoping’s reply,or your opening move against Rajeev.Both you and Environment have legal moves.

Chess  Chess : a really easy game 8.4  The copycat (mimicking) strategy wins the game! Both you and your adversary have legal moves in this position, but it is a good idea to wait till the adversary moves (otherwise he loses because, in Chess, the player who fails to make a move on his turn is considered to have lost).

Chess  Chess : a really easy game 8.4  The copycat (mimicking) strategy wins the game! Now only you have legal moves and you lose if don’t move. Move on the left board by mimicking the adversary’s move on the other board.

Chess  Chess : a really easy game 8.4  The copycat (mimicking) strategy wins the game! Again both you and your adversary have legal moves. Wait till the adversary moves (otherwise he loses).

Chess  Chess : a really easy game 8.4  The copycat (mimicking) strategy wins the game! Copy the adversary’s move again, and so on.

Chess  Chess : a really easy game 8.4  The copycat (mimicking) strategy wins the game! Genarally, the principle A  A, unlike A ⊔  A, is valid in computability logic. This, however, should not suggest that all classical tautologies retain validity. See next slide.

Resource-counsciusness 8.5 Classical logic is resource-blind: it sees no difference between, say, A and A  A. Therefore, the formula  A  (A  A) is a tautology as is  A  A. Computability logic, on the other hand, is resource-conscious, and in it A is by no means the same as A  A or A  A. And the principle  A  (A  A), unlike  A  A, is not valid. Why does the copycat strategy fail for the following three-board game?  #1#2#3

Resource-counsciusness 8.5 Classical logic is resource-blind: it sees no difference between, say, A and A  A. Therefore, the formula  A  (A  A) is a tautology as is  A  A. Computability logic, on the other hand, is resource-conscious, and in it A is by no means the same as A  A or A  A. And the principle  A  (A  A), unlike  A  A, is not valid. Why does the copycat strategy fail for the following three-board game?  It is impossible to synchronize #1 with both #2 and #3. Even though originally #2 and #3 are the same game Chess, they may evolve in different ways and thus generate different runs, one won and one lost. #1#2#3

Differences with linear logic 8.6  #1#2#3#4#5#6#7#8 The above game can also be easily won using copycat, as long as the right pairs of boards are chosen for mutual synchronization (matching). A failed matching decision:  #1#2#3#4#5#6#7#8 ⊤⊤⊥⊥⊤⊤⊥⊥ ⊤⊥⊥⊤⊥⊥⊥ A successful matching decision:  #1#2#3#4#5#6#7#8 ( (  P  P)  (  P  P) )  ( (P  P)  (P  P) ) is an example of a formula valid in computability logic but not provable in linear logic or affine logic.

Parallel quantifiers 8.7 Parallel universal quantifier  :  xA(x) = A(0)  A(1)  A(2)  A(3) ... Parallel existential quantifier  :  xA(x) = A(0)  A(1)  A(2)  A(3) ... Fact 8.1. When applied to elementary games (=predicates), the parallel operations again generate elementary games, and coincide with the corresponding classical operations. The parallel operations are thus conservative generalizations of classical operations from predicates to all games. The same is the case for negation .

Formal definitions 8.8 Definition 8.2. (a) The game A 0  A 1 is defined by: (b) The game A 0  A 1 is defined by: (c) The game  xA(x) is defined by: (d) The game  xA(x) is defined by:  Lr e A 0  A 1 iff every move of  starts with 0. or 1. and, for both i  {0,1},  i.  Lr e A i. Wn e A 0  A 1  = ⊤ iff Wn e A 0  0.  =Wn A 1  1.  = ⊤. Below and later we use the notation  . It means the result of deleting from run  all moves except those that start with string , and then further deleting the prefix  in the remaining moves. Example:  1.0, 2.1, 1.1.2  1. =  0, 1.2 .  Lr e A 0  A 1 iff every move of  starts with 0. or 1. and, for both i  {0,1},  i.  Lr e A i. Wn e A 0  A 1  = ⊥ iff Wn e A 0  0.  =Wn A 1  1.  = ⊥.  Lr e  xA(x) iff every move of  starts with c. for some c  {0,1,2,...} and, for each such c,  c.  Lr e A(c). Wn e  xA(x)  = ⊤ iff, for all constants c, Wn e A(c)  c.  = ⊤.  Lr e  xA(x) iff every move of  starts with c. for some c  {0,1,2,...} and, for each such c,  c.  Lr e A(c). Wn e  xA(x)  = ⊥ iff, for all constants c, Wn e A(c)  c.  = ⊥.

DeMorgan’s laws for parallel operations 8.9 Thus, as seen from Definition 8.2, a player makes move  in the ith component of a parallel combination of games by prefixing  with “i.”. Any other moves are considered illegal. Notice also the perfect symmetry between  and ,  and , ⊤ and ⊥. Therefore, just as for the choice operations, DeMorgan’s laws hold:  (A  B) =  A   B A  B =  (  A   B)  (A  B) =  A   B A  B =  (  A   B)   xA =  x  A  xA =   x  A   xA =  x  A  xA =   x  A

Game trees for parallel combinations 8.10.a Such trees tend to be very big. As an example, let us see the game trees for A  B and A  B, where A = p ⊔ q and B = r ⊓ (s ⊔ t) (p,q,r,s,t  { ⊤,⊥ }) A pq ⊥ B r ⊥ ⊤ st 0 1 0 1 0 1 ABAB ⊥⊤⊥⊤ 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p⊤p⊤q⊤q⊤⊥r⊥r ⊥⊥⊥⊥ prprp⊥p⊥ pspsptpt qrqrq⊥q⊥ qsqsqtqt prprqrqrp⊥p⊥q⊥q⊥⊥s⊥s⊥t⊥t pspsptptqsqsqtqtpspsqsqsptptqtqt

Game trees for parallel combinations 8.10.a Such trees tend to be very big. As an example, let us see the game trees for A  B and A  B, where A = p ⊔ q and B = r ⊓ (s ⊔ t) (p,q,r,s,t  { ⊤,⊥ }) A pq ⊥ B r ⊥ ⊤ st 0 1 0 1 0 1 ABAB ⊥⊤⊥⊤ 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 pq ⊥r⊥r ⊥⊥⊥⊥ prprp⊥p⊥ pspsptpt qrqrq⊥q⊥ qsqsqtqt prprqrqrp⊥p⊥q⊥q⊥⊥s⊥s⊥t⊥t pspsptptqsqsqtqtpspsqsqsptptqtqt

Game trees for parallel combinations 8.10.a Such trees tend to be very big. As an example, let us see the game trees for A  B and A  B, where A = p ⊔ q and B = r ⊓ (s ⊔ t) (p,q,r,s,t  { ⊤,⊥ }) A pq ⊥ B r ⊥ ⊤ st 0 1 0 1 0 1 ABAB ⊥⊤⊥⊤ 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p⊤p⊤q⊤q⊤⊥r⊥r ⊥⊥⊥⊥ prprp⊥p⊥ pspsptpt qrqrq⊥q⊥ qsqsqtqt prprqrqrp⊥p⊥q⊥q⊥⊥s⊥s⊥t⊥t pspsptptqsqsqtqtpspsqsqsptptqtqt

Game trees for parallel combinations 8.10.b Such trees tend to be very big. As an example, let us see the game trees for A  B and A  B, where A = p ⊔ q and B = r ⊓ (s ⊔ t) (p,q,r,s,t  { ⊤,⊥ }) A pq ⊥ B r ⊥ ⊤ st 0 1 0 1 0 1 ABAB ⊥⊤⊥⊤ 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p⊤p⊤q⊤q⊤⊥r⊥r ⊥⊥⊥⊥ prprp⊥p⊥ pspsptpt qrqrq⊥q⊥ qsqsqtqt prprqrqrp⊥p⊥q⊥q⊥⊥s⊥s⊥t⊥t pspsptptqsqsqtqtpspsqsqsptptqtqt

Game trees for parallel combinations 8.10.b Such trees tend to be very big. As an example, let us see the game trees for A  B and A  B, where A = p ⊔ q and B = r ⊓ (s ⊔ t) (p,q,r,s,t  { ⊤,⊥ }) A pq B r st 0 1 0 1 0 1 ABAB ⊥⊤⊥⊤ 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p⊤p⊤q⊤q⊤⊥r⊥r ⊥⊥⊥⊥ prprp⊥p⊥ pspsptpt qrqrq⊥q⊥ qsqsqtqt prprqrqrp⊥p⊥q⊥q⊥⊥s⊥s⊥t⊥t pspsptptqsqsqtqtpspsqsqsptptqtqt ⊥⊤ ⊥

Game trees for parallel combinations 8.10.b Such trees tend to be very big. As an example, let us see the game trees for A  B and A  B, where A = p ⊔ q and B = r ⊓ (s ⊔ t) (p,q,r,s,t  { ⊤,⊥ }) A pq B r st 0 1 0 1 0 1 ABAB ⊥⊤⊥⊤ 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p⊤p⊤q⊤q⊤ r ⊥⊥⊥⊥ prpr p pspsptpt qrqr q qsqsqtqt prprqrqr p q s t pspsptptqsqsqtqtpspsqsqsptptqtqt ⊥⊤ ⊥

Evolution trees 8.11 ⊥ r ⊥ ⊤ st 0 1 0 1 0 1 ⊥⊤⊥⊤ 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p⊤p⊤q⊤q⊤⊥r⊥r ⊥⊥⊥⊥ prprp⊥p⊥ pspsptpt qrqrq⊥q⊥ qsqsqtqt prprqrqrp⊥p⊥q⊥q⊥⊥s⊥s⊥t⊥t pspsptptqsqsqtqtpspsqsqsptptqtqt Drawing evolution trees may be another helpful visualization method. The evolution tree for a game G is obtained from the game tree for G through replacing in it every node (position)  by the game  G to which G has “evolved” in position . pq

Evolution trees 8.11 p ⊥ r ⊥ ⊤ st 0 1 0 1 0 1 ⊥⊤⊥⊤ 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p⊤p⊤q⊤q⊤⊥r⊥r ⊥⊥⊥⊥ prprp⊥p⊥ pspsptpt qrqrq⊥q⊥ qsqsqtqt prprqrqrp⊥p⊥q⊥q⊥⊥s⊥s⊥t⊥t pspsptptqsqsqtqtpspsqsqsptptqtqt Drawing evolution trees may be another helpful visualization method. The evolution tree for a game G is obtained from the game tree for G through replacing in it every node (position)  by the game  G to which G has “evolved” in position . q

Evolution trees 8.11 p r ⊥ ⊤ st 0 1 0 1 0 1 ⊥⊤⊥⊤ 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p⊤p⊤q⊤q⊤⊥r⊥r ⊥⊥⊥⊥ prprp⊥p⊥ pspsptpt qrqrq⊥q⊥ qsqsqtqt prprqrqrp⊥p⊥q⊥q⊥⊥s⊥s⊥t⊥t pspsptptqsqsqtqtpspsqsqsptptqtqt Drawing evolution trees may be another helpful visualization method. The evolution tree for a game G is obtained from the game tree for G through replacing in it every node (position)  by the game  G to which G has “evolved” in position . q p ⊔ q

Evolution trees 8.11 p ⊤ 0 1 0 1 0 1 ⊥⊤⊥⊤ 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p⊤p⊤q⊤q⊤⊥r⊥r ⊥⊥⊥⊥ prprp⊥p⊥ pspsptpt qrqrq⊥q⊥ qsqsqtqt prprqrqrp⊥p⊥q⊥q⊥⊥s⊥s⊥t⊥t pspsptptqsqsqtqtpspsqsqsptptqtqt Drawing evolution trees may be another helpful visualization method. The evolution tree for a game G is obtained from the game tree for G through replacing in it every node (position)  by the game  G to which G has “evolved” in position . q p ⊔ q st s ⊔t r

Evolution trees 8.11 p 0 1 0 1 0 1 ⊥⊤⊥⊤ 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p⊤p⊤q⊤q⊤⊥r⊥r ⊥⊥⊥⊥ prprp⊥p⊥ pspsptpt qrqrq⊥q⊥ qsqsqtqt prprqrqrp⊥p⊥q⊥q⊥⊥s⊥s⊥t⊥t pspsptptqsqsqtqtpspsqsqsptptqtqt Drawing evolution trees may be another helpful visualization method. The evolution tree for a game G is obtained from the game tree for G through replacing in it every node (position)  by the game  G to which G has “evolved” in position . q p ⊔ q st s ⊔ t r ⊓ (s ⊔ t) r

Evolution trees 8.11 p 0 1 0 1 0 1 (p ⊔ q)  ( r ⊓ (s ⊔ t) ) 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p⊤p⊤q⊤q⊤⊥r⊥r ⊥⊥⊥⊥ prprp⊥p⊥ pspsptpt qrqrq⊥q⊥ qsqsqtqt prprqrqrp⊥p⊥q⊥q⊥⊥s⊥s⊥t⊥t pspsptptqsqsqtqtpspsqsqsptptqtqt Drawing evolution trees may be another helpful visualization method. The evolution tree for a game G is obtained from the game tree for G through replacing in it every node (position)  by the game  G to which G has “evolved” in position . q p ⊔ q st s ⊔ t r ⊓ (s ⊔ t) r

Evolution trees 8.11 p 0 1 0 1 0 1 (p ⊔ q)  ( r ⊓ (s ⊔ t) ) 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 Drawing evolution trees may be another helpful visualization method. The evolution tree for a game G is obtained from the game tree for G through replacing in it every node (position)  by the game  G to which G has “evolved” in position . q p ⊔ q st s ⊔ t r ⊓ (s ⊔ t) r p  ( r ⊓ (s ⊔ t) ) q  ( r ⊓ (s ⊔ t) ) (p ⊔ q)  r (p ⊔ q)  (s ⊔ t) p  r p  (s ⊔ t) qr qr q  (s ⊔ t) pr pr qr qr p  (s ⊔ t) q  (s ⊔ t) (p ⊔ q)  s (p ⊔ q)  t ps ps pt pt qs qs qr qr ps ps pt pt qs qs qt qt ps ps qs qs pt pt qt qt Similarly for  instead of 

Evolution sequences 8.12 (p ⊔ q)  ( r ⊓ (s ⊔ t) ) 0.0 0.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 1.0 1.1 0.0 0.1 1.0 1.11.0 1.10.0 0.10.0 0.1 1.00.01.1 p  ( r ⊓ (s ⊔ t) ) q  ( r ⊓ (s ⊔ t) ) (p ⊔ q)  r (p ⊔ q)  (s ⊔ t) p  r p  (s ⊔ t) qr qr q  (s ⊔ t) pr pr qr qr p  (s ⊔ t) q  (s ⊔ t) (p ⊔ q)  s (p ⊔ q)  t ps ps pt pt qs qs qr qr ps ps pt pt qs qs qt qt ps ps qs qs pt pt qt qt Each legal run induces an evolution sequence --- the sequence of the games from the corresponding branch of the evolution tree.

Evolution sequences 8.12 (p ⊔ q)  ( r ⊓ (s ⊔ t) ) 0.1 1.1 1.0 q  ( r ⊓ (s ⊔ t) ) q  (s ⊔ t) qs qs Each legal run induces an evolution sequence --- the sequence of the games from the corresponding branch of the evolution tree.

Evolution sequences 8.12 (p ⊔ q)  ( r ⊓ (s ⊔ t) ) q  ( r ⊓ (s ⊔ t) ) q  (s ⊔ t) qs qs Each legal run induces an evolution sequence --- the sequence of the games from the corresponding branch of the evolution tree.

Evolution sequences 8.12 Each legal run induces an evolution sequence --- the sequence of the games from the corresponding branch of the evolution tree. Let us see the evolution sequence induced by the run  1.7, 0.7, 0.49, 1.49  for the game ⊔ x ⊓ y(y  x 2 )  ⊓ x ⊔ y(y=x 2 ). 0. Position Game Move ⊔ x ⊓ y(y  x 2 )  ⊓ x ⊔ y(y=x 2 )  4. 49  7 2  49=7 2  1.7, 0.7, 0.49, 1.49  1.7 1. ⊔ x ⊓ y(y  x 2 )  ⊔ y(y=7 2 )  1.7  0.7 2. ⊓ y(y  7 2 )  ⊔ y(y=7 2 )  1.7, 0.7  0.49 3. 49  7 2  ⊔ y(y=7 2 )  1.7, 0.7, 0.49  1.49 The run hits ⊤, so the machine wins.

Evolution sequences for parallel quantification 8.13 In a similar way can visualize  - and  -games as infinite  - and  -combinations. Position Game  x (  Odd(x) ⊔ Odd(x) )   x  6 (  Odd(x) ⊔ Odd(x) )  Odd(7)   x  8 (  Odd(x) ⊔ Odd(x) )  7.1  Who is the winner? Machine Move Game  x (  Odd(x) ⊔ Odd(x) ) 0.0  Odd(0)   x  1 (  Odd(x) ⊔ Odd(x) ) Who is the winner in this infinite run?Machine 1.1  Odd(0)  Odd(1)   x  2 (  Odd(x) ⊔ Odd(x) ) 2.0  Odd(0)  Odd(1)   Odd(2)   x  3 (  Odd(x) ⊔ Odd(x) ) 3.1  Odd(0)  Odd(1)   Odd(2)  Odd(3)  x  4 (  Odd(x) ⊔ Odd(x) ) 4.0... Are there any (legal) finite runs of this game won by the machine?No

Parallel operations Episode 8 0 Parallel conjunction and disjunction Free versus strict games The law of the excluded middle for parallel disjunction.

Similar presentations

Presentation on theme: "Parallel operations Episode 8 0 Parallel conjunction and disjunction Free versus strict games The law of the excluded middle for parallel disjunction."— Presentation transcript:

Similar presentations

About project

Feedback

Log in

Auth with social network:

Parallel operations Episode 8 0 Parallel conjunction and disjunction Free versus strict games The law of the excluded middle for parallel disjunction.

Similar presentations

Presentation on theme: "Parallel operations Episode 8 0 Parallel conjunction and disjunction Free versus strict games The law of the excluded middle for parallel disjunction."— Presentation transcript:

Similar presentations

About project

Feedback