Informationen für
Logo VIS

« Zurück

Grundlagen der Künstlichen Intelligenz
Typ: Ergänzungsmodul (BSc),Grundlagenvorlesung (Dipl.)
Semester: WS 2012/2013
Umfang: 3V+1Ü
Studiengang: Diplom Informatik, Diplom Softwaretechnik, InfoTech, Bachelor Informatik, Bachelor Softwaretechnik
Dozent: Prof. Dr.-Ing. Andrés Bruhn
Beschreibung:

 

Beschreibung:

Die Vorlesung führt in die Grundbegriffe und Verfahren der klassischen KI ein.

Themen der Vorlesung:

  1. Ziele der KI;
  2. Agentenbegriff,Umgebungen;
  3. Problemlösung durch Suchen, Suchstrategien;
  4. Spielprogramme, Echtzeitentscheidungen, Pruning;
  5. Aussagenlogik, Prädikatenlogik; Wissensrepräsentation, Repräsentation von Zeit;
  6. Inferenz;
  7. Planungsprobleme, Unsicherheit; Bayes-Netzwerke; Wissenserwerb.

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)

 

NEWS:

  • VORLESUNGSBEGINN:
    Die erste Vorlesung findet am Donnerstag, den 18. Oktober statt.
  • RAUMVERLEGUNG:
    Aufgrund der großen Hörerzahl wird der Vorlesungs-/Übungsslot am Donnerstag
    von Seminarraum 0.108 in Hörsaal V38.03 verlegt.
  • KEINE VORLESUNG:
    In der Woche vom 5.-9. November findet keine Vorlesung bzw. Übung statt.
  • KLAUSUREINSICHT:
    Die Punkte/Noten der Klausur hängen am Prüfungssekretariat INF/SWT bzw. am VIS aus.
    DIe Klausureinsicht findet am Dienstag, den 30.04.2013 von 16-18 Uhr im Raum 1.459 statt.
  • KLAUSUREINSICHT SOMMERSEMESTER 2013:
    Die Punkte/Noten der Klausur hängen am VIS aus. Die Klausureinsicht findet am Dienstag, den 22.10.2013 um 14 Uhr im Raum 1.459 statt.

 

Volesungsfolien:

  1. Organisatorisches, Intro (18.10.2012) - PowerPoint, PowerPoint
  2. Agenten (22.10.2012) - PowerPoint
  3. Suche (22.10.2012, 25.10.2012) - PowerPoint
  4. Heuristik (29.10.2012, 12.11.2012) - PowerPoint
  5. Constraint Satisfaction Problems (12.11.2012, 19.11.2012) - PowerPoint
  6. Spiele (22.11.2012) - PowerPoint
  7. Logik (26.11.2012, 03.12.2012) - PowerPoint
  8. Prädikatenlogik (06.12.2012) - PowerPoint
  9. Inferenz (10.12.2012, 17.12.2012) - PowerPoint
  10. Unsicherheit (17.12.2012,20.12.2012) - PowerPoint
  11. Bayes (07.01.2013) - PowerPoint
  12. Zeit (07.01.2013, 14.01.2013, 17.01.2013) - PowerPoint
  13. Spracherkennung (17.01.2013, 21.01.2013) - PowerPoint
  14. Entscheidungen (21.01.2013, 28.01.2013) - PowerPoint
  15. Komplexe Entscheidungen (31.01.2013, 04.02.2013) - PowerPoint

Übungsblätter:

  1. Übung 1 (25.10.2012)
  2. Übung 2 (14.11.2012)
  3. Übung 3 = Projekt (14.11.2012), UPDATE! aufgabe.txt (Zeitlimit: ca. 5 Minuten auf einem aktuellen System)
  4. Übung 4 (12.12.2012)
  5. Übung 5 (09.01.2013)
  6. Übung 6 (23.01.2013)
  7. Probeklausur (02.04.2013), UPDATE! (Fehler in A6, Korrektur rot markiert)
    Probeklausur Lösung (02.04.2013), UPDATE! (Fehler in A6, Korrektur rot markiert)

 


Link zum LSF Online Portal:

Grundlagen der Künstlichen Intelligenz

Übungen Grundlagen der Künstlichen Intelligenz

 


Bilder:
Schematischer Aufbau eines Agenten
Bild 1: Schematischer Aufbau eines Agenten
Internet-Seite:
Termine: Montag, 14:00 - 15:30 Uhr in V38.02
Donnerstag, 11:30 - 13:00 Uhr (14-tägig) in V38.03
Übungen: Donnerstag, 11:30 - 13:00 Uhr (14-tägig) in V38.03
Tutor: Michael Stoll M.Sc. M.Sc. B.Sc.

« Zurück