Modules / Lectures
Module NameDownload
noc20_cs81_Assignment_01_Week_00noc20_cs81_Assignment_01_Week_00
noc20_cs81_Assignment_01_Week_01noc20_cs81_Assignment_01_Week_01
noc20_cs81_Assignment_01_Week_02noc20_cs81_Assignment_01_Week_02
noc20_cs81_Assignment_01_Week_03noc20_cs81_Assignment_01_Week_03
noc20_cs81_Assignment_01_Week_04noc20_cs81_Assignment_01_Week_04
noc20_cs81_Assignment_01_Week_05noc20_cs81_Assignment_01_Week_05
noc20_cs81_Assignment_01_Week_06noc20_cs81_Assignment_01_Week_06
noc20_cs81_Assignment_01_Week_07noc20_cs81_Assignment_01_Week_07
noc20_cs81_Assignment_01_Week_08noc20_cs81_Assignment_01_Week_08
noc20_cs81_Assignment_01_Week_09noc20_cs81_Assignment_01_Week_09
noc20_cs81_Assignment_01_Week_10noc20_cs81_Assignment_01_Week_10
noc20_cs81_Assignment_01_Week_11noc20_cs81_Assignment_01_Week_11
noc20_cs81_Assignment_01_Week_12noc20_cs81_Assignment_01_Week_12


Sl.No Chapter Name MP4 Download
1Prologue Download
2The Winograd Schema ChallengeDownload
3Introduction (2013 version) Download
4Can Machines Think?Download
5The Turing TestDownload
6Language and Thought Download
7The Willing Suspension of DisbeliefDownload
8Machines with Wheels and GearsDownload
9The Notion of Mind in Philosophy Download
10Reasoning = ComputationDownload
11Concepts and Categories Download
12How did AI get its name? Download
13The Chess Saga Download
14A Brief History of AI Download
15The Worlds in our Minds Download
16Epiphemona in Computers Download
17State Space SearchDownload
18Domain Independent AlgorithmsDownload
19Deterministic Search Download
20DFS and BFS Download
21Comparing DFS and BFSDownload
22Depth First Iterative Deepening Download
23Heuristic Search Download
24Heuristic Functions and the Search LandscapeDownload
25Solution Space Search Download
26The Traveling Salesman Problem Download
27Escaping Local Optima Download
28Stochastic Local SearchDownload
29Genetic Algorithms: Survival of the FittestDownload
30Genetic Algorithms and SATDownload
31Genetic Algorithms for the TSPDownload
32Emergent SystemsDownload
33Ant Colony OptimizationDownload
34Finding Optimal PathsDownload
35Branch & BoundDownload
36Algorithm A*Download
37A*: An illustrated exampleDownload
38Is A* Admissible?Download
39Admissibility of A*Download
40Higher, Faster ... Download
41B&B - A* - wA* - Best First Download
42A*: Leaner Admissible VariationsDownload
43The Monotone ConditionDownload
44DNA Sequence AlignmentDownload
45Divide & Conquer Frontier Search. Download
46Smart Memory Graph Search Download
47Variations on A*: The story so far Download
48Breadth First Heuristic Search Download
49Beam Stack SearchDownload
50Game TheoryDownload
51Popular Recreational GamesDownload
52Board Games and Game TreesDownload
53The Evaluation Function in Board GamesDownload
54Algorithm Minimax and Alpha-Beta PruningDownload
55A Cluster of Strategies Download
56SSS*: A Best First AlgorithmDownload
57SSS*: A Detailed Example Download
58Automated Domain Independent PlanningDownload
59The Blocks World Domain Download
60State Space Planning: Forward and Backward Download
61Goal Stack Planning (GSP)Download
62GSP: A Detailed ExampleDownload
63Plan Space Planning (PSP)Download
64PSP: A Tiny Example Download
65Multi-Armed Robots Download
66Means-Ends AnalysisDownload
67The Planning Graph Download
68Algorithm GraphplanDownload
69Problem Decomposition. Download
70Algorithm AO*Download
71AO*: An IllustrationDownload
72Rule Based Expert SystemsDownload
73The Inference EngineDownload
74The OPS5 Language Download
75Conflict Resolution Download
76Business Rule Management SystemsDownload
77The Rete NetDownload
78Rete Algorithm: Optimizing the MatchDownload
79Rete Algorithm: Conflict Resolution Download
80Reasoning in Logic Download
81Rules of InferenceDownload
82Forward Reasoning Download
83First Order Logic Download
84Implicit Quantifier NotationDownload
85Backward ReasoningDownload
86Depth First Search on Goal TreesDownload
87Incompleteness...Download
88Constraint Satisfaction Problems Download
89Binary Constraint NetworksDownload
90Interpreting Line Drawings Download
91Model Based Diagnosis Download
92Solving CSPsDownload
93Arc ConsistencyDownload
94Propagation = Reasoning Download
95Lookahead Search Download

