11.12.: Klausur - Die Klausur findet am Mi., 18.02.2015 um 14:00 Uhr in H20 statt. Die Nachklausur am Di., 31.03.2015 um 10.00 Uhr in O28/1002.
11.12.: Vorlesung - Am 23.12.2014 findet keine Vorlesung statt.
20.10.: Übung - Die Übungstermine haben sich geändert.
13.10.: Vorlesungsbeginn - Die erste Veranstaltung findet am 21.10.2014 statt.

Inhalt der Vorlesung

Künstliche Intelligenz stellt Methoden und Techniken bereit, die die Entwicklung autonomer, flexibler, adaptiver und robuster Softwaresysteme erlauben. Diese intelligenten Systeme verstehen natürliche Sprache, können automatisch Schlussfolgerungen ziehen und Beweise führen, planen den Lösungsweg für eine Problemstellung in Abhängigkeit von der aktuellen Umgebungssituation und lernen selbstständig.

Die Vorlesung gibt eine Einführung in das Gebiet und stellt die wichtigsten Methoden sowie einige Anwendungen vor. Im einzelnen werden folgende Themenbereiche behandelt:

• Das Agentenparadigma
• Suchen und Problemlösen
• Repräsentation von Wissen
• Automatisches Schlussfolgern und Beweisen
• Planen
• Lernen

Veranstalter

Prof. Dr. Susanne Biundo-Stephan mit Daniel Höller

 Termine

Vorlesung

Dienstags 10:15-11:45 in O27/3211
Mittwochs 12:00-13:30 in O28/1002
Sprechstunde nach der Vorlesung oder nach Vereinbarung

Übung

Die Übung findet an folgenden Terminen statt: 04.11., 19.11., 03.12., 17.12., 20.01., 03.02. und 11.02. An allen anderen Terminen findet die Vorlesung statt.

 

Die Vorlesungsfolien sowie die Übungsblätter werden über die Moodle-Plattform der Universität Ulm zur Verfügung gestellt.

Technisches

Typ:	Vorlesung im Hauptstudium (3V / 1Ü) wählbar im 3. Bachelorjahr
Leistungspunkte:	6
Zuordnung:	Für die Zuordnung gilt das Modulhandbuch.
Folgeveranstaltungen:	Intelligente Handlungsplanung Algorithmen in der Wissensrepräsentation Multiagentensysteme Semantic Web Grundlagen Automated Theorem Proving