Prinzipien der Wissensrepräsentation - Übungen
Wie auf der Übersichtsseite beschrieben, gibt es zu dieser Vorlesung sowohl theoretische als auch praktische Übungen. In beiden Bereichen können jeweils 10 Bonuspunkte für die Klausur erworben werden. Beide Arten von Übungen dürfen in Gruppen von zwei Personen bearbeitet werden.
Aufgaben
| Übungsblatt | Ausgeteilt | Abgabe |
|---|---|---|
| Übungsblatt 1 | Fr, 22. Oktober | Mi, 27. Oktober |
| Übungsblatt 2 | Mi, 27. Oktober | Mi, 3. November |
| Übungsblatt 3 | Mi, 3. November | Mi, 10. November |
| Übungsblatt 4 | Do, 11. November | Mi, 17. November |
| Übungsblatt 5 | Mi, 17. November | Mi, 24. November |
| Übungsblatt 6 | Mi, 24. November | Mi, 1. Dezember |
| Übungsblatt 7 | Mi, 1. Dezember | Mi, 8. Dezember |
| Übungsblatt 8 | Mi, 8. Dezember | Mi, 15. Dezember |
| Übungsblatt 9 | Mi, 15. Dezember | Mi, 22. Dezember |
| Übungsblatt 10 | Mi, 22. Dezember | Mi, 12. Januar |
| Übungsblatt 11 | Mi, 12. Januar | Mi, 19. Januar |
| Übungsblatt 12 | Mi, 19. Januar | Mi, 26. Januar |
| Übungsblatt 13 | Mi, 26. Januar | Mi, 2. Februar |
| Übungsblatt 14 | Mi, 2. Februar | Mi, 9. Februar |
Projekte
| Projektbeschreibung | Ausgeteilt | Abgabe |
|---|---|---|
| Projekt P1 | Fr, 19. November | Fr, 17. Dezember |
| Projekt P2 | Mo, 20. Dezember | Fr, 21. Januar |
| Projekt P3 | Di, 11. Januar | Fr, 11. Februar |
Projekte können in den folgenden Programmiersprachen bearbeitet werden: C, C++, Java, Haskell, Perl, Prolog, Python. Andere Programmiersprachen sind nach Absprache möglich; in diesem Fall bitte vor Bearbeitung des Projekts bei uns melden.
Die eingereichten Programme müssen einige Tests bestehen und ausreichend dokumentiert sein. Programme, die diesen beiden Anforderungen nicht genügen, werden nicht akzeptiert, aber es besteht die Möglichkeit, innerhalb der Abgabefrist nachzubessern. Die Erfahrung zeigt, dass die erste eingereichte Lösung selten alle Fälle abdeckt, daher bitten wir darum, frühzeitig abzugeben, um ausreichend Zeit für Nachbesserungen zu haben.
Weitere Downloads
- Das lparse/smodels-Paket, das für Übungsblatt 5 benötigt wird.
- Der SAT-Solver zchaff, der für die Projekte P1 und P3 benötigt wird, als C++-Sourcecode und als ausführbares Programm (Linux-PC).
- Die Kompositionstabelle von Allens Intervallalgebra sowie die Liste der Relationen der ORD-Horn-Klasse, die für Projekt P2 benötigt werden.
- Semantische Netze für Projekt P3 (Beispieleingaben).