aimacode · MichaelDimmitt · Jul 15, 2019
diff --git a/1-Introduction/index.html → 01-Introduction/index.html b/1-Introduction/index.html → 01-Introduction/index.html
diff --git a/2-Intelligent-Agents/c_cleaningRobot.js → 02-Intelligent-Agents/c_cleaningRobot.js b/2-Intelligent-Agents/c_cleaningRobot.js → 02-Intelligent-Agents/c_cleaningRobot.js
diff --git a/2-Intelligent-Agents/cleaningRobot.js → 02-Intelligent-Agents/cleaningRobot.js b/2-Intelligent-Agents/cleaningRobot.js → 02-Intelligent-Agents/cleaningRobot.js
diff --git a/2-Intelligent-Agents/index.html → 02-Intelligent-Agents/index.html b/2-Intelligent-Agents/index.html → 02-Intelligent-Agents/index.html
diff --git a/...ving-Problems-By-Searching/aStarSearch.js → ...ving-Problems-By-Searching/aStarSearch.js b/...ving-Problems-By-Searching/aStarSearch.js → ...ving-Problems-By-Searching/aStarSearch.js
diff --git a/...-Problems-By-Searching/bestFirstSearch.js → ...-Problems-By-Searching/bestFirstSearch.js b/...-Problems-By-Searching/bestFirstSearch.js → ...-Problems-By-Searching/bestFirstSearch.js
diff --git a/...g-Problems-By-Searching/bi-directional.js → ...g-Problems-By-Searching/bi-directional.js b/...g-Problems-By-Searching/bi-directional.js → ...g-Problems-By-Searching/bi-directional.js
diff --git a/...oblems-By-Searching/breadthFirstSearch.js → ...oblems-By-Searching/breadthFirstSearch.js b/...oblems-By-Searching/breadthFirstSearch.js → ...oblems-By-Searching/breadthFirstSearch.js
diff --git a/...ng-Problems-By-Searching/c_aStarSearch.js → ...ng-Problems-By-Searching/c_aStarSearch.js b/...ng-Problems-By-Searching/c_aStarSearch.js → ...ng-Problems-By-Searching/c_aStarSearch.js
diff --git a/...roblems-By-Searching/c_bestFirstSearch.js → ...roblems-By-Searching/c_bestFirstSearch.js b/...roblems-By-Searching/c_bestFirstSearch.js → ...roblems-By-Searching/c_bestFirstSearch.js
diff --git a/...Problems-By-Searching/c_bi-directional.js → ...Problems-By-Searching/c_bi-directional.js b/...Problems-By-Searching/c_bi-directional.js → ...Problems-By-Searching/c_bi-directional.js
diff --git a/...lems-By-Searching/c_breadthFirstSearch.js → ...lems-By-Searching/c_breadthFirstSearch.js b/...lems-By-Searching/c_breadthFirstSearch.js → ...lems-By-Searching/c_breadthFirstSearch.js
diff --git a/...ng-Problems-By-Searching/c_costDetails.js → ...ng-Problems-By-Searching/c_costDetails.js b/...ng-Problems-By-Searching/c_costDetails.js → ...ng-Problems-By-Searching/c_costDetails.js
diff --git a/...oblems-By-Searching/c_depthFirstSearch.js → ...oblems-By-Searching/c_depthFirstSearch.js b/...oblems-By-Searching/c_depthFirstSearch.js → ...oblems-By-Searching/c_depthFirstSearch.js
diff --git a/...lems-By-Searching/c_depthLimitedSearch.js → ...lems-By-Searching/c_depthLimitedSearch.js b/...lems-By-Searching/c_depthLimitedSearch.js → ...lems-By-Searching/c_depthLimitedSearch.js
diff --git a/...lems-By-Searching/c_iterativeDeepening.js → ...lems-By-Searching/c_iterativeDeepening.js b/...lems-By-Searching/c_iterativeDeepening.js → ...lems-By-Searching/c_iterativeDeepening.js
diff --git a/...-Problems-By-Searching/c_nodeExpansion.js → ...-Problems-By-Searching/c_nodeExpansion.js b/...-Problems-By-Searching/c_nodeExpansion.js → ...-Problems-By-Searching/c_nodeExpansion.js
diff --git a/...blems-By-Searching/c_uniformCostSearch.js → ...blems-By-Searching/c_uniformCostSearch.js b/...blems-By-Searching/c_uniformCostSearch.js → ...blems-By-Searching/c_uniformCostSearch.js
diff --git a/...ving-Problems-By-Searching/costDetails.js → ...ving-Problems-By-Searching/costDetails.js b/...ving-Problems-By-Searching/costDetails.js → ...ving-Problems-By-Searching/costDetails.js
diff --git a/...Problems-By-Searching/depthFirstSearch.js → ...Problems-By-Searching/depthFirstSearch.js b/...Problems-By-Searching/depthFirstSearch.js → ...Problems-By-Searching/depthFirstSearch.js
diff --git a/...oblems-By-Searching/depthLimitedSearch.js → ...oblems-By-Searching/depthLimitedSearch.js b/...oblems-By-Searching/depthLimitedSearch.js → ...oblems-By-Searching/depthLimitedSearch.js
diff --git a/...ving-Problems-By-Searching/gitter-grid.js → ...ving-Problems-By-Searching/gitter-grid.js b/...ving-Problems-By-Searching/gitter-grid.js → ...ving-Problems-By-Searching/gitter-grid.js
diff --git a/3-Solving-Problems-By-Searching/helpers.js → 03-Solving-Problems-By-Searching/helpers.js b/3-Solving-Problems-By-Searching/helpers.js → 03-Solving-Problems-By-Searching/helpers.js
diff --git a/3-Solving-Problems-By-Searching/index.html → 03-Solving-Problems-By-Searching/index.html b/3-Solving-Problems-By-Searching/index.html → 03-Solving-Problems-By-Searching/index.html
diff --git a/...oblems-By-Searching/iterativeDeepening.js → ...oblems-By-Searching/iterativeDeepening.js b/...oblems-By-Searching/iterativeDeepening.js → ...oblems-By-Searching/iterativeDeepening.js
diff --git a/...ng-Problems-By-Searching/nodeExpansion.js → ...ng-Problems-By-Searching/nodeExpansion.js b/...ng-Problems-By-Searching/nodeExpansion.js → ...ng-Problems-By-Searching/nodeExpansion.js
diff --git a/...roblems-By-Searching/uniformCostSearch.js → ...roblems-By-Searching/uniformCostSearch.js b/...roblems-By-Searching/uniformCostSearch.js → ...roblems-By-Searching/uniformCostSearch.js
diff --git a/...yond-Classical-Search/andOrGraphSearch.js → ...yond-Classical-Search/andOrGraphSearch.js b/...yond-Classical-Search/andOrGraphSearch.js → ...yond-Classical-Search/andOrGraphSearch.js
diff --git a/...nd-Classical-Search/c_andOrGraphSearch.js → ...nd-Classical-Search/c_andOrGraphSearch.js b/...nd-Classical-Search/c_andOrGraphSearch.js → ...nd-Classical-Search/c_andOrGraphSearch.js
diff --git a/4-Beyond-Classical-Search/c_erraticVacuum.js → ...eyond-Classical-Search/c_erraticVacuum.js b/4-Beyond-Classical-Search/c_erraticVacuum.js → ...eyond-Classical-Search/c_erraticVacuum.js
diff --git a/...nd-Classical-Search/c_geneticAlgorithm.js → ...nd-Classical-Search/c_geneticAlgorithm.js b/...nd-Classical-Search/c_geneticAlgorithm.js → ...nd-Classical-Search/c_geneticAlgorithm.js
diff --git a/4-Beyond-Classical-Search/c_hillClimbing.js → 04-Beyond-Classical-Search/c_hillClimbing.js b/4-Beyond-Classical-Search/c_hillClimbing.js → 04-Beyond-Classical-Search/c_hillClimbing.js
diff --git a/4-Beyond-Classical-Search/c_localization.js → 04-Beyond-Classical-Search/c_localization.js b/4-Beyond-Classical-Search/c_localization.js → 04-Beyond-Classical-Search/c_localization.js
diff --git a/4-Beyond-Classical-Search/c_lrtaAgent.js → 04-Beyond-Classical-Search/c_lrtaAgent.js b/4-Beyond-Classical-Search/c_lrtaAgent.js → 04-Beyond-Classical-Search/c_lrtaAgent.js
diff --git a/4-Beyond-Classical-Search/c_noObservation.js → ...eyond-Classical-Search/c_noObservation.js b/4-Beyond-Classical-Search/c_noObservation.js → ...eyond-Classical-Search/c_noObservation.js
diff --git a/...yond-Classical-Search/c_onlineDfsAgent.js → ...yond-Classical-Search/c_onlineDfsAgent.js b/...yond-Classical-Search/c_onlineDfsAgent.js → ...yond-Classical-Search/c_onlineDfsAgent.js
diff --git a/4-Beyond-Classical-Search/c_onlineSearch.js → 04-Beyond-Classical-Search/c_onlineSearch.js b/4-Beyond-Classical-Search/c_onlineSearch.js → 04-Beyond-Classical-Search/c_onlineSearch.js
diff --git a/...-Classical-Search/c_simulatedAnnealing.js → ...-Classical-Search/c_simulatedAnnealing.js b/...-Classical-Search/c_simulatedAnnealing.js → ...-Classical-Search/c_simulatedAnnealing.js
diff --git a/4-Beyond-Classical-Search/erraticVacuum.js → 04-Beyond-Classical-Search/erraticVacuum.js b/4-Beyond-Classical-Search/erraticVacuum.js → 04-Beyond-Classical-Search/erraticVacuum.js
diff --git a/...yond-Classical-Search/geneticAlgorithm.js → ...yond-Classical-Search/geneticAlgorithm.js b/...yond-Classical-Search/geneticAlgorithm.js → ...yond-Classical-Search/geneticAlgorithm.js
diff --git a/4-Beyond-Classical-Search/hillClimbing.js → 04-Beyond-Classical-Search/hillClimbing.js b/4-Beyond-Classical-Search/hillClimbing.js → 04-Beyond-Classical-Search/hillClimbing.js
diff --git a/4-Beyond-Classical-Search/index.html → 04-Beyond-Classical-Search/index.html b/4-Beyond-Classical-Search/index.html → 04-Beyond-Classical-Search/index.html
diff --git a/4-Beyond-Classical-Search/localization.js → 04-Beyond-Classical-Search/localization.js b/4-Beyond-Classical-Search/localization.js → 04-Beyond-Classical-Search/localization.js
diff --git a/4-Beyond-Classical-Search/lrtaAgent.js → 04-Beyond-Classical-Search/lrtaAgent.js b/4-Beyond-Classical-Search/lrtaAgent.js → 04-Beyond-Classical-Search/lrtaAgent.js
diff --git a/4-Beyond-Classical-Search/main.css → 04-Beyond-Classical-Search/main.css b/4-Beyond-Classical-Search/main.css → 04-Beyond-Classical-Search/main.css
diff --git a/4-Beyond-Classical-Search/onlineDfsAgent.js → 04-Beyond-Classical-Search/onlineDfsAgent.js b/4-Beyond-Classical-Search/onlineDfsAgent.js → 04-Beyond-Classical-Search/onlineDfsAgent.js
diff --git a/4-Beyond-Classical-Search/onlineSearch.js → 04-Beyond-Classical-Search/onlineSearch.js b/4-Beyond-Classical-Search/onlineSearch.js → 04-Beyond-Classical-Search/onlineSearch.js
diff --git a/...nd-Classical-Search/simulatedAnnealing.js → ...nd-Classical-Search/simulatedAnnealing.js b/...nd-Classical-Search/simulatedAnnealing.js → ...nd-Classical-Search/simulatedAnnealing.js
diff --git a/5-Adversarial-Search/badtree.js → 05-Adversarial-Search/badtree.js b/5-Adversarial-Search/badtree.js → 05-Adversarial-Search/badtree.js
diff --git a/5-Adversarial-Search/banner.js → 05-Adversarial-Search/banner.js b/5-Adversarial-Search/banner.js → 05-Adversarial-Search/banner.js
diff --git a/5-Adversarial-Search/bigtree.js → 05-Adversarial-Search/bigtree.js b/5-Adversarial-Search/bigtree.js → 05-Adversarial-Search/bigtree.js
diff --git a/5-Adversarial-Search/bigtreegen.js → 05-Adversarial-Search/bigtreegen.js b/5-Adversarial-Search/bigtreegen.js → 05-Adversarial-Search/bigtreegen.js
diff --git a/5-Adversarial-Search/comparison.js → 05-Adversarial-Search/comparison.js b/5-Adversarial-Search/comparison.js → 05-Adversarial-Search/comparison.js
diff --git a/5-Adversarial-Search/deepening.js → 05-Adversarial-Search/deepening.js b/5-Adversarial-Search/deepening.js → 05-Adversarial-Search/deepening.js
diff --git a/5-Adversarial-Search/draw.js → 05-Adversarial-Search/draw.js b/5-Adversarial-Search/draw.js → 05-Adversarial-Search/draw.js
diff --git a/5-Adversarial-Search/game.js → 05-Adversarial-Search/game.js b/5-Adversarial-Search/game.js → 05-Adversarial-Search/game.js
diff --git a/5-Adversarial-Search/gameTree.js → 05-Adversarial-Search/gameTree.js b/5-Adversarial-Search/gameTree.js → 05-Adversarial-Search/gameTree.js
diff --git a/5-Adversarial-Search/index.html → 05-Adversarial-Search/index.html b/5-Adversarial-Search/index.html → 05-Adversarial-Search/index.html
diff --git a/5-Adversarial-Search/main.js → 05-Adversarial-Search/main.js b/5-Adversarial-Search/main.js → 05-Adversarial-Search/main.js
diff --git a/5-Adversarial-Search/nalphabeta.js → 05-Adversarial-Search/nalphabeta.js b/5-Adversarial-Search/nalphabeta.js → 05-Adversarial-Search/nalphabeta.js
diff --git a/5-Adversarial-Search/parallax1.js → 05-Adversarial-Search/parallax1.js b/5-Adversarial-Search/parallax1.js → 05-Adversarial-Search/parallax1.js
diff --git a/5-Adversarial-Search/parallax2.js → 05-Adversarial-Search/parallax2.js b/5-Adversarial-Search/parallax2.js → 05-Adversarial-Search/parallax2.js
diff --git a/5-Adversarial-Search/recursive.js → 05-Adversarial-Search/recursive.js b/5-Adversarial-Search/recursive.js → 05-Adversarial-Search/recursive.js
diff --git a/5-Adversarial-Search/states.js → 05-Adversarial-Search/states.js b/5-Adversarial-Search/states.js → 05-Adversarial-Search/states.js
diff --git a/5-Adversarial-Search/transition.js → 05-Adversarial-Search/transition.js b/5-Adversarial-Search/transition.js → 05-Adversarial-Search/transition.js
diff --git a/5-Adversarial-Search/tree.js → 05-Adversarial-Search/tree.js b/5-Adversarial-Search/tree.js → 05-Adversarial-Search/tree.js
diff --git a/5-Adversarial-Search/treeSearch.js → 05-Adversarial-Search/treeSearch.js b/5-Adversarial-Search/treeSearch.js → 05-Adversarial-Search/treeSearch.js
diff --git a/6-Constraint-Satisfaction-Problems/AC3.js → 06-Constraint-Satisfaction-Problems/AC3.js b/6-Constraint-Satisfaction-Problems/AC3.js → 06-Constraint-Satisfaction-Problems/AC3.js
diff --git a/...int-Satisfaction-Problems/backtracking.js → ...int-Satisfaction-Problems/backtracking.js b/...int-Satisfaction-Problems/backtracking.js → ...int-Satisfaction-Problems/backtracking.js
diff --git a/6-Constraint-Satisfaction-Problems/c_AC3.js → 06-Constraint-Satisfaction-Problems/c_AC3.js b/6-Constraint-Satisfaction-Problems/c_AC3.js → 06-Constraint-Satisfaction-Problems/c_AC3.js
diff --git a/...t-Satisfaction-Problems/c_backtracking.js → ...t-Satisfaction-Problems/c_backtracking.js b/...t-Satisfaction-Problems/c_backtracking.js → ...t-Satisfaction-Problems/c_backtracking.js
diff --git a/...nt-Satisfaction-Problems/c_mapColoring.js → ...nt-Satisfaction-Problems/c_mapColoring.js b/...nt-Satisfaction-Problems/c_mapColoring.js → ...nt-Satisfaction-Problems/c_mapColoring.js
diff --git a/...t-Satisfaction-Problems/c_minConflicts.js → ...t-Satisfaction-Problems/c_minConflicts.js b/...t-Satisfaction-Problems/c_minConflicts.js → ...t-Satisfaction-Problems/c_minConflicts.js
diff --git a/...straint-Satisfaction-Problems/c_sudoku.js → ...straint-Satisfaction-Problems/c_sudoku.js b/...straint-Satisfaction-Problems/c_sudoku.js → ...straint-Satisfaction-Problems/c_sudoku.js
diff --git a/...traint-Satisfaction-Problems/c_treeCSP.js → ...traint-Satisfaction-Problems/c_treeCSP.js b/...traint-Satisfaction-Problems/c_treeCSP.js → ...traint-Satisfaction-Problems/c_treeCSP.js
diff --git a/...nstraint-Satisfaction-Problems/index.html → ...nstraint-Satisfaction-Problems/index.html b/...nstraint-Satisfaction-Problems/index.html → ...nstraint-Satisfaction-Problems/index.html
diff --git a/6-Constraint-Satisfaction-Problems/main.css → 06-Constraint-Satisfaction-Problems/main.css b/6-Constraint-Satisfaction-Problems/main.css → 06-Constraint-Satisfaction-Problems/main.css
diff --git a/...aint-Satisfaction-Problems/mapColoring.js → ...aint-Satisfaction-Problems/mapColoring.js b/...aint-Satisfaction-Problems/mapColoring.js → ...aint-Satisfaction-Problems/mapColoring.js
diff --git a/...int-Satisfaction-Problems/minConflicts.js → ...int-Satisfaction-Problems/minConflicts.js b/...int-Satisfaction-Problems/minConflicts.js → ...int-Satisfaction-Problems/minConflicts.js
diff --git a/6-Constraint-Satisfaction-Problems/sudoku.js → ...onstraint-Satisfaction-Problems/sudoku.js b/6-Constraint-Satisfaction-Problems/sudoku.js → ...onstraint-Satisfaction-Problems/sudoku.js
diff --git a/...nstraint-Satisfaction-Problems/treeCSP.js → ...nstraint-Satisfaction-Problems/treeCSP.js b/...nstraint-Satisfaction-Problems/treeCSP.js → ...nstraint-Satisfaction-Problems/treeCSP.js
diff --git a/7-Logical-Agents/c_logicalAgent.js → 07-Logical-Agents/c_logicalAgent.js b/7-Logical-Agents/c_logicalAgent.js → 07-Logical-Agents/c_logicalAgent.js
diff --git a/7-Logical-Agents/index.html → 07-Logical-Agents/index.html b/7-Logical-Agents/index.html → 07-Logical-Agents/index.html
diff --git a/7-Logical-Agents/logicalAgent.js → 07-Logical-Agents/logicalAgent.js b/7-Logical-Agents/logicalAgent.js → 07-Logical-Agents/logicalAgent.js
diff --git a/8-First-Order-Logic/index.html → 08-First-Order-Logic/index.html b/8-First-Order-Logic/index.html → 08-First-Order-Logic/index.html
diff --git a/9-Inference-In-First-Order-Logic/index.html → 09-Inference-In-First-Order-Logic/index.html b/9-Inference-In-First-Order-Logic/index.html → 09-Inference-In-First-Order-Logic/index.html
diff --git a/header.html b/header.html
@@ -9,27 +9,27 @@
         <a class="dropdown-toggle" data-toggle="dropdown" href="#">Part 1
         <span class="caret"></span></a>
         <ul class="dropdown-menu">
