181.190 Problem Solving and Search in Artificial Intelligence
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2018S, VU, 2.0h, 3.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

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
  • Learning and Search

 

Inhalt der Lehrveranstaltung

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)

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

 

Weitere Informationen

The preliminary discussion (and the first lecture) will take place on 22.03.2018 (10:00 - 12:00) (Seminarraum Gödel)

 

 ECTS Breakdown:

9 classes (including preparation): 25 h

project (including presentation): 25 h

exam: 25 h

---------------

total: 75 h

 

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

 

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.10:00 - 12:0001.03.2018 - 21.06.2018Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Fr.13:00 - 15:0018.05.2018Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in AI
Problem Solving and Search in Artificial Intelligence - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.01.03.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Do.08.03.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Do.15.03.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Do.22.03.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Do.12.04.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Do.19.04.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Do.26.04.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Do.03.05.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Do.17.05.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Fr.18.05.201813:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in AI
Do.24.05.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Do.07.06.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Do.14.06.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence
Do.21.06.201810:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Problem Solving and Search in Artificial Intelligence

Leistungsnachweis

Assessment

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

LVA-Anmeldung

Von Bis Abmeldung bis
31.01.2018 10:00 09.03.2018 23:00 30.03.2018 18:00

Anmeldemodalitäten

Ort: TISS

 

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 931 Logic and Computation Gebundenes Wahlfach
066 933 Information & Knowledge Management Pflichtfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach

Literatur

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

Artificial Intelligence: A Modern Approach (Third Edition) by Stuart Russell and Peter Norvig; Prentice Hall, 2010.

Different scientific papers

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

 

Begleitende Lehrveranstaltungen

Sprache

Englisch