Play all

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

Description:

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.

Artificial Intelligence

NPTEL

Add to list

#Computer Science #Artificial Intelligence #Machine Learning #Humanities #Philosophy #Logic #First-Order Logic #Algorithms #Search Algorithms

0:00 / 0:00