This page is only available in german language. It describes the course "Artificial Intelligence", which will also be held in german, and provides links to the course material.
Inhalt der Vorlesung
Der Bereich der Künstlichen Intelligenz beschäftigt sich mit der Übertragung menschlichen Problemlösungsverhaltens auf den Computer. Hierbei soll erreicht werden, dass Computer selbstständig Probleme bearbeiten, von denen man gemein hin annimmt, dass deren Lösung Intelligenz voraussetzt. Die Veranstaltung beschäftigt sich mit grundlegenden Methoden zur Darstellung von Wissen, sowie Methoden, die mit Hilfe von Wissen Lösungen für komplexe Probleme berechnen.
Organisation
- Vorlesung: Montags 12:00 bis 13:30 (wtl.) B 6, A 3.01
- Dozent: Heiner Stuckenschmidt
- Übung: Mittwochs 13:45 bis 15:15 (wtl.) in B 6, A 3.01
- Dozent: Christian Meilicke
- Findet bereits am 08.09. erstmals statt, dafür findet die Übung am 15.09 nicht statt, und in der dritten Woche am 22.09 geht es weiter.
Programmierkenntnisse sind daher zwingend erforderlich (erlaubt sind Abgaben in den Sprachen Java, Python, Perl; Ausnahmen hiervon werden diesmal nicht gemacht).
Zulassungskriterien zur Klausur
Um an der Klausur teilnehmen zu können müssen (vorraussichtlich) folgende Leistungen erbracht werden:
- Es müssen 50% der Gesamtzahl an Punkten über alle gewerteten Blätter erreicht werden.
- Es müssen 50% der Gesamtzahl an Punkten in bezug auf die Programmieraufgaben über alle gewerteten Blätter erreicht werden.
- Auf jedem gewerteten Blatt müssen mindestens 40% der Punkte erreicht werden.
Ein Blatt besteht in der Regel aus einigen theoretischen Aufgaben und einer oder mehreren Programmieraufgaben (kann aber auch mal anders sein). Ein Blatt (Joker) kann aus der Wertung herausgenommen werden. D.h. es ist einmal erlaubt keine Lösung abzugeben.
Es werden 1er, 2er und 3er Gruppen erlaubt, aber: 3er Gruppen müssen in Bezug auf Bedingung 1. und 2. jeweils 60% der Punkte erreichen. Bei 1er Gruppen wird ein Auge zugedrückt, wenns punktemäßig enger wird.
Die Endnote setzt sich wie folgt zusammen: 30% = Leistung in bezug auf Programmieraufgaben der Übungsblätter, 70% = Klausur. Bei 2er und 3er Gruppen wird im Rahmen eines Gesprächs geklärt werden: wer in welchem Maße zur Lösung der Programmieraufgaben beigetragen hat. Entsprechend werden die erreichten Punkte korrigiert und leistungsspezifisch zugewiesen.
Themenübersicht (grob)
Die folgenden Themengebiete werden in der Vorlesung vorraussichtlich behandelt. Mögliche Änderungen sind vorbehalten.
Einleitung
- Was ist Künstliche Intelligenz?
Block I: Suche und Constraints
- Problemlösen als Suche
- Suchalgorithmen für Spiele
- Problemlösen mit Constraints
Block II: Logik
- Aussagenlogik
- Relationale Logik (wird vermutlich nicht in KI behandelt)
Block III: Planen
- Logik und Planen
- Planen mit KI Methoden
Die Vorlesung basiert auf einem Standard-Lehrbuch zu dem Thema (nähere Informationen unter http://aima.cs.berkeley.edu/) und richtet sich an Studierende im Hauptstudium. Voraussetzung zur Teilnahme sind Grundkenntnisse in Komplexitätstheorie sowie Programmierung in einer höheren Programmiersprache. Grundwissen in den Bereichen formale Logik und Wahrscheinlichkeitsrechnung sind von Vorteil, jedoch nicht zwingend erforderlich.
Achtung: Das Buch gibts in der Lehrbuchsammlung und ist wirklich sehr gut!
Foliensätze und Übungsblätter
Vorlesungsfolien:
- 06.09.2010: Einleitung (Powerpoint, PDF)
- 13.09.2010: Agenten (Powerpoint, PDF)
- 20.09.2010: Uninformierte Suche, Teil1 (Powerpoint, PDF)
- 27.09.2010: Uninformierte Suche, Teil2 & Informierte Suche, Teil1 (Powerpoint, PDF)
- 04.10.2010: Informierte Suche, Teil1 & Lokale Suche, Teil 1 (Powerpoint, PDF)
- 06.10.2010 (ausnahmsweise in der Übung): Lokale Suche, Teil 2 (Powerpoint, PDF)
- 11.10.2010: Spielbaumsuche (Powerpoint, PDF)
- 18.10.2010: Constraints, Teil 1 (Powerpoint, PDF)
- 25.10.2010: Constraints, Teil 2 (Powerpoint, PDF)
- 01.11.2010: keine Vorlesung wegen Feiertag
- 08.11.2010: Constraints, Teil 3 (Powerpoint, PDF) & Aussagenlogik Grundlagen (Powerpoint, PDF)
- 15.11.2010: Schließen-Aussagenlogik (Powerpoint, PDF)
- 22.11.2010: Planungssprachen (Powerpoint, PDF)
- 29.11.2010: Planen als Suche und Planungsgraphen (Powerpoint, PDF)
- 06.12.2010: Effizientes Planen (Powerpoint, PDF)
Übungsmaterialen und Abgabemodalitäten:
Ausgabe der Aufgabenblätter jeweils Mittwochs (wöchentlich) in der Übung und am selben Tag vor- oder nachmittags zum Download hier.
- 08.09.2010: Handout (relevant für Blatt 1)
- 15.09.2010: keine Übung
- 22.09.2010: Blatt 1
- 29.09.2010: Blatt 2
- 06.10.2010: Blatt 3
- 13.10.2010: Blatt 4 (neueste Version der Hilfsbibliothek im Forum)
- 20.10.2010: Blatt 5
- 27.10.2010: Blatt 6 (R1.txt, R2.txt, R3.txt, R4.txt, R5.txt, R6.txt, R7.txt)
- 03.11.2010: Blatt 7 und BOHNEN-WM
- 10.11.2010: kein neues Blatt (Rückgabe von Blatt 5 und 6 erfolgt hier)
- 17.11.2010: Blatt 8 (CNF-Testdatensätze)
- Es wurde Blatt 7 besprochen und Inhalte der Vorlesung wiederholt (Folien hierzu als Powerpoint und PDF)
- 24.11.2010: Blatt 9
- Die Übung am 24ten findet nicht statt, Fragen zum Blatt bitte rechtzeitig im Forum stellen!
- 01.12.2010: Besprechung Blatt 8
- 07.12.2010: Letzte Übung.
Abgabe der Lösungen jeweils per Email an den Übungsleiter (das bin ich) und zwar bis zum Montag morgen 9:00 Uhr anderthalb Wochen nach der Ausgabe (steht auch jeweils auf dem Aufgabenblatt).
Forum
Es gibt ein Forum zur Vorlesung. Fragen zur Übung und Vorlesung können dort jederzeit gestellt und diskutiert werden (Link zum Forum).
Studierende der Universität Mannheim können sich dort mit ihrem Universitätsaccount einloggen (oben rechts auf "Anmelden" klicken). Es muss kein zusätzlicher Forumsaccount angelegt werden. Studierende anderer Universitäten schreiben bitte an Christian Meilicke eine E-Mail (Name, Uni, Studiengang) und ihr bekommt in Kürze eure Zugangsdaten zugesendet.
Eine Mailingliste gibt es nicht, bitte das Forum nutzen.

