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.

  1. Einleitung
  2. Agenten
  3. Suche
  4. Informierte Suche
  5. Contraints
  6. Spiele
  7. Aussagenlogik
  8. Prädikatenlogik
  9. Wissensrepräsentation (Teil 1)
    Wissensrepräsentation (Teil 2)
  10. Wissensmodellierung
  11. 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