Lecture - 1 Introduction
Duration 1h 0m
Lecture - 2 Problem Solving by Search
Lecture - 3 Searching with Costs
Lecture - 4 Informed State Space Search
Lecture - 5 Heuristic Search A and Beyond
Lecture - 6 Problem Reduction Search AND OR Graphs
Lecture - 7 Searching Game Trees
Lecture - 8 Knowledge Based Systems-Logic and Deduction
Lecture - 9 First Order Logic
Lecture - 10 Inference in First Order Logic
Lecture - 11 Resolution - Refutation Proofs
Lecture - 12 Resolution Refutation Proofs
Lecture - 13 Logic Programming Prolog
Lecture - 14 Prolog Programming
Lecture - 15 Prolog-Exercising Control
Lecture - 16 Additional Topics
Lecture - 17 Introduction to Planning
Lecture - 18 Partial Order Planning
Lecture - 19 GraphPLAN and SATPlan
Lecture - 20 SATPlan
Lecture - 21 Reasoning Under Uncertainity
Lecture - 22 Bayesian Networks
Lecture - 23 Reasoning with Bayes Networks
Lecture - 24 Reasoning with Bayes networks (Contd.)
Lecture - 25 Reasoning Under Uncertainity(Issues)
Lecture - 26 Learning -Decision Trees
Lecture - 27 Learning-Neural Networks
Lecture - 28 Back Propagation Learning