The objectives of the course are:
- Introduce the field of AI in general
- Present the theory of complexity
- Develop effective solutions for problem solving using exploration algorithms
This is what is taught in the CRP module at ESI in Algiers.
-------------------------------------------------------------------------------
Course Map
I) Introduction to AI & Formal manipulations
- Graph traversal algorithms, Formal systems (slides)
- Fixed point theory, λ-calculus (slides)
II) Complexity theory
– Classification of problems / NP-Completeness / Polynomial reductions (slides)
III) Problem solving
– Problem decomposition:
bottom-up and top-down approaches, Dynamic Programming (slides)
– Exhaustive searches:
Depth-First Search (DFS), Breadth-First Search (BFS), MinMax and Alpha/Beta pruning, Iterative Deepening (slides)
– Searches guided by heuristics:
Best First Search, A*, IDA*, Recursive Best First Search (slides)
– Constraint Satisfaction Problems:
Modeling and inference in CSPs (slides), Logic programming (slides), Constraint Propagation (slides)