13548 Lecture Foundations of Artificial Intelligence | Department of Mathematics and Computer Science

Important Links

Lecture Slides

No	Topic	Date	Slides
A1	Organizational Matters	17.02.	screen printer handout
A2	What is Artificial Intelligence?	17.02.	screen printer handout
A3	AI Past and Present	19.02.	screen printer handout
A4	Rational Agents	19.02.	screen printer handout
A5	Introduction: Environments and Problem Solving Methods	24.02.	screen printer handout
B1	State-Space Search: State Spaces	24.02.	screen printer handout
B2	State-Space Search: Representation of State Spaces	26.02.	screen printer handout
B3	State-Space Search: Examples of State Spaces	26.02.	screen printer handout
B4	State-Space Search: Data Structures for Search Algorithms	03.03.	screen printer handout
B5	State-Space Search: Tree Search and Graph Search	03.03.	screen printer handout
B6	State-Space Search: Breadth-first Search	05.03.	screen printer handout
B7	State-Space Search: Uniform Cost Search	05.03.	screen printer handout
B8	State-Space Search: Depth-first Search & Iterative Deepening	17.03.	screen printer handout
B9	State-Space Search: Heuristics	17.03.	screen printer handout
B10	State-Space Search: Analysis of Heuristics	19.03.	screen printer handout
B11	State-Space Search: Best-first Graph Search	19.03.	screen printer handout
B12	State-Space Search: Greedy BFS, A^*, Weighted A^∗	26.03.	screen printer handout
B13	State-Space Search: IDA^∗	26.03.	screen printer handout
B14	State-Space Search: Properties of A^∗, Part I	31.03.	screen printer handout
B15	State-Space Search: Properties of A^∗, Part II	31.03.	screen printer handout
C1	Combinatorial Optimization: Introduction and Hill-Climbing	02.04.	screen printer handout
C2	Combinatorial Optimization: Advanced Techniques	02.04.	screen printer handout
D1	Constraint Satisfaction Problems: Introduction and Examples	07.04.	screen printer handout
D2	Constraint Satisfaction Problems: Constraint Networks	07.04.	screen printer handout
D3	Constraint Satisfaction Problems: Backtracking	09.04.	screen printer handout
D4	Constraint Satisfaction Problems: Arc Consistency	09.04.	screen printer handout
D5	Constraint Satisfaction Problems: Path Consistency	14.04.	screen printer handout
D6	Constraint Satisfaction Problems: Constraint Graphs	14.04.	screen printer handout
D7	Constraint Satisfaction Problems: Decomposition Methods	16.04.	screen printer handout
E1	Propositional Logic: Syntax and Semantics	16.04.	screen printer handout
E2	Propositional Logic: Equivalence and Normal Forms	23.04.	screen printer handout
E3	Propositional Logic: Reasoning and Resolution	23.04.	screen printer handout
	Complete Slide Set (up to E3)		screen printer handout

Exercises

are provided via ADAM

Supplementary Material

Chap.	Description
A2	Jones and Bergen: "Large Language Models Pass the Turing Test"
A3	Turing: "Computing Machinery and Intelligence"
B2	bounded inc-and-square problem: explicit graph
B2	8-Puzzle: explicit graph, declarative representation, black box
B2	Delling et al.: "Engineering Route Planning Algorithms"
B4	Burns et al.: "Implementing Fast Heuristic Search Code"
B6	Korf and Schultze: "Large-Scale Parallel Breadth-First Search"
B8	Complexity estimation script
B9	Korf: "Finding Optimal Solutions to Rubik’s Cube Using Pattern Databases"
B12	Jordan Thayer: "A Brief Introduction to Search" (YouTube video)
B13	Helmert et al.: "Iterative Budgeted Exponential Search"
C1	Python implementation of Hill Climbing
C2	Python implementation of Hill Climbing with Stagnation
C2	Python implementation of Hill Climbing with Stagnation and Randomization
C2	Python implementation of Simulated Annealing
D1	Numberphile video on Four Colour Problem (YouTube video)
D1	McGuire et al.: "There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem"
D5	Simonis: "Sudoku as a Constraint Problem"

To top

Important Links

Lecture Slides

Exercises

Supplementary Material

Social Media