Answer Set Programming (SS 2020)
Ziel dieser Lehrveranstaltung ist, dass die Studierenden das Programmieren mit Antwortmengen (engl. Answer Set Programming oder kurz ASP) lernen und damit sicher Probleme lösen können. Dazu werden wir uns einmal in der Woche für 2 Stunden treffen, in denen die Teilnehmer und Teilnehmerinnen sich unter Anleitung das Buch Answer Set Programming von Vladimir Lifschitz selbständig erarbeiten und die darin aufgeführten Aufgaben lösen. Weitere 2 Stunden sind für eine selbständige vertiefte Einarbeitung vorgesehen.
Wir treffen uns immer montags 2. DS (9:20-10:50) im Raum E07 (APB).
Diese Lehrveranstaltung ist den Modulen INF-B-510, INF-B-520 und INF-D-520 zugeordnet.
Teilnahme
lnteressierte Teilnehmerinnen und Teilnehmer an den Lehrveranstaltungen müssen sich anmelden. Schicken Sie dazu eine Email mit Ihren Daten (Name, Vorname, Email-Adresse, Studiengang) und dem Subject ANMELDUNG ASP an sh@iccl.tu-dresden.de.
Für die Teilnahme ist es notwendig, Clingo auf dem eigenen Laptop installiert zu haben. Hier eine kurze Anleitung dazu:
- Laden Sie Clingo von einem der folgenden Links herunter, je nach Betriebssystem:
- https://github.com/potassco/clingo/releases/download/v5.4.0/clingo-5.4.0-linux-x86_64.tar.gz
- https://github.com/potassco/clingo/releases/download/v5.4.0/clingo-5.4.0-macos-x86_64.tar.gz
- https://github.com/potassco/clingo/releases/download/v5.4.0/clingo-5.4.0-win64.zip
- Entpacken Sie die Dateien und führen Sie sie entsprechend aus.
- Oder folgen Sie den Anweisungen auf der folgenden Seite: https://github.com/potassco/clingo/releases/tag/v5.4.0
Hier ist der Potassco-Guide:
https://github.com/potassco/guide/releases/download/v2.2.0/guide.pdf
Das obengenannte Buch stellen wir hier als passwortgeschützte PDF zur Verfügung. Das Passwort wird den Studierenden nach der Anmeldung mitgeteilt.
Hier die bibliographischen Daten zu dem Buch:
Lifschitz, V. (2019). Answer set programming. Springer International Publishing.
Aufgaben
Aufgaben bis zum 20. April:
- Buch herunter laden
- clingo installieren
- Kapitel 1 lesen
- Die ersten Programme in Kapitel 2 erstellen und in clingo laufen lassen
Musterlösungen
Die folgenden beiden Dateien enthalten Musterlösungen zu Aufgaben aus Kapitel 3:
Progroammieraufgaben Argumentation
Hier gibt es die ASP-Programmieraufgaben zum Thema Argumentationssemantiken.
Die Referenze [2] aus dem Dokument mit den ASP-Programmieraufgaben kann hier runtergeladen werden.