-          <li><a href="../1-Introduction">1. Introduction</a></li>
-          <li><a href="../2-Intelligent-Agents">2. Intelligent Agents</a></li>
+          <li><a href="../01-Introduction">1. Introduction</a></li>
+          <li><a href="../02-Intelligent-Agents">2. Intelligent Agents</a></li>
         </ul>
       </li>
       <li class="dropdown">
         <a class="dropdown-toggle" data-toggle="dropdown" href="#">Part 2
         <span class="caret"></span></a>
         <ul class="dropdown-menu">
-          <li><a href="../3-Solving-Problems-By-Searching">3. Solving Problems By Searching</a></li>
-          <li><a href="../4-Beyond-Classical-Search">4. Beyond Classical Search</a></li>
-          <li><a href="../5-Adversarial-Search">5. Adversarial-Search</a></li>
-          <li><a href="../6-Constraint-Satisfaction-Problems">6. Constraint Satisfaction Problems</a></li>
+          <li><a href="../03-Solving-Problems-By-Searching">3. Solving Problems By Searching</a></li>
+          <li><a href="../04-Beyond-Classical-Search">4. Beyond Classical Search</a></li>
+          <li><a href="../05-Adversarial-Search">5. Adversarial-Search</a></li>
+          <li><a href="../06-Constraint-Satisfaction-Problems">6. Constraint Satisfaction Problems</a></li>
         </ul>
       </li>
       <li class="dropdown">
         <a class="dropdown-toggle" data-toggle="dropdown" href="#">Part 3
         <span class="caret"></span></a>
         <ul class="dropdown-menu">
