Syllabus  |   Lectures  |   Downloads  |   FAQ  |   Ask a question  |  
Course Co-ordinated by IIT Kharagpur
Coordinators
 
Prof. P. Dasgupta
IIT Kharagpur

 

Untitled Document

The course covers lessons in Introduction to Artificial Intelligence, Problem Solving by Search, Searching with Costs, Heuristic Search: A* and Beyond, Searching Game Trees, Knowledge Based Systems: Logic and Deduction, First Order Logic, nference in First Order Logic, Logic Programming : Prolog, Prolog: Exercising Control, GraphPLAN and SATPlan, Reasoning with Bayes Networks .

S.No
Topic

1

Introduction to Artificial Intelligence

2

Problem Solving by Search

3

Searching with Costs

4

Informed State Space Search

5

Heuristic Search: A* and Beyond

6

Problem Reduction Search: AND/OR Graphs

7

Searching Game Trees

8

Knowledge Based Systems: Logic and Deduction

9

First Order Logic

10

Inference in First Order Logic

11

Resolution - Refutation Proofs

12

Logic Programming : Prolog

13

Prolog Programming

14

Prolog: Exercising Control

15

Additional Topics

16

Introduction to Planning

17

Partial Order Planning

18

GraphPLAN and SATPlan

19

SATPlan

20

Reasoning under uncertainty

21

Bayesian Networks

22

Reasoning with Bayes Networks

23

Reasoning with Bayes networks (Contd.)

24

Reasoning under uncertainty: Issues

25

Learning : Decision Trees

26

Learning : Neural Networks

27

Back Propagation Learning
   
   
Under development

Important: Please enable javascript in your browser and download Adobe Flash player to view this site
Site Maintained by Web Studio, IIT Madras. Contact Webmaster: nptel@iitm.ac.in