EE-Learning
Backward Chaining
Catogry:
Computing
Subject:
Computer Science
Course:
Artificial Intelligence III
Lecture List
Resolution for FOL
Backward Chaining
Reasoning in FOL
First Order Logic (FOL)
Resolution Refutation for PL
Propositional Logic
Knowledge Based Systems PL I
Knowlege Based Systems
CSP Continued
Constraint Satisfaction Problems
Graph Plan
Plan Space Planning
Non Linear Planning
Goal Stack Planning Sussman’s Anomaly
Planning FSSP,BSSP
Planning
Rete Algorithm
Inference Engines
Rule Based Systems
Game Playing SSS I
Game Playing AlphaBeta
Game Playing Minimax Search
Game Playing
AO * Algorithm
Problem Decomposition with goal Trees
Pruning the Open and Closed Lists
Recursive Best First Search,Sequence Allignment
A* Monotone Property,Iteractive Deeping A*
Admissibility of A*
A* Algorithm
Branch and Bound,Dijkstra’s Algorithm
Population Based Methods II
Population Based Methods for Optimization
Optimization II (Genetic Algorithms)
Optimization I (Simulated Annealing)
Tabu Search
TSP Greedy Methods
Solution Space Search,Beam Search
Hill Climbing
Heuristic Search
Search DFID
Search-DFS and BFS
State Space Search Intro
Introduction Philosophy
AI Introduction I
AI Introduction Philosophy
Introduction to AI
Artificial Intelligence: Introduction