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.

2021S, VU, 2.0h, 3.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Online

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

After successful completion of the course, students are able to:

  • Develop and apply uninformed and informed search methods
  • Design and implement (meta)heuristic methods for various problems
  • Model problems with constrsint programming (CP) modeling languages and SAT
  • Use CP/SAT for solving various problems
  • Understand concepts regarding tree/hypertree decompositions and be able to use (hyper)tree decompositions in problem solving
  • Explain methods that are used for automated algorithm configuration and algorithm selection
  • Apply automated algorithm selection and configuration for various problems/algorithms

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)

Methoden

  • Lectures
  • Exercises/project: students will implement an exact and a metaheuristic/hybrid 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

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

The preliminary discussion will take place on 12.03.2021 (10:15 - 11:00) (Online). Lecture will take place online every Friday from 10:15-12:00.

 

ECTS Breakdown:

9 classes (including preparation): 25 h

project (including presentation): 25 h

exam: 25 h

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

total: 75 h

 

For latest information, please visit TUWEL

 

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.10:00 - 12:0012.03.2021 - 25.06.2021 Zoom (LIVE)Lectures
Problem Solving and Search in Artificial Intelligence - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.12.03.202110:00 - 12:00 ZoomLectures
Fr.19.03.202110:00 - 12:00 ZoomLectures
Fr.26.03.202110:00 - 12:00 ZoomLectures
Fr.16.04.202110:00 - 12:00 ZoomLectures
Fr.23.04.202110:00 - 12:00 ZoomLectures
Fr.30.04.202110:00 - 12:00 ZoomLectures
Fr.07.05.202110:00 - 12:00 ZoomLectures
Fr.21.05.202110:00 - 12:00 ZoomLectures
Fr.28.05.202110:00 - 12:00 ZoomLectures
Fr.04.06.202110:00 - 12:00 ZoomLectures
Fr.11.06.202110:00 - 12:00 ZoomLectures
Fr.18.06.202110:00 - 12:00 ZoomLectures
Fr.25.06.202110:00 - 12:00 ZoomLectures

Leistungsnachweis

Assessment

  • Written exam(50%)
  • Assignments (Project) (50%)

Open book exam. The exam will take place online (via Zoom).

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Di.15:00 - 17:0025.06.2024 FAV Hörsaal 1 Helmut Veith - INFbeurteilt09.06.2024 15:00 - 24.06.2024 17:00in TISSFinal exam
Mo.17:00 - 19:0014.10.2024FAV Hörsaal 1 Helmut Veith - INF beurteilt04.07.2024 12:00 - 07.10.2024 14:00in TISSProblem Solving and Search in AI (second exam..)

LVA-Anmeldung

Von Bis Abmeldung bis
28.01.2021 10:00 16.03.2021 11:00 26.03.2021 17:00

Anmeldemodalitäten

Ort: TISS

 

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 645 Data Science Keine Angabe
066 926 Business Informatics Gebundenes Wahlfach
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: TUWEL

 

Vorkenntnisse

Knowledge of algorithms and data structures

Programming skills

 

Begleitende Lehrveranstaltungen

Sprache

Englisch