Artificial Intelligence

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