SoSe 2014













Submodulnummer Veranstaltungsform Name LP SWS / Prüfungsdauer
0089cA.1.9.1 Vorlesung Künstliche Intelligenz 0 2.0
0089cA.1.9.2 Übung Künstliche Intelligenz 0 2.0
0089cA.1.9.3 Modulprüfung Künstliche Intelligenz 5 0 min
Qualifikationsziele: Die Studentinnen und Studenten beherrschen die grundlegenden Techniken, Heuristiken und Algorithmen auf dem Gebiet der Künstlichen Intelligenz, und können sie sowohl für symbolische als auch für Mustererkennungsprobleme anwenden.

Inhalte: Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik und ihre Mechanisierung, Resolution und Theorembeweise, Wissensbasierte- und Expertensysteme, Diffuse Logik, Mensch-Maschinen-Schnittstellen, Mustererkennung insbesondere für Handschrift und für gesprochene Sprache.