Institut für Informatik, Universität Freiburg

Vorlesung: Prinzipien der Wissensrepräsentation (Bernhard Nebel)

Vorlesungsfolien

• 1. Einführung (vierfach verkleinert)
• 2. Semantische Netze und Frames
  • 2.1 Ideen und Hintergrund (vierfach verkleinert)
  • 2.2 Strikte Vererbung (vierfach verkleinert)
  • 2.3 Nicht-strikte Vererbung (vierfach verkleinert)
  • 2.4 Komplexität nicht-strikter Vererbung (vierfach verkleinert)
• 3. Terminologische Logiken
  • 3.1 Begriffsbeschreibungssprachen (vierfach verkleinert)
  • 3.2 Systemdienste (vierfach verkleinert)
  • 3.3 Algorithmen (vierfach verkleinert)
  • 3.4 Exkurs: Modallogiken (vierfach verkleinert)
  • 3.5 Komplexität und Entscheidbarkeit (vierfach verkleinert)
  • 3.6 Epistemische Operatoren (vierfach verkleinert)
  • 3.7 Systeme & Anwendungen (vierfach verkleinert)
• 4. Qualitative Repräsentation und qualitatives Schließen
  • 4.1 Einführung (vierfach verkleinert)
  • 4.2 Constraint Satisfaction (vierfach verkleinert)
  • 4.3 Allens Intervallkalkül (vierfach verkleinert)
  • 4.4 RCC-8 zum räumlichen Schließen (vierfach verkleinert)
• 5. Nicht-monotone Logiken
  • 5.1 Ideen und Hintergrund (vierfach verkleinert)
  • 5.2 Default-Logik (vierfach verkleinert)
  • 5.3 Kumulative und präferentielle Logiken (vierfach verkleinert)
  • 5.4 Wissensrevision (vierfach verkleinert)