Einige Hinweise zur ersten Klausur zur Vorlesung KILOG 
   am 23.7  um 10:00 st
   
   
 Die Aufgabentypen entsprechen den Aufgaben die in den Übungen
 D.h. die Aufgabe sind verschieden, aber sind ähnlich aufgebaut
 
 Aussagenlogik: Variationen und Anwendung der Aussagenlogik.
    D.h. konkrete Probleme sind zu lösen
 
 
 Prädikatenlogik, 
    Resolutionsaufgaben, Vorbereitung der resolution, Subsumption, Unifikation
 
 
 
 Allens Zeit-Intervall Logik. Aufgaben zu Aktionen und Relationen
 
 Kompositionstabelle ist mit abgedruckt in der Klausur
 
 
 
 Modallogik:   Kripke Semantik, Modallogische Formeln  und deren Bedeutung
 
 
 Beschreibungslogik:  
     Modellieren von Aussagen in ALC + allgemeineren Relationseigenschaften.   
 
     Verschiedenen KR-Sprachen. 
     
     Subsumptions-Beziehungen
     
     
     ------
 Es gibt auch eine Multiple Choice Aufgabe