19303701
Vorlesung
SoSe 16: Künstliche Intelligenz
Christoph Benzmüller, Raúl Rojas
Hinweise für Studierende
Hinweise für Studierende:
Übungen siehe 19303702
Zusätzl. Angaben / Voraussetzungen
Voraussetzungen:
Grundkenntnisse in Mathematik und Algorithmen & Datenstrukturen.
Kommentar
Inhalt
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 interaktive Anwendungen.
SchließenLiteraturhinweise
wird noch bekannt gegeben.
10 Termine
Zusätzliche Termine
Mo, 08.08.2016 14:00 - 16:00Klausur
Mi, 12.10.2016 10:00 - 12:00
Nachklausur
Regelmäßige Termine der Lehrveranstaltung
Mo, 25.07.2016 09:00 - 12:00
Di, 26.07.2016 09:00 - 12:00
Mi, 27.07.2016 09:00 - 12:00
Do, 28.07.2016 09:00 - 12:00
Fr, 29.07.2016 09:00 - 12:00
Mo, 01.08.2016 09:00 - 12:00
Di, 02.08.2016 09:00 - 12:00
Mi, 03.08.2016 09:00 - 12:00
Do, 04.08.2016 09:00 - 12:00
Fr, 05.08.2016 09:00 - 12:00
Inhalt
Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik und ihre Mechanisierung, Resolution und Theorembeweise, Wissensbasierte- und ... Lesen Sie weiter