VIS- und Uni-Logo
Blindenversion home uni uni suche suche sitemap sitemap kontakt kontakt
unilogo Universität Stuttgart

   Grundlagen der Künstlichen Intelligenz (Winter 10/11)


 

Dozent

Übungen

Termine

  • Montags 11:30-13:00 (V38.02)
  • Dienstags 09:45-11:15 (14tg.) (V38.03)
  • (Ü) Dienstags 09:45-11:15 (14tg.) (V38.03)

Aktuelles

  • Die Vorlesung vom Montag 8.11. wird auf Dienstag 2.11. verschoben.

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 11 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    Folien/Übungsblätter  
    Vorbemerkungen
Mo 18.10  VorlesungIntro
    
Di 19.10  VorlesungAgenten
    
Mo 25.10  VorlesungSuche
    
Di 26.10  VorlesungHeuristik
    
Mo 01.11  Allerheiligen  
    
Di 02.11  VorlesungConstraint Satisfaction Problems (CSPs)
    
Mo 08.11  ÜbungBlatt 1 
    
Di 09.11  Vorlesung  
    
Mo 15.11  Vorlesung  
    
Di 16.11  ÜbungBlatt 2 
    
Mo 22.11  Vorlesung  
    
Di 23.11  ÜbungBlatt 3 stuttgart_map.xml
    
Mo 29.11  VorlesungSpiele
    
Di 30.11  VorlesungLogik
    
Mo 06.12  VorlesungPrädikatenlogik
    
Di 07.12  VorlesungInferenz
    
Mo 13.12  VorlesungUnsicherheit
    
Di 14.12  ÜbungBlatt 4 
    
Mo 20.12  VorlesungBayes
    
Di 21.12  VorlesungZeit
    
Mo 27.12  vorlesungsfrei  
    
Di 28.12  vorlesungsfrei  
    
Mo 03.01  vorlesungsfrei  
    
Di 04.01  vorlesungsfrei  
    
Mo 10.01  Vorlesung  
    
Di 11.01  ÜbungBlatt 5 
    
Mo 17.01  Vorlesung  
    
Di 18.01  Übung  
    
Mo 24.01  Vorlesung  
    
Di 25.01  VorlesungEntscheidungen
    
Mo 31.01  Vorlesung  
    
Di 01.02  ÜbungBlatt 6, test.dat, training.dat 
    
Mo 07.02  VorlesungKomplexeEntscheidungen
    
Di 08.02  ÜbungBlatt 7