{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# GAMES OR ADVERSARIAL SEARCH\n", "\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", "* Alpha-Beta\n", "* Players\n", "* Let's Play Some Games!" ] }, { "cell_type": "code", "execution_count": 20, "metadata": {}, "outputs": [], "source": [ "from games import *\n", "from notebook import psource, pseudocode" ] }, { "cell_type": "markdown", "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": {}, "source": [ "## `GameState` namedtuple\n", "\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." ] }, { "cell_type": "markdown", "metadata": { "collapsed": true }, "source": [ "## `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", "\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", "execution_count": 21, "metadata": {}, "outputs": [], "source": [ "%psource Game" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "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", "\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", "\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", "\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", "\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", "\n", "\n", "* `display(self, state)`: This method prints/displays the current state of the game." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "# 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." ] }, { "cell_type": "code", "execution_count": 22, "metadata": {}, "outputs": [], "source": [ "%psource TicTacToe" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "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", "\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", "metadata": {}, "source": [ "### TicTacToe GameState\n", "\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", "metadata": {}, "source": [ "To store game states will will use the `GameState` namedtuple.\n", "\n", "* `to_move`: A string of a single character, either 'X' or 'O'.\n", "\n", "* `utility`: 1 for win, -1 for loss, 0 otherwise.\n", "\n", "* `board`: All the positions of X's and O's on the board.\n", "\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", "metadata": {}, "source": [ "### 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", "metadata": {}, "source": [ "## Fig52 Game\n", "\n", "For a more trivial example we will represent the game in **Figure 5.2** of the book.\n", "\n", "\n", "\n", "The states are represented with 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", "\n", "We will model the moves, utilities and initial state like this:" ] }, { "cell_type": "code", "execution_count": 23, "metadata": {}, "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", "\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", "execution_count": 24, "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", "execution_count": 25, "metadata": {}, "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", "execution_count": 26, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "

\n", "\n", "
    def actions(self, state):\n",
       "        return list(self.succs.get(state, {}).keys())\n",
       "
\n", "\n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "psource(Fig52Game.actions)" ] }, { "cell_type": "code", "execution_count": 27, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "['b1', 'b2', 'b3']\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", "execution_count": 28, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "

\n", "\n", "
    def result(self, state, move):\n",
       "        return self.succs[state][move]\n",
       "
\n", "\n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "psource(Fig52Game.result)" ] }, { "cell_type": "code", "execution_count": 29, "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'). Note that for 'MIN' the value returned is the negative of the utility." ] }, { "cell_type": "code", "execution_count": 30, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "

\n", "\n", "
    def utility(self, state, player):\n",
       "        if player == 'MAX':\n",
       "            return self.utils[state]\n",
       "        else:\n",
       "            return -self.utils[state]\n",
       "
\n", "\n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "psource(Fig52Game.utility)" ] }, { "cell_type": "code", "execution_count": 31, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "3\n", "-3\n" ] } ], "source": [ "print(fig52.utility('B1', 'MAX'))\n", "print(fig52.utility('B1', 'MIN'))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "`terminal_test`: Returns `True` if the given state is a terminal state, `False` otherwise." ] }, { "cell_type": "code", "execution_count": 32, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "

\n", "\n", "
    def terminal_test(self, state):\n",
       "        return state not in ('A', 'B', 'C', 'D')\n",
       "
\n", "\n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "psource(Fig52Game.terminal_test)" ] }, { "cell_type": "code", "execution_count": 33, "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", "execution_count": 34, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "

\n", "\n", "
    def to_move(self, state):\n",
       "        return 'MIN' if state in 'BCD' else 'MAX'\n",
       "
\n", "\n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "psource(Fig52Game.to_move)" ] }, { "cell_type": "code", "execution_count": 35, "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", "execution_count": 36, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "

\n", "\n", "
class Fig52Game(Game):\n",
       "    """The game represented in [Figure 5.2]. Serves as a simple test case."""\n",
       "\n",
       "    succs = 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'\n",
       "\n",
       "    def actions(self, state):\n",
       "        return list(self.succs.get(state, {}).keys())\n",
       "\n",
       "    def result(self, state, move):\n",
       "        return self.succs[state][move]\n",
       "\n",
       "    def utility(self, state, player):\n",
       "        if player == 'MAX':\n",
       "            return self.utils[state]\n",
       "        else:\n",
       "            return -self.utils[state]\n",
       "\n",
       "    def terminal_test(self, state):\n",
       "        return state not in ('A', 'B', 'C', 'D')\n",
       "\n",
       "    def to_move(self, state):\n",
       "        return 'MIN' if state in 'BCD' else 'MAX'\n",
       "
\n", "\n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "psource(Fig52Game)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "# MIN-MAX\n", "\n", "## Overview\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).\n", "\n", "It is worth noting that the algorithm works in a depth-first manner. The pseudocode can be found below:" ] }, { "cell_type": "code", "execution_count": 37, "metadata": {}, "outputs": [ { "data": { "text/markdown": [ "### AIMA3e\n", "__function__ MINIMAX-DECISION(_state_) __returns__ _an action_ \n", " __return__ arg max _a_ ∈ ACTIONS(_s_) MIN\\-VALUE(RESULT(_state_, _a_)) \n", "\n", "---\n", "__function__ MAX\\-VALUE(_state_) __returns__ _a utility value_ \n", " __if__ TERMINAL\\-TEST(_state_) __then return__ UTILITY(_state_) \n", " _v_ ← −∞ \n", " __for each__ _a_ __in__ ACTIONS(_state_) __do__ \n", "   _v_ ← MAX(_v_, MIN\\-VALUE(RESULT(_state_, _a_))) \n", " __return__ _v_ \n", "\n", "---\n", "__function__ MIN\\-VALUE(_state_) __returns__ _a utility value_ \n", " __if__ TERMINAL\\-TEST(_state_) __then return__ UTILITY(_state_) \n", " _v_ ← ∞ \n", " __for each__ _a_ __in__ ACTIONS(_state_) __do__ \n", "   _v_ ← MIN(_v_, MAX\\-VALUE(RESULT(_state_, _a_))) \n", " __return__ _v_ \n", "\n", "---\n", "__Figure__ ?? An algorithm for calculating minimax decisions. It returns the action corresponding to the best possible move, that is, the move that leads to the outcome with the best utility, under the assumption that the opponent plays to minimize utility. The functions MAX\\-VALUE and MIN\\-VALUE go through the whole game tree, all the way to the leaves, to determine the backed\\-up value of a state. The notation argmax _a_ ∈ _S_ _f_(_a_) computes the element _a_ of set _S_ that has maximum value of _f_(_a_).\n", "\n", "---\n", "__function__ EXPECTIMINIMAX(_s_) = \n", " UTILITY(_s_) __if__ TERMINAL\\-TEST(_s_) \n", " max_a_ EXPECTIMINIMAX(RESULT(_s, a_)) __if__ PLAYER(_s_)= MAX \n", " min_a_ EXPECTIMINIMAX(RESULT(_s, a_)) __if__ PLAYER(_s_)= MIN \n", " ∑_r_ P(_r_) EXPECTIMINIMAX(RESULT(_s, r_)) __if__ PLAYER(_s_)= CHANCE" ], "text/plain": [ "" ] }, "execution_count": 37, "metadata": {}, "output_type": "execute_result" } ], "source": [ "pseudocode(\"Minimax-Decision\")" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Implementation\n", "\n", "In the implementation we are using two functions, `max_value` and `min_value` to calculate the best move for MAX and MIN respectively. These functions interact in an alternating recursion; one calls the other until a terminal state is reached. When the recursion halts, we are left with scores for each move. We return the max. Despite returning the max, it will work for MIN too since for MIN the values are their negative (hence the order of values is reversed, so the higher the better for MIN too)." ] }, { "cell_type": "code", "execution_count": 38, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "

\n", "\n", "
def minimax_decision(state, game):\n",
       "    """Given a state in a game, calculate the best move by searching\n",
       "    forward all the way to the terminal states. [Figure 5.3]"""\n",
       "\n",
       "    player = game.to_move(state)\n",
       "\n",
       "    def max_value(state):\n",
       "        if game.terminal_test(state):\n",
       "            return game.utility(state, player)\n",
       "        v = -infinity\n",
       "        for a in game.actions(state):\n",
       "            v = max(v, min_value(game.result(state, a)))\n",
       "        return v\n",
       "\n",
       "    def min_value(state):\n",
       "        if game.terminal_test(state):\n",
       "            return game.utility(state, player)\n",
       "        v = infinity\n",
       "        for a in game.actions(state):\n",
       "            v = min(v, max_value(game.result(state, a)))\n",
       "        return v\n",
       "\n",
       "    # Body of minimax_decision:\n",
       "    return argmax(game.actions(state),\n",
       "                  key=lambda a: min_value(game.result(state, a)))\n",
       "
\n", "\n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "psource(minimax_decision)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Example\n", "\n", "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": 39, "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": 40, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "a1\n" ] } ], "source": [ "print(minimax_decision('A', fig52))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Visualization\n", "\n", "Below we have a simple game visualization using the algorithm. After you run the command, click on the cell to move the game along. You can input your own values via a list of 27 integers." ] }, { "cell_type": "code", "execution_count": 41, "metadata": {}, "outputs": [], "source": [ "from notebook import Canvas_minimax\n", "from random import randint" ] }, { "cell_type": "code", "execution_count": 42, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\n", "\n", "
\n", "\n", "
\n", "\n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/html": [ "" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "minimax_viz = Canvas_minimax('minimax_viz', [randint(1, 50) for i in range(27)])" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "# ALPHA-BETA\n", "\n", "## Overview\n", "\n", "While *Minimax* is great for computing a move, it can get tricky when the number of game states gets bigger. The algorithm needs to search all the leaves of the tree, which increase exponentially to its depth.\n", "\n", "For Tic-Tac-Toe, where the depth of the tree is 9 (after the 9th move, the game ends), we can have at most 9! terminal states (at most because not all terminal nodes are at the last level of the tree; some are higher up because the game ended before the 9th move). This isn't so bad, but for more complex problems like chess, we have over $10^{40}$ terminal nodes. Unfortunately we have not found a way to cut the exponent away, but we nevertheless have found ways to alleviate the workload.\n", "\n", "Here we examine *pruning* the game tree, which means removing parts of it that we do not need to examine. The particular type of pruning is called *alpha-beta*, and the search in whole is called *alpha-beta search*.\n", "\n", "To showcase what parts of the tree we don't need to search, we will take a look at the example `Fig52Game`.\n", "\n", "In the example game, we need to find the best move for player MAX at state A, which is the maximum value of MIN's possible moves at successor states.\n", "\n", "`MAX(A) = MAX( MIN(B), MIN(C), MIN(D) )`\n", "\n", "`MIN(B)` is the minimum of 3, 12, 8 which is 3. So the above formula becomes:\n", "\n", "`MAX(A) = MAX( 3, MIN(C), MIN(D) )`\n", "\n", "Next move we will check is c1, which leads to a terminal state with utility of 2. Before we continue searching under state C, let's pop back into our formula with the new value:\n", "\n", "`MAX(A) = MAX( 3, MIN(2, c2, .... cN), MIN(D) )`\n", "\n", "We do not know how many moves state C allows, but we know that the first one results in a value of 2. Do we need to keep searching under C? The answer is no. The value MIN will pick on C will at most be 2. Since MAX already has the option to pick something greater than that, 3 from B, he does not need to keep searching under C.\n", "\n", "In *alpha-beta* we make use of two additional parameters for each state/node, *a* and *b*, that describe bounds on the possible moves. The parameter *a* denotes the best choice (highest value) for MAX along that path, while *b* denotes the best choice (lowest value) for MIN. As we go along we update *a* and *b* and prune a node branch when the value of the node is worse than the value of *a* and *b* for MAX and MIN respectively.\n", "\n", "In the above example, after the search under state B, MAX had an *a* value of 3. So, when searching node C we found a value less than that, 2, we stopped searching under C.\n", "\n", "You can read the pseudocode below:" ] }, { "cell_type": "code", "execution_count": 43, "metadata": {}, "outputs": [ { "data": { "text/markdown": [ "### AIMA3e\n", "__function__ ALPHA-BETA-SEARCH(_state_) __returns__ an action \n", " _v_ ← MAX\\-VALUE(_state_, −∞, +∞) \n", " __return__ the _action_ in ACTIONS(_state_) with value _v_ \n", "\n", "---\n", "__function__ MAX\\-VALUE(_state_, _α_, _β_) __returns__ _a utility value_ \n", " __if__ TERMINAL\\-TEST(_state_) __then return__ UTILITY(_state_) \n", " _v_ ← −∞ \n", " __for each__ _a_ __in__ ACTIONS(_state_) __do__ \n", "   _v_ ← MAX(_v_, MIN\\-VALUE(RESULT(_state_, _a_), _α_, _β_)) \n", "   __if__ _v_ ≥ _β_ __then return__ _v_ \n", "   _α_ ← MAX(_α_, _v_) \n", " __return__ _v_ \n", "\n", "---\n", "__function__ MIN\\-VALUE(_state_, _α_, _β_) __returns__ _a utility value_ \n", " __if__ TERMINAL\\-TEST(_state_) __then return__ UTILITY(_state_) \n", " _v_ ← +∞ \n", " __for each__ _a_ __in__ ACTIONS(_state_) __do__ \n", "   _v_ ← MIN(_v_, MAX\\-VALUE(RESULT(_state_, _a_), _α_, _β_)) \n", "   __if__ _v_ ≤ _α_ __then return__ _v_ \n", "   _β_ ← MIN(_β_, _v_) \n", " __return__ _v_ \n", "\n", "\n", "---\n", "__Figure__ ?? The alpha\\-beta search algorithm. Notice that these routines are the same as the MINIMAX functions in Figure ??, except for the two lines in each of MIN\\-VALUE and MAX\\-VALUE that maintain _α_ and _β_ (and the bookkeeping to pass these parameters along)." ], "text/plain": [ "" ] }, "execution_count": 43, "metadata": {}, "output_type": "execute_result" } ], "source": [ "pseudocode(\"Alpha-Beta-Search\")" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Implementation\n", "\n", "Like *minimax*, we again make use of functions `max_value` and `min_value`, but this time we utilise the *a* and *b* values, updating them and stopping the recursive call if we end up on nodes with values worse than *a* and *b* (for MAX and MIN). The algorithm finds the maximum value and returns the move that results in it.\n", "\n", "The implementation:" ] }, { "cell_type": "code", "execution_count": 44, "metadata": {}, "outputs": [], "source": [ "%psource alphabeta_search" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Example\n", "\n", "We will play the Fig52 Game with the *alpha-beta* search algorithm. It is the turn of MAX to play at state A." ] }, { "cell_type": "code", "execution_count": 45, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "a1\n" ] } ], "source": [ "print(alphabeta_search('A', fig52))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The optimal move for MAX is a1, for the reasons given above. MIN will pick move b1 for B resulting in a value of 3, updating the *a* value of MAX to 3. Then, when we find under C a node of value 2, we will stop searching under that sub-tree since it is less than *a*. From D we have a value of 2. So, the best move for MAX is the one resulting in a value of 3, which is a1.\n", "\n", "Below we see the best moves for MIN starting from B, C and D respectively. Note that the algorithm in these cases works the same way as *minimax*, since all the nodes below the aforementioned states are terminal." ] }, { "cell_type": "code", "execution_count": 46, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "b1\n", "c1\n", "d3\n" ] } ], "source": [ "print(alphabeta_search('B', fig52))\n", "print(alphabeta_search('C', fig52))\n", "print(alphabeta_search('D', fig52))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Visualization\n", "\n", "Below you will find the visualization of the alpha-beta algorithm for a simple game. Click on the cell after you run the command to move the game along. You can input your own values via a list of 27 integers." ] }, { "cell_type": "code", "execution_count": 87, "metadata": {}, "outputs": [], "source": [ "from notebook import Canvas_alphabeta\n", "from random import randint" ] }, { "cell_type": "code", "execution_count": 88, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\n", "\n", "
\n", "\n", "
\n", "\n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/html": [ "" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "alphabeta_viz = Canvas_alphabeta('alphabeta_viz', [randint(1, 50) for i in range(27)])" ] }, { "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_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": {}, "source": [ "# LET'S PLAY SOME GAMES!\n", "\n", "## Game52\n", "\n", "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:" ] }, { "cell_type": "code", "execution_count": 89, "metadata": {}, "outputs": [], "source": [ "game52 = Fig52Game()" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "First we try out our `random_player(game, state)`. Given a game state it will give us a random move every time:" ] }, { "cell_type": "code", "execution_count": 90, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "a2\n", "a3\n" ] } ], "source": [ "print(random_player(game52, 'A'))\n", "print(random_player(game52, 'A'))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The `alphabeta_player(game, state)` will always give us the best move possible, for the relevant player (MAX or MIN):" ] }, { "cell_type": "code", "execution_count": 91, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "a1\n", "b1\n", "c1\n" ] } ], "source": [ "print( alphabeta_player(game52, 'A') )\n", "print( alphabeta_player(game52, 'B') )\n", "print( alphabeta_player(game52, 'C') )" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "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." ] }, { "cell_type": "code", "execution_count": 92, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "'a1'" ] }, "execution_count": 92, "metadata": {}, "output_type": "execute_result" } ], "source": [ "minimax_decision('A', game52)" ] }, { "cell_type": "code", "execution_count": 93, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "'a1'" ] }, "execution_count": 93, "metadata": {}, "output_type": "execute_result" } ], "source": [ "alphabeta_search('A', game52)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Demonstrating the play_game function on the game52:" ] }, { "cell_type": "code", "execution_count": 94, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "B1\n" ] }, { "data": { "text/plain": [ "3" ] }, "execution_count": 94, "metadata": {}, "output_type": "execute_result" } ], "source": [ "game52.play_game(alphabeta_player, alphabeta_player)" ] }, { "cell_type": "code", "execution_count": 95, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "B3\n" ] }, { "data": { "text/plain": [ "8" ] }, "execution_count": 95, "metadata": {}, "output_type": "execute_result" } ], "source": [ "game52.play_game(alphabeta_player, random_player)" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "current state:\n", "A\n", "available moves: ['a1', 'a2', 'a3']\n", "\n" ] } ], "source": [ "game52.play_game(query_player, alphabeta_player)" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "game52.play_game(alphabeta_player, query_player)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "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." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## TicTacToe\n", "\n", "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", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "ttt = TicTacToe()" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "We can print a state using the display method:" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "ttt.display(ttt.initial)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "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:" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "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", "metadata": {}, "source": [ "So, how does this game state look like?" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "ttt.display(my_state)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The `random_player` will behave how he is supposed to i.e. *pseudo-randomly*:" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "random_player(ttt, my_state)" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "random_player(ttt, my_state)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "But the `alphabeta_player` will always give the best move, as expected:" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "alphabeta_player(ttt, my_state)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Now let's make two players play against each other. We use the `play_game` function for this. The `play_game` function makes players play the match against each other and returns the utility for the first player, of the terminal state reached when the game ends. Hence, for our `TicTacToe` game, if we get the output +1, the first player wins, -1 if the second player wins, and 0 if the match ends in a draw." ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "ttt.play_game(random_player, alphabeta_player)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The output is (usually) -1, because `random_player` loses to `alphabeta_player`. Sometimes, however, `random_player` manages to draw with `alphabeta_player`.\n", "\n", "Since an `alphabeta_player` plays perfectly, a match between two `alphabeta_player`s should always end in a draw. Let's see if this happens:" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "for _ in range(10):\n", " print(ttt.play_game(alphabeta_player, alphabeta_player))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "A `random_player` should never win against an `alphabeta_player`. Let's test that." ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "for _ in range(10):\n", " print(ttt.play_game(random_player, alphabeta_player))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Canvas_TicTacToe(Canvas)\n", "\n", "This subclass is used to play TicTacToe game interactively in Jupyter notebooks. TicTacToe class is called while initializing this subclass.\n", "\n", "Let's have a match between `random_player` and `alphabeta_player`. Click on the board to call players to make a move." ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "from notebook import Canvas_TicTacToe" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "bot_play = Canvas_TicTacToe('bot_play', 'random', 'alphabeta')" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Now, let's play a game ourselves against a `random_player`:" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "rand_play = Canvas_TicTacToe('rand_play', 'human', 'random')" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Yay! We (usually) win. But we cannot win against an `alphabeta_player`, however hard we try." ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "ab_play = Canvas_TicTacToe('ab_play', 'human', 'alphabeta')" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [] } ], "metadata": { "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.7.6" } }, "nbformat": 4, "nbformat_minor": 1 }