19303701
Vorlesung
SoSe 15: Künstliche Intelligenz
Raul Rojas Gonzalez
Zusätzl. Angaben / Voraussetzungen
Zusätzliche Angaben:
Übungen siehe 19303702
Voraussetzungen:
Grundkenntnisse in Mathematik und Algorithmen und Datenstrukturen
SchließenKommentar
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.
SchließenLiteraturhinweise
wird noch bekannt gegeben.
13 Termine
Zusätzliche Termine
Di, 14.07.2015 14:00 - 16:00Klausur Künstliche Intelligenz
Mo, 28.09.2015 12:00 - 14:00
Nachklausur Künstliche Intelligenz
Regelmäßige Termine der Lehrveranstaltung
Di, 14.04.2015 14:00 - 16:00
Di, 21.04.2015 14:00 - 16:00
Di, 28.04.2015 14:00 - 16:00
Di, 05.05.2015 14:00 - 16:00
Di, 12.05.2015 14:00 - 16:00
Di, 19.05.2015 14:00 - 16:00
Di, 26.05.2015 14:00 - 16:00
Di, 02.06.2015 14:00 - 16:00
Di, 09.06.2015 14:00 - 16:00
Di, 16.06.2015 14:00 - 16:00
Di, 23.06.2015 14:00 - 16:00
Di, 30.06.2015 14:00 - 16:00
Di, 07.07.2015 14:00 - 16:00
Inhalt
Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik, Modallogik und Beschreibungslogik, Automatisches Theorembeweisen, Wissensbasierte- und ... Lesen Sie weiter