The aim of this course is to teach main artificial intelligence search techniques used for problem solving in the past years. The emphasis of this course will be in:

• Informed search techniques
• Constraint satisfaction
• Advanced (meta)heuristic search techniques

Topics:

• Basic Concepts of Problem Solving
• Uninformed Search
• Informed Search
• Local Search (Simulated Annealing, Tabu Search)
• Genetic Algorithms
• Constraint Satisfaction
• Local Search for Constraint Satisfaction Problems (CSP)
• The Structure of CSPs
• Adversarial Search and Game Playing
• Learning in Search

Didactical Concept

• Lectures
• Exercises/project: students will implement an exact or a metaheuristic method for a particular problem
• Discussion for solving of different logical problems and puzzles
• Presentation of solution methods from students
• Demonstration of applications developed in research and industrial projects of our group

For latest information, please visit the website of this course: http://www.dbai.tuwien.ac.at/staff/musliu/ProblemSolvingAI/

Assessment

• Written exam(60%)
• Assignments (Project) (40%)

Ort: TISS

Z. Michalewicz and D. B. Fogel. How to Solve It: Modern Heuristics, 2nd edition, Springer-Verlag, 2004

Artificial Intelligence: A Modern Approach (Second Edition) by Stuart Russell and Peter Norvig; Prentice Hall, 2003. ISBN 0-13-103805-2.

Different scientific papers

(slides: http://www.dbai.tuwien.ac.at/staff/musliu/ProblemSolvingAI/ )