TUD Logo

TUD Home » ... » Teaching » Summer Term 2014 » Problem Solving and Search in Artificial Intelligence

Computational Logic

Problem Solving and Search in Artificial Intelligence

Summer Term 2014

Course Description

Problem solving and search is a central topic in Artificial Intelligence. This course presents several techniques to solve in general difficult problems.

The course covers the following topics:
  • Basic Concepts
  • Uninformed Search
  • Constraint Satisfaction
  • Structural Decomposition Techniques (Tree/Hypertree Decompositions)
  • Local Search, Stochastic Hill Climbing, Simulated Annealing
  • Tabu Search
  • Evolutionary Algorithms, Genetic Algorithms
  • Adversial Search and Game Playing

Lecturer:  Dr. Sarah Alice Gaggl

Modules:  INF-BAS2, MCL-KR, MCL-PI

Status:  advanced unit

SWS (lecture/tutorial/practical):  2/1/0

Examination method:  to be announced


  • none


The lecture is scheduled for Tuesday, 09:20-10:50 (DS 2) and the tutorial will be on Monday, 14:50-16:20 (DS 5) in room INF E005.
Note: the tutorial starts in May.

Lecture Date Time Slides
Introduction 08.04.2014 DS2 PSSAI_L1.pdf
Uninformed Search 15.04.2014 DS2 PSSAI_L2.pdf
Informed Search 22.04.2014 DS2 PSSAI_L3.pdf
Constraint Satisfaction Problems 29.04.2014 DS2 PSSAI_L4.pdf
Tutorial 1 05.05.2014 DS5 PSSAI-T1.pdf
Answer-Set Programming 06.05.2014 DS2 PSSAI_L5.pdf
Tutorial 2 12.05.2014 DS5 PSSAI-T2.pdf
ASP Modelling, Tree Decomposition 13.05.2014 DS2 PSSAI_L6.pdf
Tutorial 3 19.05.2014 DS5 PSSAI-T3.pdf
Structural Decomposition Techniques ctd. 20.05.2014 DS2 PSSAI_L7.pdf
Local Search, Stochastic Hill Climbing, Simulated Annealing 27.05.2014 DS2 PSSAI_L8.pdf
Tutorial 4 02.06.2014 DS5 PSSAI-T4.pdf
Tabu Search 03.06.2014 DS2
Evolutionary Algorithms 17.06.2014 DS2 Intro_EAs.pdf
Tutorial 5 23.06.2014 DS5
Evolutionary Algorithms ctd. 24.06.2014 DS2 GA_for_TSP.pdf
Adversial Search 01.07.2014 DS2
Tutorial 6 07.07.2014 DS5


  • Stuart J. Russell and Peter Norvig. "Artificial Intelligence A Modern Approach" (3. edition ). Pearson Education, 2010.
  • Zbigniew Michalewicz and David B. Fogel. "How to Solve It: Modern Heuristics", volume 2. Springer, 2004.
Last modified: 27th Jun 2014, 3.00 PM
Author: Dr. Sarah Gaggl