Newer
Older
"# GAMES OR ADVERSARIAL SEARCH\n",
SnShine
a validé
"\n",
"This notebook serves as supporting material for topics covered in **Chapter 5 - Adversarial Search** in the book *Artificial Intelligence: A Modern Approach.* This notebook uses implementations from [games.py](https://github.com/aimacode/aima-python/blob/master/games.py) module. Let's import required classes, methods, global variables etc., from games module."
{
"cell_type": "markdown",
"metadata": {},
"source": [
"# Contents\n",
"\n",
"* Game Representation\n",
"* Game Examples\n",
" * Tic-Tac-Toe\n",
" * Figure 5.2 Game\n",
"* Min-Max\n",
"* Players\n",
"* Let's Play Some Games!"
]
},
SnShine
a validé
"cell_type": "code",
"execution_count": 1,
"metadata": {
SnShine
a validé
},
"outputs": [],
"metadata": {},
"source": [
"# GAME REPRESENTATION\n",
"\n",
"To represent games we make use of the `Game` class, which we can subclass and override its functions to represent our own games. A helper tool is the namedtuple `GameState`, which in some cases can come in handy, especially when our game needs us to remember a board (like chess)."
]
},
{
"cell_type": "markdown",
"metadata": {},
SnShine
a validé
"## `GameState` namedtuple\n",
"`GameState` is a [namedtuple](https://docs.python.org/3.5/library/collections.html#collections.namedtuple) which represents the current state of a game. It is used to help represent games whose states can't be easily represented normally, or for games that require memory of a board, like Tic-Tac-Toe.\n",
"\n",
"`Gamestate` is defined as follows:\n",
"\n",
"`GameState = namedtuple('GameState', 'to_move, utility, board, moves')`\n",
"\n",
"* `to_move`: It represents whose turn it is to move next.\n",
"\n",
"* `utility`: It stores the utility of the game state. Storing this utility is a good idea, because, when you do a Minimax Search or an Alphabeta Search, you generate many recursive calls, which travel all the way down to the terminal states. When these recursive calls go back up to the original callee, we have calculated utilities for many game states. We store these utilities in their respective `GameState`s to avoid calculating them all over again.\n",
"\n",
"* `board`: A dict that stores the board of the game.\n",
"\n",
"* `moves`: It stores the list of legal moves possible from the current position."
SnShine
a validé
"metadata": {
SnShine
a validé
},
SnShine
a validé
"## `Game` class\n",
"\n",
"Let's have a look at the class `Game` in our module. We see that it has functions, namely `actions`, `result`, `utility`, `terminal_test`, `to_move` and `display`.\n",
SnShine
a validé
"\n",
"We see that these functions have not actually been implemented. This class is just a template class; we are supposed to create the class for our game, by inheriting this `Game` class and implementing all the methods mentioned in `Game`."
{
"cell_type": "code",
SnShine
a validé
"execution_count": 2,
SnShine
a validé
"%psource Game"
"Now let's get into details of all the methods in our `Game` class. You have to implement these methods when you create new classes that would represent your game.\n",
"\n",
"* `actions(self, state)`: Given a game state, this method generates all the legal actions possible from this state, as a list or a generator. Returning a generator rather than a list has the advantage that it saves space and you can still operate on it as a list.\n",
SnShine
a validé
"\n",
"\n",
"* `result(self, state, move)`: Given a game state and a move, this method returns the game state that you get by making that move on this game state.\n",
SnShine
a validé
"\n",
"\n",
"* `utility(self, state, player)`: Given a terminal game state and a player, this method returns the utility for that player in the given terminal game state. While implementing this method assume that the game state is a terminal game state. The logic in this module is such that this method will be called only on terminal game states.\n",
SnShine
a validé
"\n",
"\n",
"* `terminal_test(self, state)`: Given a game state, this method should return `True` if this game state is a terminal state, and `False` otherwise.\n",
SnShine
a validé
"\n",
"\n",
"* `to_move(self, state)`: Given a game state, this method returns the player who is to play next. This information is typically stored in the game state, so all this method does is extract this information and return it.\n",
SnShine
a validé
"\n",
"\n",
"* `display(self, state)`: This method prints/displays the current state of the game."
]
},
{
"cell_type": "markdown",
"# GAME EXAMPLES\n",
"\n",
"Below we give some examples for games you can create and experiment on."
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"## Tic-Tac-Toe\n",
"\n",
"Take a look at the class `TicTacToe`. All the methods mentioned in the class `Game` have been implemented here."
SnShine
a validé
"execution_count": 3,
SnShine
a validé
"%psource TicTacToe"
]
},
{
"cell_type": "markdown",
"The class `TicTacToe` has been inherited from the class `Game`. As mentioned earlier, you really want to do this. Catching bugs and errors becomes a whole lot easier.\n",
SnShine
a validé
"\n",
"Additional methods in TicTacToe:\n",
"\n",
"* `__init__(self, h=3, v=3, k=3)` : When you create a class inherited from the `Game` class (class `TicTacToe` in our case), you'll have to create an object of this inherited class to initialize the game. This initialization might require some additional information which would be passed to `__init__` as variables. For the case of our `TicTacToe` game, this additional information would be the number of rows `h`, number of columns `v` and how many consecutive X's or O's are needed in a row, column or diagonal for a win `k`. Also, the initial game state has to be defined here in `__init__`.\n",
"\n",
"\n",
"* `compute_utility(self, board, move, player)` : A method to calculate the utility of TicTacToe game. If 'X' wins with this move, this method returns 1; if 'O' wins return -1; else return 0.\n",
"\n",
"\n",
"* `k_in_row(self, board, move, player, delta_x_y)` : This method returns `True` if there is a line formed on TicTacToe board with the latest move else `False.`"
]
},
{
"cell_type": "markdown",
"### TicTacToe GameState\n",
SnShine
a validé
"\n",
"Now, before we start implementing our `TicTacToe` game, we need to decide how we will be representing our game state. Typically, a game state will give you all the current information about the game at any point in time. When you are given a game state, you should be able to tell whose turn it is next, how the game will look like on a real-life board (if it has one) etc. A game state need not include the history of the game. If you can play the game further given a game state, you game state representation is acceptable. While we might like to include all kinds of information in our game state, we wouldn't want to put too much information into it. Modifying this game state to generate a new one would be a real pain then.\n",
"\n",
"Now, as for our `TicTacToe` game state, would storing only the positions of all the X's and O's be sufficient to represent all the game information at that point in time? Well, does it tell us whose turn it is next? Looking at the 'X's and O's on the board and counting them should tell us that. But that would mean extra computing. To avoid this, we will also store whose move it is next in the game state.\n",
"\n",
"Think about what we've done here. We have reduced extra computation by storing additional information in a game state. Now, this information might not be absolutely essential to tell us about the state of the game, but it does save us additional computation time. We'll do more of this later on."
]
},
{
"cell_type": "markdown",
"To store game states will will use the `GameState` namedtuple.\n",
"* `to_move`: A string of a single character, either 'X' or 'O'.\n",
SnShine
a validé
"\n",
"* `utility`: 1 for win, -1 for loss, 0 otherwise.\n",
SnShine
a validé
"\n",
"* `board`: All the positions of X's and O's on the board.\n",
SnShine
a validé
"\n",
"* `moves`: All the possible moves from the current state. Note here, that storing the moves as a list, as it is done here, increases the space complexity of Minimax Search from `O(m)` to `O(bm)`. Refer to Sec. 5.2.1 of the book."
]
},
{
"cell_type": "markdown",
"### Representing a move in TicTacToe game\n",
"\n",
"Now that we have decided how our game state will be represented, it's time to decide how our move will be represented. Becomes easy to use this move to modify a current game state to generate a new one.\n",
"\n",
"For our `TicTacToe` game, we'll just represent a move by a tuple, where the first and the second elements of the tuple will represent the row and column, respectively, where the next move is to be made. Whether to make an 'X' or an 'O' will be decided by the `to_move` in the `GameState` namedtuple."
]
},
{
"cell_type": "markdown",
SnShine
a validé
"\n",
"For a more trivial example we will represent the game in **Figure 5.2** of the book.\n",
SnShine
a validé
"\n",
"<img src=\"images/fig_5_2.png\" width=\"75%\">\n",
SnShine
a validé
"\n",
"The states are represented wih capital letters inside the triangles (eg. \"A\") while moves are the labels on the edges between states (eg. \"a1\"). Terminal nodes carry utility values. Note that the terminal nodes are named in this example 'B1', 'B2' and 'B2' for the nodes below 'B', and so forth.\n",
SnShine
a validé
"\n",
"We will model the moves, utilities and initial state like this:"
]
},
{
"cell_type": "code",
"metadata": {
"collapsed": true
},
"outputs": [],
"source": [
"moves = dict(A=dict(a1='B', a2='C', a3='D'),\n",
" B=dict(b1='B1', b2='B2', b3='B3'),\n",
" C=dict(c1='C1', c2='C2', c3='C3'),\n",
" D=dict(d1='D1', d2='D2', d3='D3'))\n",
"utils = dict(B1=3, B2=12, B3=8, C1=2, C2=4, C3=6, D1=14, D2=5, D3=2)\n",
"initial = 'A'"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"In `moves`, we have a nested dictionary system. The outer's dictionary has keys as the states and values the possible moves from that state (as a dictionary). The inner dictionary of moves has keys the move names and values the next state after the move is complete.\n",
"Below is an example that showcases `moves`. We want the next state after move 'a1' from 'A', which is 'B'. A quick glance at the above image confirms that this is indeed the case."
]
},
{
"cell_type": "code",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"B\n"
]
}
],
"source": [
"print(moves['A']['a1'])"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"We will now take a look at the functions we need to implement. First we need to create an object of the `Fig52Game` class."
]
},
{
"cell_type": "code",
"metadata": {
"collapsed": true
},
"outputs": [],
"source": [
"fig52 = Fig52Game()"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"`actions`: Returns the list of moves one can make from a given state."
]
},
{
"cell_type": "code",
"metadata": {
"collapsed": true
},
"outputs": [],
"source": [
"%psource Fig52Game.actions"
]
},
{
"cell_type": "code",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"['b1', 'b3', 'b2']\n"
]
}
],
"source": [
"print(fig52.actions('B'))"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"`result`: Returns the next state after we make a specific move."
]
},
{
"cell_type": "code",
"metadata": {
"collapsed": true
},
"outputs": [],
"source": [
"%psource Fig52Game.result"
]
},
{
"cell_type": "code",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"B\n"
]
}
],
"source": [
"print(fig52.result('A', 'a1'))"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"`utility`: Returns the value of the terminal state for a player ('MAX' and 'MIN')."
]
},
{
"cell_type": "code",
"metadata": {
"collapsed": true
},
"outputs": [],
"source": [
"%psource Fig52Game.utility"
]
},
{
"cell_type": "code",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"3\n"
]
}
],
"source": [
"print(fig52.utility('B1', 'MAX'))"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"`terminal_test`: Returns `True` if the given state is a terminal state, `False` otherwise."
]
},
{
"cell_type": "code",
"%psource Fig52Game.terminal_test"
]
},
{
"cell_type": "code",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"True\n"
]
}
],
"source": [
"print(fig52.terminal_test('C3'))"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"`to_move`: Return the player who will move in this state."
]
},
{
"cell_type": "code",
"%psource Fig52Game.to_move"
]
},
{
"cell_type": "code",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"MAX\n"
]
}
],
"source": [
"print(fig52.to_move('A'))"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"As a whole the class `Fig52` that inherits from the class `Game` and overrides its functions:"
]
},
{
"cell_type": "code",
"outputs": [],
"source": [
"%psource Fig52Game"
]
},
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
{
"cell_type": "markdown",
"metadata": {},
"source": [
"# MIN-MAX\n",
"\n",
"This algorithm (often called *Minimax*) computes the next move for a player (MIN or MAX) at their current state. It recursively computes the minimax value of successor states, until it reaches terminals (the leaves of the tree). Using the `utility` value of the terminal states, it computes the values of parent states until it reaches the initial node (the root of the tree). The algorithm returns the move that returns the optimal value of the initial node's successor states.\n",
"\n",
"Below is the code for the algorithm:"
]
},
{
"cell_type": "code",
"execution_count": 18,
"metadata": {
"collapsed": true
},
"outputs": [],
"source": [
"%psource minimax_decision"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"We will now play the Fig52 game using this algorithm. Take a look at the Fig52Game from above to follow along.\n",
"\n",
"It is the turn of MAX to move, and he is at state A. He can move to B, C or D, using moves a1, a2 and a3 respectively. MAX's goal is to maximize the end value. So, to make a decision, MAX needs to know the values at the aforementioned nodes and pick the greatest one. After MAX, it is MIN's turn to play. So MAX wants to know what will the values of B, C and D be after MIN plays.\n",
"\n",
"The problem then becomes what move will MIN make at B, C and D. The successor states of all these nodes are terminal states, so MIN will pick the smallest value for each node. So, for B he will pick 3 (from move b1), for C he will pick 2 (from move c1) and for D he will again pick 2 (from move d3).\n",
"\n",
"Let's see this in code:"
]
},
{
"cell_type": "code",
"execution_count": 19,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"b1\n",
"c1\n",
"d3\n"
]
}
],
"source": [
"print(minimax_decision('B', fig52))\n",
"print(minimax_decision('C', fig52))\n",
"print(minimax_decision('D', fig52))"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"Now MAX knows that the values for B, C and D are 3, 2 and 2 (produced by the above moves of MIN). The greatest is 3, which he will get with move a1. This is then the move MAX will make. Let's see the algorithm in full action:"
]
},
{
"cell_type": "code",
"execution_count": 20,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"a1\n"
]
}
],
"source": [
"print(minimax_decision('A', fig52))"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"# PLAYERS\n",
"\n",
"So, we have finished the implementation of the `TicTacToe` and `Fig52Game` classes. What these classes do is defining the rules of the games. We need more to create an AI that can actually play games. This is where `random_player` and `alphabeta_player` come in.\n",
"\n",
"## query_player\n",
"The `query_player` function allows you, a human opponent, to play the game. This function requires a `display` method to be implemented in your game class, so that successive game states can be displayed on the terminal, making it easier for you to visualize the game and play accordingly.\n",
"\n",
"## random_player\n",
"The `random_player` is a function that plays random moves in the game. That's it. There isn't much more to this guy. \n",
"\n",
"## alphabeta_player\n",
"The `alphabeta_player`, on the other hand, calls the `alphabeta_full_search` function, which returns the best move in the current game state. Thus, the `alphabeta_player` always plays the best move given a game state, assuming that the game tree is small enough to search entirely.\n",
"\n",
"## play_game\n",
"The `play_game` function will be the one that will actually be used to play the game. You pass as arguments to it an instance of the game you want to play and the players you want in this game. Use it to play AI vs AI, AI vs human, or even human vs human matches!"
]
},
{
"cell_type": "markdown",
"metadata": {},
"# LET'S PLAY SOME GAMES!\n",
"\n",
"## Game52\n",
"\n",
SnShine
a validé
"Let's start by experimenting with the `Fig52Game` first. For that we'll create an instance of the subclass Fig52Game inherited from the class Game:"
},
"outputs": [],
"source": [
"game52 = Fig52Game()"
]
},
{
"cell_type": "markdown",
SnShine
a validé
"First we try out our `random_player(game, state)`. Given a game state it will give us a random move every time:"
SnShine
a validé
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"a1\n",
SnShine
a validé
]
}
],
SnShine
a validé
"print(random_player(game52, 'A'))\n",
"print(random_player(game52, 'A'))"
]
},
{
"cell_type": "markdown",
SnShine
a validé
"source": [
"The `alphabeta_player(game, state)` will always give us the best move possible, for the relevant player (MAX or MIN):"
SnShine
a validé
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"a1\n",
"b1\n",
"c1\n"
]
}
],
SnShine
a validé
"print( alphabeta_player(game52, 'A') )\n",
"print( alphabeta_player(game52, 'B') )\n",
"print( alphabeta_player(game52, 'C') )"
]
},
{
"cell_type": "markdown",
"What the `alphabeta_player` does is, it simply calls the method `alphabeta_full_search`. They both are essentially the same. In the module, both `alphabeta_full_search` and `minimax_decision` have been implemented. They both do the same job and return the same thing, which is, the best move in the current state. It's just that `alphabeta_full_search` is more efficient with regards to time because it prunes the search tree and hence, explores lesser number of states."
SnShine
a validé
"outputs": [
{
"data": {
"text/plain": [
"'a1'"
]
},
SnShine
a validé
"metadata": {},
"output_type": "execute_result"
}
],
SnShine
a validé
"minimax_decision('A', game52)"
]
},
{
"cell_type": "code",
SnShine
a validé
"outputs": [
{
"data": {
"text/plain": [
"'a1'"
]
},
SnShine
a validé
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"alphabeta_full_search('A', game52)"
]
},
{
"cell_type": "markdown",
SnShine
a validé
"Demonstrating the play_game function on the game52:"
SnShine
a validé
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"B1\n"
]
},
{
"data": {
"text/plain": [
"3"
]
},
"execution_count": 8,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"game52.play_game(alphabeta_player, alphabeta_player)"
]
},
{
"cell_type": "code",
"execution_count": 9,
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"B3\n"
]
},
{
"data": {
"text/plain": [
"8"
]
},
SnShine
a validé
"execution_count": 9,
"metadata": {},
"output_type": "execute_result"
}
],
"game52.play_game(alphabeta_player, random_player)"
SnShine
a validé
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"current state:\n",
"A\n",
"available moves: ['a2', 'a1', 'a3']\n",
"\n",
"Your move? a3\n",
"D3\n"
SnShine
a validé
]
},
{
"data": {
"text/plain": [
SnShine
a validé
]
},
SnShine
a validé
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"game52.play_game(query_player, alphabeta_player)"
SnShine
a validé
]
},
{
"cell_type": "code",
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"current state:\n",
"B\n",
"available moves: ['b1', 'b3', 'b2']\n",
"\n",
"Your move? b3\n",
"B3\n"
]
},
{
"data": {
"text/plain": [
"8"
]
},
"execution_count": 14,
"metadata": {},
"output_type": "execute_result"
}
],
"game52.play_game(alphabeta_player, query_player)"
]
},
{
"cell_type": "markdown",
"Note that if you are the first player then alphabeta_player plays as MIN, and if you are the second player then alphabeta_player plays as MAX. This happens because that's the way the game is defined in the class Fig52Game. Having a look at the code of this class should make it clear."
SnShine
a validé
]
},
{
"cell_type": "markdown",
SnShine
a validé
"source": [
SnShine
a validé
"Now let's play `TicTacToe`. First we initialize the game by creating an instance of the subclass TicTacToe inherited from the class Game:"
]
},
{
"cell_type": "code",
},
"outputs": [],
"source": [
"ttt = TicTacToe()"
]
},
{
"cell_type": "markdown",
"source": [
"We can print a state using the display method:"
]
},
{
"cell_type": "code",
SnShine
a validé
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
". . . \n",
". . . \n",
". . . \n"
]
}
],
"source": [
"ttt.display(ttt.initial)"
]
},
{
"cell_type": "markdown",
"Hmm, so that's the initial state of the game; no X's and no O's.\n",
"\n",
"Let us create a new game state by ourselves to experiment:"
},
"outputs": [],
"source": [
"my_state = GameState(\n",
" to_move = 'X',\n",
" utility = '0',\n",
" board = {(1,1): 'X', (1,2): 'O', (1,3): 'X',\n",
" (2,1): 'O', (2,3): 'O',\n",
" (3,1): 'X',\n",
" },\n",
" moves = [(2,2), (3,2), (3,3)]\n",
" )"
]
},
{
"cell_type": "markdown",
SnShine
a validé
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"X O X \n",
"O . O \n",
"X . . \n"
]
}
],
"source": [
"ttt.display(my_state)"
]
},
{
"cell_type": "markdown",
SnShine
a validé
"The `random_player` will behave how he is supposed to i.e. *pseudo-randomly*:"
SnShine
a validé
"outputs": [
{
"data": {
"text/plain": [
SnShine
a validé
]
},
SnShine
a validé
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"random_player(ttt, my_state)"
]
},
{
"cell_type": "code",
SnShine
a validé
"outputs": [
{
"data": {
"text/plain": [
"(3, 2)"
]
},
SnShine
a validé
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"random_player(ttt, my_state)"
]
},
{
"cell_type": "markdown",
"source": [
"But the `alphabeta_player` will always give the best move, as expected:"
]
},
{
"cell_type": "code",
SnShine
a validé
"outputs": [
{
"data": {
"text/plain": [
"(2, 2)"
]
},
SnShine
a validé
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"alphabeta_player(ttt, my_state)"
]
},
{
"cell_type": "markdown",