Inhalt

Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik, Modallogik und Beschreibungslogik, Automatisches Theorembeweisen, Wissensbasierte- und Expertensysteme, Diffuse Logik, Mensch-Maschinen-Schnittstellen, Mustererkennung insbesondere für Handschrift und für gesprochene Sprache.

Literatur

wird noch bekannt gegeben.

Zusätzliche Angaben:

Siehe EVV-Eintrag zur Vorlesung und zur Übung   -  Module zu dieser LV

Voraussetzungen:

Grundkenntnisse in Mathematik und Algorithmen und Datenstrukturen