192.084 Practical Applications of Answer Set Programming
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, VU, 2.0h, 3.0EC
TUWEL

LVA-Bewertung

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage unterschiedliche Werkzeuge, Sprachen und Methoden zur Answer-Set Programming zu benennen und zu erläutern, sowie theoretische Zusammenhänge korrekt zu argumentieren.

Inhalt der Lehrveranstaltung

- A quick introduction to Answer-Set Programming (ASP).
- Methodology and workflow for ASP in practical applications.
- Overview of ASP tools and solvers, including strengths and weaknesses.
- State-of-the-art solving techniques to tackle industrial-sized applications (lazy-grounding, domain-specific heuristics, etc).
- Methods for minimizing problem complexity (syntactic restriction, abstraction, symmetry-breaking, order imposing, etc).
- Further (non-technical) problems to expect in practice.
- Application of learned knowledge in a small, industrial application project (praktisches Projekt) on real data from industry.

Methoden

Frontalvortrag mit Übungen und praktischem Projekt.

 

Hinweis: Falls Covid-19 es notwendig macht wird die LVA auf Distance-Learning umgestellt (Vorlesung und Übungen als Live-Session in Big Blue Button oder Zoom).

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Didaktisches Vorgehen:
Frontalvortrag mit Übungen und praktischem Projekt.


ECTS breakdown:
3.0 ECTS = 75h

20h Vorlesungen
16h Übungen
25h Praktisches Projekt + Präsentation
14h Mündliche Prüfung mit Vorbereitung

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.17:00 - 19:0009.03.2022 - 29.06.2022Seminarraum FAV 01 B (Seminarraum 187/2) Practical Applications of Answer Set Programming
Mo.17:00 - 19:0014.03.2022 - 27.06.2022Seminarraum FAV 01 B (Seminarraum 187/2) UE: Practical Applications of Answer Set Programming
Practical Applications of Answer Set Programming - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.09.03.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) Practical Applications of Answer Set Programming
Mo.14.03.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) UE: Practical Applications of Answer Set Programming
Mi.16.03.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) Practical Applications of Answer Set Programming
Mo.21.03.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) UE: Practical Applications of Answer Set Programming
Mi.23.03.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) Practical Applications of Answer Set Programming
Mo.28.03.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) UE: Practical Applications of Answer Set Programming
Mi.30.03.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) Practical Applications of Answer Set Programming
Mo.04.04.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) UE: Practical Applications of Answer Set Programming
Mi.06.04.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) Practical Applications of Answer Set Programming
Mo.25.04.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) UE: Practical Applications of Answer Set Programming
Mi.27.04.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) Practical Applications of Answer Set Programming
Mo.02.05.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) UE: Practical Applications of Answer Set Programming
Mi.04.05.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) Practical Applications of Answer Set Programming
Mo.09.05.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) UE: Practical Applications of Answer Set Programming
Mi.11.05.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) Practical Applications of Answer Set Programming
Mo.16.05.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) UE: Practical Applications of Answer Set Programming
Mi.18.05.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) Practical Applications of Answer Set Programming
Mo.23.05.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) UE: Practical Applications of Answer Set Programming
Mi.25.05.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) Practical Applications of Answer Set Programming
Mo.30.05.202217:00 - 19:00Seminarraum FAV 01 B (Seminarraum 187/2) UE: Practical Applications of Answer Set Programming

Leistungsnachweis

Übungen (20%), Umsetzung praktisches Projekt und Abschlusspräsentation (40%), mündliche Prüfung (40%).

 

LVA-Anmeldung

Von Bis Abmeldung bis
01.03.2022 00:00 18.03.2022 23:55 18.03.2022 23:55

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Experience in knowledge representation and ASP is advantageous but not strictly necessary for successful participation.

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch