19303701
Lecture
SoSe 15: Künstliche Intelligenz
Raul Rojas Gonzalez
Additional information / Pre-requisites
Zusätzliche Angaben:
Übungen siehe 19303702
Voraussetzungen:
Grundkenntnisse in Mathematik und Algorithmen und Datenstrukturen
closeComments
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.
closeSuggested reading
wird noch bekannt gegeben.
13 Class schedule
Additional appointments
Tue, 2015-07-14 14:00 - 16:00Klausur Künstliche Intelligenz
Mon, 2015-09-28 12:00 - 14:00
Nachklausur Künstliche Intelligenz
Regular appointments
Tue, 2015-04-14 14:00 - 16:00
Tue, 2015-04-21 14:00 - 16:00
Tue, 2015-04-28 14:00 - 16:00
Tue, 2015-05-05 14:00 - 16:00
Tue, 2015-05-12 14:00 - 16:00
Tue, 2015-05-19 14:00 - 16:00
Tue, 2015-05-26 14:00 - 16:00
Tue, 2015-06-02 14:00 - 16:00
Tue, 2015-06-09 14:00 - 16:00
Tue, 2015-06-16 14:00 - 16:00
Tue, 2015-06-23 14:00 - 16:00
Tue, 2015-06-30 14:00 - 16:00
Tue, 2015-07-07 14:00 - 16:00
Inhalt
Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik, Modallogik und Beschreibungslogik, Automatisches Theorembeweisen, Wissensbasierte- und ... read more