Informationen für
Logo VIS

« Zurück

Grundlagen der Künstlichen Intelligenz
Typ: Ergänzungsmodul (BSc),Grundlagenvorlesung (Dipl.)
Semester: WS 2009/2010
Umfang: 2V+1Ü
Studiengang: Diplom Informatik, Diplom Softwaretechnik, InfoTech, Wirtschaftsinformatik
Dozent: Prof. Dr. Gunther Heidemann
Beschreibung:

Beschreibung

Die Vorlesung führt in die Grundbegriffe und Verfahren der klassischen KI ein. Themen der Vorlesung: Ziele der KI; Agentenbegriff, Umgebungen; Problemlösung durch Suchen, Suchstrategien; Spielprogramme, Echtzeitentscheidungen, Pruning; Aussagenlogik, Prädikatenlogik; Wissensrepräsentation, Repräsentation von Zeit; Inferenz; Semantische Netze, Frames; Planungsprobleme, Unsicherheit; Bayes-Netzwerke; Wissenserwerb.

Zur Vertiefung wird es im SS 10 ein Hauptseminar "Künstliche Intelligenz" geben. Hier werden Themen bearbeitet, die in der Vorlesung nicht oder nicht ausführlich behandelt werden können.

Literatur

  • Künstliche Intelligenz. Ein moderner Ansatz. Von Stuart J. Russell und Peter Norvig. ISBN 3-8273-7089-2.
  • Artificial Intelligence: A Modern Approach. Von Stuart J. Russell und Peter Norvig. ISBN 0-13-080302-2.
  • George F. Luger: Künstliche Intelligenz Addison-Wesley (2001)
  • Michael Negnevitsky: Artificial Intelligence Addison-Wesley (2005)
  • N. P. Padhy: Artificial Intelligence and Intelligent Systems Oxford University Press (2006)
  • Uwe Lämmel, Jürgen Cleve: Lehr- und Übungsbuch Künstliche Intelligenz Fachbuchverlag Leipzig (2004)

Termine II

Termin   Veranstaltung Übungsblatt  
Mo 19.10  Vorlesung
Di 20.10  Vorlesung
Mo 26.10  Vorlesung
Di 27.10  ÜbungBlatt 1
Mo 02.11  Vorlesung
Di 03.11  Vorlesung
Mo 09.11  Vorlesung
Di 10.11  ÜbungBlatt 2
Mo 16.11  Vorlesung
Di 17.11  Vorlesung
Mo 23.11  Vorlesung
Di 24.11  ÜbungBlatt 3
Mo 30.11  Vorlesung
Di 01.12  Vorlesung
Mo 07.12  Vorlesung
Di 08.12  ÜbungBlatt 4
Mo 14.12  Vorlesung
Di 15.12  Vorlesung
Mo 21.12  Vorlesung
Di 22.12  ÜbungBlatt 5
Mo 28.12  vorlesungsfrei
Di 29.12  vorlesungsfrei
Mo 04.01  vorlesungsfrei
Di 05.01  vorlesungsfrei
Mo 11.01  Vorlesung
Di 12.01  Vorlesung
Mo 18.01  Vorlesung
Di 19.01  ÜbungBlatt 6, test.dat, training.dat
Mo 25.01  Vorlesung
Di 26.01  Vorlesung
Mo 01.02  Vorlesung
Di 02.02  ÜbungBlatt 7
Mo 08.02  Vorlesung
Di 09.02  Vorlesung
Mo 15.02  Vorlesung
Di 16.02  ÜbungBlatt 8
Downloads zur Vorlesung  
KI-00-Vorbemerkungen
KI-01-Intro
KI-02-Agenten
KI-03-Suchen
KI-04-Heuristik
KI-05-CSP 
KI-06-Spiele
KI-07-Logik
KI-08-PL
KI-09-Inferenz
KI-13-Unsicherheit
KI-14-Bayes
KI-15-Zeit
KI-16-Entscheidungen
KI-17-KomplexeEntscheidungen
Bilder:
Internet-Seite:
Termine: Montag, 11:30 - 13:00 Uhr in V38.02
Dienstag, 08:00 - 09:30 Uhr (14-tägig) in V38.02
Übungen: Dienstag, 08:00 - 09:30 Uhr (14-tägig) in V38.02
Tutor: Dr. Sebastian Klenk

« Zurück