Sl.No Chapter Name English
1Prologue Download
To be verified
2The Winograd Schema ChallengeDownload
To be verified
3Introduction (2013 version) Download
To be verified
4Can Machines Think?Download
To be verified
5The Turing TestDownload
To be verified
6Language and Thought Download
To be verified
7The Willing Suspension of DisbeliefDownload
To be verified
8Machines with Wheels and GearsDownload
To be verified
9The Notion of Mind in Philosophy Download
To be verified
10Reasoning = ComputationDownload
To be verified
11Concepts and Categories Download
To be verified
12How did AI get its name? Download
To be verified
13The Chess Saga Download
To be verified
14A Brief History of AI Download
To be verified
15The Worlds in our Minds Download
To be verified
16Epiphemona in Computers Download
To be verified
17State Space SearchDownload
To be verified
18Domain Independent AlgorithmsDownload
To be verified
19Deterministic Search Download
To be verified
20DFS and BFS Download
To be verified
21Comparing DFS and BFSDownload
To be verified
22Depth First Iterative Deepening Download
To be verified
23Heuristic Search Download
To be verified
24Heuristic Functions and the Search LandscapeDownload
To be verified
25Solution Space Search Download
To be verified
26The Traveling Salesman Problem Download
To be verified
27Escaping Local Optima Download
To be verified
28Stochastic Local SearchDownload
To be verified
29Genetic Algorithms: Survival of the FittestDownload
To be verified
30Genetic Algorithms and SATDownload
To be verified
31Genetic Algorithms for the TSPDownload
To be verified
32Emergent SystemsDownload
To be verified
33Ant Colony OptimizationDownload
To be verified
34Finding Optimal PathsDownload
To be verified
35Branch & BoundDownload
To be verified
36Algorithm A*Download
To be verified
37A*: An illustrated exampleDownload
To be verified
38Is A* Admissible?Download
To be verified
39Admissibility of A*Download
To be verified
40Higher, Faster ... Download
To be verified
41B&B - A* - wA* - Best First Download
To be verified
42A*: Leaner Admissible VariationsDownload
To be verified
43The Monotone ConditionDownload
To be verified
44DNA Sequence AlignmentDownload
To be verified
45Divide & Conquer Frontier Search. Download
To be verified
46Smart Memory Graph Search Download
To be verified
47Variations on A*: The story so far Download
To be verified
48Breadth First Heuristic Search Download
To be verified
49Beam Stack SearchDownload
To be verified
50Game TheoryDownload
To be verified
51Popular Recreational GamesDownload
To be verified
52Board Games and Game TreesDownload
To be verified
53The Evaluation Function in Board GamesDownload
To be verified
54Algorithm Minimax and Alpha-Beta PruningDownload
To be verified
55A Cluster of Strategies Download
To be verified
56SSS*: A Best First AlgorithmDownload
To be verified
57SSS*: A Detailed Example Download
To be verified
58Automated Domain Independent PlanningDownload
To be verified
59The Blocks World Domain Download
To be verified
60State Space Planning: Forward and Backward Download
To be verified
61Goal Stack Planning (GSP)Download
To be verified
62GSP: A Detailed ExampleDownload
To be verified
63Plan Space Planning (PSP)Download
To be verified
64PSP: A Tiny Example Download
To be verified
65Multi-Armed Robots Download
To be verified
66Means-Ends AnalysisDownload
To be verified
67The Planning Graph Download
To be verified
68Algorithm GraphplanDownload
To be verified
69Problem Decomposition. Download
To be verified
70Algorithm AO*Download
To be verified
71AO*: An IllustrationDownload
To be verified
72Rule Based Expert SystemsDownload
To be verified
73The Inference EngineDownload
To be verified
74The OPS5 Language Download
To be verified
75Conflict Resolution Download
To be verified
76Business Rule Management SystemsDownload
To be verified
77The Rete NetDownload
To be verified
78Rete Algorithm: Optimizing the MatchDownload
To be verified
79Rete Algorithm: Conflict Resolution Download
To be verified
80Reasoning in Logic Download
To be verified
81Rules of InferenceDownload
To be verified
82Forward Reasoning Download
To be verified
83First Order Logic Download
To be verified
84Implicit Quantifier NotationDownload
To be verified
85Backward ReasoningDownload
To be verified
86Depth First Search on Goal TreesDownload
To be verified
87Incompleteness...Download
To be verified
88Constraint Satisfaction Problems Download
To be verified
89Binary Constraint NetworksDownload
To be verified
90Interpreting Line Drawings Download
To be verified
91Model Based Diagnosis Download
To be verified
92Solving CSPsDownload
To be verified
93Arc ConsistencyDownload
To be verified
94Propagation = Reasoning Download
To be verified
95Lookahead Search Download
To be verified


Sl.No Language Book link
1EnglishNot Available
2BengaliNot Available
3GujaratiNot Available
4HindiNot Available
5KannadaNot Available
6MalayalamNot Available
7MarathiNot Available
8TamilNot Available
9TeluguNot Available