x
Menu

Artificial Intelligence III

IIT Madras, , Prof. Deepak Khemani

Updated On 02 Feb, 19

Overview

Introduction - State space search - State space search - DFS - DFID - Heuristic Search - Hill Climbing - Solution space search , Beam search - TSP greedy methods - Tabu search - Randomized: Simulated Annealing - Genetic Algorithms (GA) - GAs continued - GAs for TSP, Ant colony optimization - Branch & Bound - A* - A* admissibility - A* - Monotone condition, IDA* - RBFS, Sequence alignment - Pruning - DCFS, SMGS, BSS, DCBSS - Problem Decomposition - AO* - Game playing - Game playing - Minimax - Game playing - AlphaBeta - Game Playing - SSS* - Rule Based Systems - Inference Engines - Rete Algorithm - Planning - Planning FSSP, BSSP - Goal Stack Planning. Sussman's Anomaly - Non-linear planning - Plan Space Planning - GraphPlan - Constraint Satisfaction Problems (CSP) - CSP, AC-1 - Knowledge Based Systems - Knowledge Based Systems - Propositional Logic - Resolution refutation for PL - First Order Logic (FOL) - Reasoning in FOL - Backward Chaining - Resolution method for FOL

Includes

Lecture 45: First Order Logic (FOL)

4.1 ( 11 )


Lecture Details

Artificial Intelligence by Prof. Deepak Khemani,Department of Computer Science and Engineering,IIT Madras.For more details on NPTEL visit httpnptel.ac.in

Ratings

0


0 Ratings
55%
30%
10%
3%
2%
Comments
comment person image

Sam

Excellent course helped me understand topic that i couldn't while attendinfg my college.

Reply
comment person image

Dembe

Great course. Thank you very much.

Reply
Send