Ankündigungen:
- Die vorläufigen Ergebnisse der Klausur zur Vorlesung sind ab sofort im Hochschulportal Studium & Lehre zu finden. Die Klausureinsicht findet am Dienstag, 12.4. von 16 bis 17 Uhr in O27/429 statt.
Vorlesung: Einführung in die Künstliche Intelligenz
Inhalt der Vorlesung
Künstliche Intelligenz stellt Methoden und Techniken bereit, die die Autonomie, Flexibilität, Adaptivität und Robustheit von Softwaresystemen enorm erhöhen. Diese intelligenten Systeme verstehen natürliche Sprache, können automatisch Schlussfolgerungen ziehen und Beweise führen, planen den Lösungsweg für eine Problemstellung flexibel in Abhängigkeit von der aktuellen Umgebungssituation und lernen selbständig.
Die Vorlesung gibt eine Einführung in das Gebiet und stellt die wichtigsten Methoden sowie einige Anwendungen vor. Im einzelnen werden u.a. folgende Themenbereiche behandelt:
- Suchen und Problemlösen
- Repräsentation von Wissen
- Automatisches Schlussfolgern und Beweisen
- Handlungsplanung
- Lernen
Veranstalter
Prof. Dr. Susanne Biundo-Stephan mit Dr. Thorsten Liebig
Termine
- Vorlesung
Mittwoch: 10:15 — 11:45 in O28/H21
Donnerstag: 12:30 — 14:00 in O28/1002
Sprechstunde nach der VL oder nach Vereinbarung- Übungen
Die Übungen finden im Rahmen der Vorlesung statt, ungefähr im 14-tägigem Rhythmus. Abgabe- und Besprechungstermine für Übungsblätter werden jeweils in der Vorlesung bekanntgegeben.
Vorlesungsunterlagen
Folien der Vorlesung als PDF-Dateien (zugriffsgeschützt). Zudem besteht die Möglichkeit diese Unterlagen über das Skriptdrucksystem der SGI auszudrucken.
- Einleitung
- Agenten
- Suche
- Informierte Suche
- Contraints
- Spiele
- Aussagenlogik
- Prädikatenlogik
- Wissensrepräsentation (Teil 1)
Wissensrepräsentation (Teil 2) - Wissensmodellierung
- Planen
Exkurs: Tableaukalkül Aussagenlogik
Technisches
Typ: | Vorlesung im Hauptstudium (3V / 1Ü) wählbar im 3. Bachelorjahr |
Leistungspunkte: | 6 |
Zuordnung: | Praktische und Angewandte Informatik (Kernfach) Theoretische und mathematische Methoden der Informatik (Kernfach) Künstliche Intelligenz (Vertiefungsgebiet) |
Folgeveranstaltungen: | Planen und Scheduling Wissensbasierte Systeme Multiagentensysteme |