Artificial Intelligence: Introduction. Introduction to AI. AI Introduction: Philosophy. AI Introduction. Introduction: Philosophy. State Space Search - Introduction. Search - DFS and BFS. Search DFID. Heuristic Search. Hill climbing. Solution Space Search,Beam Search. TSP Greedy Methods. Tabu Search. Optimization - I (Simulated Annealing). Optimization II (Genetic Algorithms). Population based methods for Optimization. Population Based Methods II. Branch and Bound, Dijkstra's Algorithm. A* Algorithm. Admissibility of A*. A* Monotone Property, Iterative Deeping A*. Recursive Best First Search, Sequence Allignment. Pruning the Open and Closed lists. Problem Decomposition with Goal Trees. AO* Algorithm. Game Playing. Game Playing- Minimax Search. Game Playing - AlphaBeta. Game Playing-SSS *. Rule Based Systems. Inference Engines. Rete Algorithm. Planning. Planning FSSP, BSSP. Goal Stack Planning Sussman's Anomaly. Non-linear planning. Plan Space Planning. GraphPlan. Mod-01 Lec-39 Constraint Satisfaction Problems. Mod-01 Lec-40 CSP Continued. Mod-01 Lec-41 Knowlege Based Systems. Mod-01 Lec-42 Knowledge Based Systems PL. Mod-01 Lec-43 Propositional Logic. Mod-01 Lec- 44 Resolution Refutation for PL. Mod-01 Lec-45 First Order Logic (FOL). Mod-01 Lec-46 Reasoning in FOL. Mod-01 Lec-47 Backward Chaining. Mod-01 Lec-48 Resolution for FOL.