Lehrende: Dr. Hannes Straß
Veranstaltungsart: Praktikum
Orga-Einheit: 10-Informatik
Anzeige im Stundenplan:
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Deutsch
Offizielle Kursbeschreibung: Das Praktikum führt in die Antwortmengenprogrammierung [1] ein. Dabei handelt es sich um ein logikbasiertes Programmierparadigma, bei dem Probleme so in Logikprogrammen modelliert werden, dass die Modelle des Programms ("Antwortmengen") genau die Lösungen des Problems darstellen. Die Sprache wird in einem Vorlesungsteil eingeführt und mit Hilfe von Hausaufgaben vertieft. Zum Schluss implementieren die Teilnehmenden ein eigenes Projekt und stellen es zum Ende des Semesters in einem Vortrag vor. Die Bearbeitung und Vorstellung der Hausaufgaben und der Implementierung erfolgt in Gruppen (3-5 Personen). Kenntnisse in Logik, Wissensrepräsentation und Programmierung sind vorteilhaft, aber nicht notwendig. [1] https://en.wikipedia.org/wiki/Answer_set_programming
Organisatorisches: Teilnehmende benötigen ein Login, das ihnen eine Anmeldung an einem der Linux-Rechner im Rechnerlabor A414 ermöglicht. Desweiteren ist der physikalische Zugang zum Rechnerlabor erforderlich, zum Beispiel mittels einer Chipkarte. Wir bieten am Anfang des Praktikums eine Blockvergabe von Logins und Freischaltung von Studienausweisen an. Bewertung und Scheinausstellung: Masterstudierende werden nicht gesondert bewertet, da das Praktikum für sie Zulassungsvoraussetzung zur Modulprüfung ist. Alle anderen Teilnehmenden erhalten auf Wunsch einen Praktikumschein, der nach der Vorlesungszeit bei Frau Gamrath im Raum P825 abgeholt werden kann. Anforderungen an Gruppen: - Vorstellen der eigenen Lösung einer Hausaufgabe (Termine werden festgelegt) - Implementierung eines eigenen ASP-Projekts (Themen stehen zur Auswahl) - Vortrag über die Implementierung (ein Vortrag pro Gruppe) Ablauf: - Das Praktikum findet wöchentlich im Rechnerlabor A414 statt. - In der Zeit vom 08.12.2016 bis 05.01.2017 finden keine Veranstaltungen statt, sie dient den Teilnehmenden zum Ausführen der Implementierungsarbeiten. Bei Bedarf kann natürlich eine Konsultation mit Diskussion des aktuellen Standes durchgeführt werden. - Die Abgabe der fertigen Implementierung erfolgt bis zum 11.01.2017, in den Wochen danach finden die Vorträge statt.
Literatur: Literatur: Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub. "Answer Set Solving in Practice". Morgan & Claypool Publishers, 2012. http://dx.doi.org/doi:10.2200/S00457ED1V01Y201211AIM019 Software: Benutzungsoberfläche SeaLion: http://www.sealion.at/ ASP-Solver clingo: http://sourceforge.net/projects/potassco/files/clingo/