""

Important Links

Lecture Slides

NoTopicDateSlides
A1Organizational Matters26.02.

screen

printer

A2What is Artificial Intelligence?26.02.

screen

printer

A3AI Past and Present28.02.

screen

printer

A4Rational Agents28.02.

screen

printer

A5Introduction: Environments and Problem Solving Methods04.03.

screen

printer

B1State-Space Search: State Spaces04.03.

screen

printer

B2State-Space Search: Representation of State Spaces06.03.

screen

printer

B3State-Space Search: Examples of State Spaces06.03.

screen

printer

B4State-Space Search: Data Structures for Search Algorithms11.03.

screen

printer

B5State-Space Search: Tree Search and Graph Search11.03.

screen

printer

B6State-Space Search: Breadth-first Search13.03.

screen

printer

B7State-Space Search: Uniform Cost Search13.03.

screen

printer

B8State-Space Search: Depth-first Search & Iterative Deepening18.03.

screen

printer

B9State-Space Search: Heuristics18.03.

screen

printer

B10State-Space Search: Analysis of Heuristics20.03.

screen

printer

B11State-Space Search: Best-first Graph Search20.03.

screen

printer

B12State-Space Search: Greedy BFS, A*, Weighted A25.03.

screen

printer

B13State-Space Search: IDA25.03.

screen

printer

B14State-Space Search: Properties of A, Part I27.03.

screen

printer

B15State-Space Search: Properties of A, Part II27.03.

screen

printer

C1Combinatorial Optimization: Introduction and Hill-Climbing03.04.

screen

printer

C2Combinatorial Optimization: Advanced Techniques03.04.

screen

printer

D1Constraint Satisfaction Problems: Introduction and Examples08.04.

screen

printer

D2Constraint Satisfaction Problems: Constraint Networks08.04.

screen

printer

D3Constraint Satisfaction Problems: Backtracking10.04.

screen

printer

D4Constraint Satisfaction Problems: Arc Consistency10.04.

screen

printer

D5Constraint Satisfaction Problems: Path Consistency15.04.

screen

printer

D6Constraint Satisfaction Problems: Constraint Graphs15.04.

screen

printer

D7Constraint Satisfaction Problems: Decomposition Methods17.04.

screen

printer

E1Propositional Logic: Syntax and Semantics17.04.

screen

printer

E2Propositional Logic: Equivalence and Normal Forms22.04.

screen

printer

E3Propositional Logic: Reasoning and Resolution22.04.

screen

printer

E4Propositional Logic: DPLL Algorithm24.04.

screen

printer

E5Propositional Logic: Local Search and Outlook24.04.

screen

printer

F1Automated Planning: Introduction29.04.

screen

printer

F2Automated Planning: Planning Formalisms29.04.

screen

printer

F3Automated Planning: Delete Relaxation06.05.

screen

printer

F4Automated Planning: Delete Relaxation Heuristics06.05.

screen

printer

F5Automated Planning: Abstraction08.05.

screen

printer

F6Automated Planning: Abstraction Heuristics08.05.

screen

printer

G1Board Games: Introduction and State of the Art13.05.

screen

printer

G2Board Games: Minimax Search and Evaluation Functions13.05.

screen

printer

G3Board Games: Alpha-Beta Search15.05.

screen

printer

G4Board Games: Stochastic Games15.05.

screen

printer

G5Board Games: Monte-Carlo Tree Search Framework22.05.

screen

printer

G6Board Games: Monte-Carlo Tree Search Variants22.05.

screen

printer

 Complete Slide Set 

screen

printer

Exercises

are provided via ADAM

Supplementary Material

Chap.Description
A3Turing: "Computing Machinery and Intelligence"
B2bounded inc-and-square problem: explicit graph
B28-Puzzle: explicit graph, declarative representation, black box
B2Delling et al.: "Engineering Route Planning Algorithms"
B4Burns et al.: "Implementing Fast Heuristic Search Code"
B6Korf and Schultze: "Large-Scale Parallel Breadth-First Search"
B8Complexity estimation script
B9Korf: "Finding Optimal Solutions to Rubik’s Cube Using Pattern Databases"
B12Jordan Thayer: "A Brief Introduction to Search" (YouTube video)
B13Helmert et al.: "Iterative Budgeted Exponential Search"
C1Python implementation of Hill Climbing
C2Python implementation of Hill Climbing with Stagnation
C2Python implementation of Hill Climbing with Stagnation and Randomization
D1Numberphile video on Four Colour Problem (YouTube video)
D1McGuire et al.: "There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem"
D5Simonis: "Sudoku as a Constraint Problem"
E5Bayless et al.: "SAT Modulo Monotonic Theories"
E5Katebi et al.: "Empirical Study of the Anatomy of Modern SAT Solvers"
F2Blocks World: PDDL model
F4Keyder and Geffner: "Heuristics for Planning with Action Costs Revisited"
F6Kreft et al.: "Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement"
G2Giambatista Lolli: "Osservazioni teorico-pratiche sopra il Giuoco degli Scacchi ossia il Giuoco degli scacchi eposta nel suo miglior lume"
G3Alpha-Beta best-case script
G6David Silver at al.: "Mastering the game of Go with deep neural networks and tree search"

 (*) Please get in touch with us if you are interested in this material. For copyright reasons, we are not allowed to make it available online.