Das Modul behandelt Anwendungen der Logik in der Künstlichen Intelligenz.
Veranstaltungen behandeln u.a.: Automatische Deduktion: Grundlagen und Anwendungen automatischer Deduktionssysteme; Aussagen- und Prädikatenlogik; Resolutionskalkül; Unifikation; Logische Programmierung; Tableaukalküle; Modallogik; Termersetzungssysteme; Terminierung , Konfluenz, Knuth-Bendix Kriterium.
oder andere 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.
- Trainer/in: Daniel Helmke
- Trainer/in: Manfred Schmidt-Schauss