Hauptnavigation

Stammvorlesung Künstliche Intelligenz

Wintersemester 2000/2001, 4WV, 2WÜ

Mo., 12:15 - 14:00GB IV / R. 112
Do., 10:15 - 12:00HG I / HS 2

Veranstalter

Übungen und Rechnerbenutzung

Hinweise zu den Übungen und zur Rechnerbenutzung finden sich -> hier.

Inhalt

Die Vorlesung ist Teil des Hauptstudiums und gehört zu den Wahlpflichtgebieten. Sie wird etwa einmal im Jahr angeboten.
Ein Skript (5.Auflage) bietet eine schriftliche Arbeitsgrundlage für die Studierenden.
Die Folien werden hier angeboten.
Die Übungen werden in Prolog programmiert.

Vorlesung und Skript behandeln die folgenden Themen:

  1. Was ist KI?
  2. Problemlösen als Suche
  3. Produktionssysteme Interpreterstrategien, RETE
  4. Expertensysteme, Wissenserwerb: KADS, Sloppy Modeling
  5. Problemlösen als Beweis
  6. Wissensrepräsentation :Termsubsumtionssysteme
  7. Natürlichsprachliche Systeme
  8. Maschinelles Lernen

Die Vorlesung wurde im Rahmen des Lehrer-Lämpel Pokals im Wintersemester 1999/2000 von den Studierenden bewertet. Dazu unsere Stellungsnahme.

Skript

5. überarbeitete Auflage, Sommersemester 1997

Folien

Hier werden die Folien zur Vorlesung im Postscript und Adobe-PDF Format veröffentlicht. Beachten Sie bitte, dass es sich noch um die Folien der letzten Vorlesung handelt!

Weitere Informationsquellen zum Thema Künstliche Intelligenz