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.
- 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.
Frontalvortrag mit Übungen.
Didaktisches Vorgehen:Frontalvortrag mit Übungen und praktischem Projekt.ECTS breakdown:3.0 ECTS = 75h20h Vorlesungen16h Übungen25h Praktisches Projekt + Präsentation14h Mündliche Prüfung mit Vorbereitung
Übungen (20%), Umsetzung praktisches Projekt und Abschlusspräsentation (40%), mündliche Prüfung (40%).
Experience in knowledge representation and ASP is advantageous but not strictly necessary for successful participation.