WS 2000/2001: Prinzipien der Wissensrepräsentation, Folienkopien

Institut für Informatik, Universität Freiburg

Hauptseite

Folienkopien

1. Einführung
   • ECAI-Vortrag: Knowledge Representation and Reasoning -- The Theoretical Side of AI (18.10.2000)
2. Qualitatives Schließen
   • 2.1 Einführung (23.10.2000)
   • 2.2 Constraint Satisfaction (23.10.2000)
   • 2.3 Allens Intervallkalkül (25.10./6.11./8.11.2000)
   • 2.4 Exkurs: Modallogiken (13./15.11.2000)
   • 2.5 Das Region Connection Calculus RCC8 (20./22.11.2000)
3. Nicht-monotones Schließen
   • 3.1 Einführung (27.11.2000)
   • 3.2 Default-Logik (27./29.11.2000)
   • 3.3 Kumulative und präferentielle Logiken (4./6./11./13.12.2000)
   • 3.4 Argumentationstheoretische Ansätze (18./20.12.2000)
   • 3.5 Wissensrevision (20.12.2000/8.1.2001)
4. Semantische Netze und Frames
   • 4.1 Ideen und Hintergrund (10.1.2001)
   • 4.2 Strikte Vererbung (10./15.1.2001)
   • 4.3 Nicht-strikte Vererbung (15./17.1.2001)
5. Beschreibungslogiken
   • 5.1 Begriffsbeschreibungssprachen (22.1.2001)
   • 5.2 Systemdienste (24.1.2001)
   • 5.3 Algorithmen (29.1.2001)
   • 5.4 Entscheidbarkeit und Komplexität (31.1.2001)
   • 5.5 Systeme und Anwendungen (5.2.2001)
   • 5.6 Epistemische Anfragen (7.2.2001)