Uni-Logo

Prinzipien der Wissensrepräsentation - Vorlesungen

Nr. Datum Thema Folien Letzte Änderung
1. Mi, 20. Oktober 2004 Einführung (PDF) (4-auf-1; PDF)
2. Mi, 20. Oktober 2004 Aussagenlogik (PDF) (4-auf-1; PDF)
3. Fr, 22. Oktober 2004 Prädikatenlogik (PDF) (4-auf-1; PDF)
4. Mi, 27. Oktober 2004
Fr, 29. Oktober 2004
Modallogik (PDF) (4-auf-1; PDF)
5. Mi, 3. November 2004
Fr, 5. November 2004
Mi, 10. November 2004
Default-Logik (PDF) (4-auf-1; PDF)
6. Fr, 12. November 2004 Nichtmonotone Logik-Programmierung (PDF) (4-auf-1; PDF)
7. Mi, 17. November 2004
Fr, 19. November 2004
Mi, 24. November 2004
Kumulative Logik (PDF) (4-auf-1; PDF) 24. November 2004
8. Mi, 24. November 2004
Fr, 26. November 2004
Wissensrevision (PDF) (4-auf-1; PDF)
9. Mi, 1. Dezember 2004
Fr, 3. Dezember 2004
Qualitative Kalküle und Constraint-Satisfaction-Probleme (PDF) (4-auf-1; PDF) 16. Dezember 2004
10. Mi, 8. Dezember 2004
Fr, 10. Dezember 2004
Mi, 15. Dezember 2004
Allens Intervallkalkül (PDF) (4-auf-1; PDF) 16. Dezember 2004
11. Fr, 17. Dezember 2004
Mi, 22. Dezember 2004
RCC8 und Topologie (PDF) (4-auf-1; PDF) 21. Dezember 2004
12. Mi, 12. Januar 2005 Semantische Netze und Beschreibungslogiken - Einführung (PDF) (4-auf-1; PDF)
13. Mi, 12. Januar 2005 Einfache, strikte Vererbungsnetzwerke (PDF) (4-auf-1; PDF) 16.Januar 2005
14. Fr, 14. Januar 2005
Mi, 19. Januar 2005
Beschreibungslogiken -- Terminologie and Notation (PDF) (4-auf-1; PDF) 16.Januar 2005
15. Fr, 21. Januar 2005 Beschreibungslogiken -- Schlußfolgerungs-Services (PDF) (4-auf-1; PDF)
16. Mi, 26. Januar 2005 Beschreibungslogiken -- Algorithmen (PDF) (4-auf-1; PDF)
17. Fr, 28. Januar 2005
Mi, 2. Februar 2005
Beschreibungslogiken -- Entscheidbarkeit und Komplexität (PDF) (4-auf-1; PDF)
18. Mi, 2. Februar 2005
Fr, 4.Februar 2005
Beschreibungslogiken im Semantic Web (PDF) (4-auf-1; PDF)
19. Mi, 9. Februar 2005 Beschreibungslogiken -- Implementationstechniken (PDF) (4-auf-1; PDF)

Probleme beim Ausdrucken der Folien

Bei manchen Druckern sind Vorder- und Rückseite der 4-auf-1-Folien im Duplexmodus falsch orientiert. Da die Orientierung von Vorder- und Rückseite bei Vorlagen im Querformat druckertreiberabhängig ist, gibt es leider keine Lösung, die immer funktioniert. Falls die Rückseite "auf dem Kopf" gedruckt wird, helfen (unter Linux/UNIX) eventuell folgende Kommandos (folien.4.pdf ist dabei die Datei mit den Folien, printer der Name des Druckers):

pdf2ps folien.4.pdf
grep -v "^%%Orientation" folien.4.ps | lpr -Pprinter

Alternativ kann man die angepassten Folien auch in eine zweite Datei ausgabe.ps schreiben, um diese später zu drucken:

pdf2ps folien.4.pdf
grep -v "^%%Orientation" folien.4.ps > ausgabe.ps

Zusätzliches Material

Beschreibungslogiken:

Nichtmonotone Logik-Programmierung:

  • Das smodels-System (Helsinki University of Technology).

Theorembeweiser (Modal-/Beschreibungslogik)

Ontology Editors