Humboldt-Universität zu Berlin, Institut für Informatik

Lehrstuhl für Komplexität und Kryptografie

Proseminar: Nichtklassische Logiken

Dozenten: Prof. Johannes Köbler und Olaf Beyersdorff
Termin:  PS Do 13-15 (RUD 25, 4.111) J. Köbler / O. Beyersdorff
Zuordnung: Grundstudium, Proseminar

  Am 19.12.02 findet das Seminar nicht statt.


Inhalte und Lernziele

Nichtklassische Logiken (als Gegenstück zu der in der VL Theoretische Informatik I betrachteten klassischen Aussagen- und Prädikatenlogik) finden wegen ihrer Ausdrucksstärke in vielen Gebieten der Informatik Anwendung. Im Proseminar werden verschiedene Ansätze nichtklassischer Aussagenlogik einführend besprochen.
Themen des Seminars: Modallogik, mehrwertige Logik, Relevanzlogik, Fuzzy-Logik u.a.
 



 

Themen



 

Vortragstermine

 
17.10.   Themenvorstellung    
       
7.11.  Klassische Aussagenlogik und die Tableaux- Methode (1.1-1.5 und 1.11-1.14)  Olaf Beyersdorff  
14.11.  Modale Logik (Kap. 2 und Blackburn)  Hagen Möbius  (Beyersdorff) 
21.11.  Normale Modale Logik (Kap. 3 und Blackburn)  Peter Adolphs   (Beyersdorff)
28.11.  Nicht normale Welten (4.1-4.4 und Blackburn)  Uwe Lorenz   (Beyersdorff )
5.12.  Konditionale und ihre aussagenlogische Repräsentation (1.7-1.10 und 4.5 - 4.9)  Uwe Leonhardt  (Beyersdorff)
12.12.  Konditionale Logik (Kap. 5)    
19.12.  Intuitionistische Logik (Kap. 6)  Dieter König  (Köbler)
9.1.  Mehrwertige Logik (Kap. 7, Malinowski, Gottwald, Bolc)  Christian Rothe  (Beyersdorff)
16.1.  Weitere mehrwertige Logiken (Malinowski, Gottwald, Bolc)   Robert Göttsch  (Beyersdorff)
23.1.  First Degree Entailment FDE (Kap. 8)    
30.1.  Relevanzlogik (Kap. 9)  Thomas Wessendorf  (Köbler)
6.2.  Relevanzlogik (Kap. 10)    
13.2.  Fuzzy Logic (Kap. 11)  Alexander Platonow  (Köbler)
20.2.  Multi- Agenten- Systeme (Fagin)   Aram Altschudjian  (Beyersdorff)

Die Kapitelangaben beziehen sich auf das Buch von G. Priest.
 



 

Empfohlene Literatur

Das Seminar orientiert sich hauptsächlich an dem Lehrbuch "An Introduction to Non-Classical Logic" von Graham Priest.