Logikbasierte Systeme der Wissensverarbeitung

Das Modul behandelt Anwendungen der Logik in der Künstlichen Intelligenz.

 logikbasierte Systeme der Wissensverarbeitung: 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.

Lernergebnisse / Kompetenzziele: 

Logikbasierte Systeme der Wissensverarbeitung: Die Studierenden sollen weitergehende Konzepte, Methoden und Techniken im Bereich Logik und Künstlicher Intelligenz verstehen, und diese kritisch auf neue Systeme und Fragestellungen anwenden können.