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.
- Trainer/in: Lars Huth
- Trainer/in: Manfred Schmidt-Schauss