Problem Solving and Search in Artificial
Intelligence
|
Course Syllabus
Course Number: 181.190 - Lecture with Exercises (SS 2018) Course Title: Problem Solving and Search in Artificial
Intelligence Credits: 2,0 Std. (3ECTS-Points) Lecturer: Priv. Doz. Dr. Nysret
Musliu Email: musliu@dbai.tuwien.ac.at |
Course Description: This course teaches the main artificial intelligence search techniques used for problem solving. The emphasis will be in informed search techniques, constraint satisfaction, advanced heuristic search techniques, and application of machine learning in search. The course covers these topics: · Basic Concepts · Uninformed Search Strategies · Heuristic Algorithms · Constraint Satisfaction Problems · Constraint Programming Techniques · Decomposition Techniques (Tree and Hypertree Decompositions) · Metaheuristic Algorithms (Simulated Annealing, Tabu Search, Genetic Algorithms…) · Adversarial Search and Game Playing ·
Application
of Machine Learning in Search (Automated Algorithm Selection, Hyperheuristics) · Algorithm Configuration (Automated Parameter Tuning) The use of search methods will be illustrated by examples, which show the application of these methods for solving of different hard problems with high practical relevance. Moreover, successful use of search methods in research and industrial projects of our group will be presented.
Course Structure: This course is a combination of lectures and exercises. Students will implement constraint programming and metaheuristic techniques for a particular problem. Additionally, during the course different logical problems and puzzles will be discussed. Students are encouraged to introduce new problems during the lectures. Literature: Stuart Russell and Peter Norvig . Artificial Intelligence: A Modern Approach (Third Edition), 2010 Z. Michalewicz and D. B. Fogel. How to Solve It: Modern Heuristics, 2nd edition, Springer-Verlag, 2004 Additionally the key papers from the literature will be used. … Grading Final (written) Exam: 50 points Project: 50 points For a positive grade
you must obtain at least 50 points and in the final exam you must reach at
least 25 points Schedule Lectures 22.03.2017 (10:00 -
12:00) (Seminarraum Gödel) Preliminary discussion Basic Concepts (How to Solve It: Modern Heuristics - Chapters 1, 2 ; Artificial Intelligence: A Modern Approach (AIMA) - Chapter 3) 12.04.2018 (10:00 -
12:00) (Seminarraum Gödel) Uninformed Search
Strategies (AIMA - Chapter 3, How to Solve It -
Chapters 3) Informed Search Algorithms (AIMA -
Chapter 4, How to Solve It: Modern Heuristics - Chapters 4) 19.04.2018 (10:00 - 12:00) (Seminarraum Gödel) Constraint
Satisfaction (AIMA - Chapter 5
and CSP) 26.04.2018 (10:00 - 12:00) (Seminarraum Gödel) Constraint
Satisfaction, SAT encodings Discussion in the
class. Problems: N-Queens, Sudoku, Graph Coloring, Rotating Workforce Scheduling, … (See scientific paper in TUWEL) 17.05.2018 (10:00 - 12:00) (Seminarraum Gödel) Structural Decomposition Techniques (Tree/Hypertree Decompositions) 24.05.2018 (10:30 -
12:00) (Seminarraum Gödel) Metaheuristic Algorithms: Local Search, Stochastic Hill Climbing, Simulated Annealing (How to Solve It - Chapters 3 (sec. 3.2), 4 (sec. 4.1) , 5 (sec. 5.1) 07.06.2018 (10:00 -
12:00) (Seminarraum Gödel) Metaheuristic Algorithms: Tabu
Search (How to Solve It: Modern
Heuristics - Chapters 4,5,6) Evolutionary
Algorithms (slides for Chapters 1, 2, 3 in http://www.cs.vu.nl/~gusz/ecbook/ecbook-course.html
) or (How to Solve It:
Modern Heuristics - Chapter 6, Chapter 7(optional)) 14.06.2018 (10:00 -
12:00) (Seminarraum Gödel) Application of Machine Learning in Search (Automated
Algorithm Selection) Algorithm Configuration
(Automated Parameter Tuning) 21.06.2018 (10:00 –
12:00) (Seminarraum Gödel) Presentation of projects 22.06.2018
(16:00 – 18:00) (EI 9 Hlawka HS) Final Exam (Two other exams will take place in
October/November) Project You will implement
methods that will be considered in this class for two problems (Rotating
Workforce Scheduling and Graph Coloring). The information for assignments will be given in TUWEL. The project consists
of two phases. Phase I: Solving rotating workforce scheduling problem by complete AI
techniques (Constraint programming or SAT) Phase II: Implementation of a metaheuristic technique (or a hybrid technique)
for the graph coloring problem 2 - 3 students can
work together in a group Schedule for the assignments: 16.05.2018 Submit in TUWEL your
implementation (source code and the description of your method) for Phase I 18.05.2018 (13:00 –
15:00) (Seminarraum Gödel) Presentation of projects (Phase I) 19.06.2018 Submit in TUWEL your
implementation (source code and the description of your method) for Phase II 21.06.2018 (10:00 –
12:00) (Seminarraum Gödel) Presentation of projects (Phase II) |
mailto: musliu@dbai.tuwien.ac.at |