-          <li><a href="../7-Logical-Agents">7. Logical Agents</a></li>
-          <li><a href="../8-First-Order-Logic">8. First Order Logic</a></li>
-          <li><a href="../9-Inference-In-First-Order-Logic">9. Inference in First Order Logic</a></li>
+          <li><a href="../07-Logical-Agents">7. Logical Agents</a></li>
+          <li><a href="../08-First-Order-Logic">8. First Order Logic</a></li>
+          <li><a href="../09-Inference-In-First-Order-Logic">9. Inference in First Order Logic</a></li>
           <li><a href="../10-Classical-Planning">10. Classical Planning</a></li>
           <li><a href="../11-Planning-And-Acting-In-The-Real-World">11. Planning and Acting in the Real World</a></li>
           <li><a href="../12-Knowledge-Representation">12. Knowledge Representation</a></li>

diff --git a/index.html b/index.html
@@ -33,28 +33,28 @@ <h2>Part Select</h2>
     <div id="part1" class="tab-pane fade in active">
       <h3>Artificial Intelligence</h3>
 		<dl class="dl-horizontal">
-			<dt><a href="./1-Introduction/">1. Introduction</a></dt>
+			<dt><a href="./01-Introduction/">1. Introduction</a></dt>
 			<dd>In which we try to explain why we consider artificial intelligence to be a subject
 			most worthy of study, and in which we try to decide what exactly it is, this being a
 			good thing to decide before embarking.</dd>
