Künstliche Intelligenz
(19303701/19303702)
| Typ | VL/Ü |
|---|---|
| Dozent/in | Prof. Dr. R. Rojas (V), Christoph Benzmüller |
| Leistungspunkte | 5 credits |
| Anmeldemodalität | |
| Raum | Takustr. 9, SR005 |
| Zeit |
Erster Termin: 14.04.2015, 16 Uhr Klausur am 14.07.2015, 14-16 Uhr, SR005 der Takustr. 9 |
Links auf Kursbeschreibung
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.