Artificial Intelligence

Instructor: Prof. P. Dasgupta, Department of Computer Science and Engineering, IIT Kharagpur.

This course provides an introduction to artificial intelligence, covering topics like Problem Solving by Search, Searching with Costs, Heuristic Search: A* and Beyond, Searching Game Trees, Knowledge-Based Systems: Logic and Deduction, First Order Logic, Inference in First-Order Logic, Logic Programming: Prolog, Prolog: Exercising Control, GraphPLAN and SATPlan, Reasoning with Bayes Networks.

Lecture - 1 Introduction.
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.