-			<dt><a href="./2-Intelligent-Agents/">2. Intelligent Agents</a></dt>
+			<dt><a href="./02-Intelligent-Agents/">2. Intelligent Agents</a></dt>
 			<dd>In which we discuss the nature of agents, perfect or otherwise, the diversity of
 			environments, and the resulting menagerie of agent types.</dd>
 		</dl>
     </div>
     <div id="part2" class="tab-pane fade">
       <h3>Problem Solving</h3>
       <dl class="dl-horizontal">
-			<dt><a href="./3-Solving-Problems-By-Searching/">3. Solving Problems By Searching</a></dt>
+			<dt><a href="./03-Solving-Problems-By-Searching/">3. Solving Problems By Searching</a></dt>
 			<dd>In which we see how an agent can find a sequence of actions that achieves its
 			goals when no single action will do.</dd>
-			<dt><a href="./4-Beyond-Classical-Search/">4. Beyond Classical Search</a></dt>
+			<dt><a href="./04-Beyond-Classical-Search/">4. Beyond Classical Search</a></dt>
 			<dd>In which we relax the simplifying assumptions of the previous chapter, thereby
 			getting closer to the real world.</dd>
-			<dt><a href="./5-Adversarial-Search/">5. Adversarial Search</a></dt>
+			<dt><a href="./05-Adversarial-Search/">5. Adversarial Search</a></dt>
 			<dd>In which we examine the problems that arise when we try to plan ahead in a world
 			where other agents are planning against us.</dd>
