MiG

Künstliche Intelligenz

Details siehe Eintrag im elektronischen Vorlesungsverzeichnis zur Vorlesung und Übung

(19303701/19303702)

Typ

VL/Ü

Dozent/in

Prof. Dr. R. Rojas (V), Dr. C. Benzmüller, Fritz Ulbrich (Ü)

Leistungspunkte

5 credits

Anmeldemodalität

Raum

Takustr. 9, SR005

Zeit

  • VL: Dienstags, 14-16 Uhr
  • Ü: Freitags, 14-16 Uhr

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.