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.

2020S, VU, 2.0h, 3.0EC
Diese Lehrveranstaltung wird nach dem neuen Modus evaluiert. Mehr erfahren

LVA-Bewertung

Merkmale

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

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.

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

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.14:00 - 16:0010.03.2020FAV Hörsaal 2 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
28.02.2020 00:00 20.03.2020 23:55 20.03.2020 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