-			<dt><a href="./6-Constraint-Satisfaction-Problems/">6. Constraint Satisfaction Problems</a></dt>
+			<dt><a href="./06-Constraint-Satisfaction-Problems/">6. Constraint Satisfaction Problems</a></dt>
 			<dd>In which we see how treating states as more than just little black boxes leads to the
 			invention of a range of powerful new search methods and a deeper understanding
 			of problem structure and complexity.</dd>
@@ -64,14 +64,14 @@ <h3>Problem Solving</h3>
 	<div id="part3" class="tab-pane fade">
       <h3>Knowledge Reasoning and Planning</h3>
       <dl class="dl-horizontal">
-			<dt><a href="./7-Logical-Agents/">7. Logical Agents</a></dt>
+			<dt><a href="./07-Logical-Agents/">7. Logical Agents</a></dt>
 			<dd>In which we design agents that can form representations of a complex world, use a
 			process of inference to derive new representations about the world, and use these
 			new representations to deduce what to do.</dd>
-			<dt><a href="./8-First-Order-Logic/">8. First Order Logic</a></dt>
+			<dt><a href="./08-First-Order-Logic/">8. First Order Logic</a></dt>
 			<dd>In which we notice that the world is blessed with many objects, some of which are
 			related to other objects, and in which we endeavor to reason about them.</dd>
-			<dt><a href="./9-Inference-In-First-Order-Logic/">9. Inference In First Order Logic</a></dt>
+			<dt><a href="./09-Inference-In-First-Order-Logic/">9. Inference In First Order Logic</a></dt>
 			<dd>In which we define effective procedures for answering questions posed in firstorder
 			logic.</dd>
 			<dt><a href="./10-Classical-Planning/">10. Classical Planning</a></dt>