Logik in der Künstlichen Intelligenz

Vorlesung und Übung  (2+1) 

Inhalte: Wissensrepräsentation und Inferenz, Aussagen- und Prädikatenlogik; Grundlagen logischer Programmierung; spezifische Programmiersprachen und Methoden wie PROLOG; Konzept-Logiken, Darstellung von Zeit, Vages Wissen (Fuzzy-, Probabilistisches Schließen), Nichtmonotone Logik und Schließen, modale Logiken, regelbasiertes Programmieren, funktionales Programmieren, Constraints, Anwendungen, Verarbeitung natürlicher Sprache.