Einführung in die Künstliche Intelligenz (Vertiefungsgebiet KITE) /
Künstliche Intelligenz für Informationsmanager

Vorlesung und Übung im Sommersemester 2003 (2+1 SWS)

Aktuelle Informationen

Frühere aktuelle Informationen

Themen der Vorlesung

• Introduction
• Intelligent Agents
• Problem solving and search
• Informed search
• Game playing
• Propositional logic
• First-order logic
• Planning
• Learning
• Speech recognition
• Computer vision

Allgemeine Informationen zur Vorlesung

• Studenten der Informatik (mit Nebenfach) im Grundstudium (3./4. Semester) als Einführung in das Vertiefungsgebiet KITE (dabei ersetzt sie die im Vorlesungsverzeichnis angekündigte Vorlesung 4.1.27),
• Informationsmanagement-Studenten (Bachelor-Studiengang) im Grundstudium (4. Semester).

Scheinvergabe

Voraussetzung zur Teilnahme an der Klausur wie auch der Nachklausur/Nachprüfung ist die erfolgreiche Bearbeitung von 50% der Übungsaufgaben (d.h. 50% der insgesamt vergebenen Punkte müssen erreicht werden). Dabei werden alle Übungsblätter, auch wenn sich die auf den einzelnen Blättern zu erzielende Punktzahl unterscheidet, gleich gewichtet.

Liste der Studierenden, die hinreichend viele Punkte bei der Bearbeitung der Übungsblätter erzielt haben, um an der Klausur teilzunehmen.

Die Klausur vom 02.08.03 is korrigiert. Hier finden Sie die Klausurergebisse, die Zuordnung von Punkten zu Noten und die Musterlösung.

Termine

Übung: Donnerstags, 18:00 Uhr (bis 18:30 Uhr), E 314

Zeitplan

Folien

• folien01.pdf (Vorlesung am 08.05.03): Organisatorisches
• folien02.pdf (Vorlesung am 08.05.03): Introduction
• folien03.pdf (Vorlesung am 15.05.03): Intelligent Agents
• folien04.pdf (Vorlesungen am 15.05.03 und 22.04.03): Problem Solving and Search
• robocup.pdf (Vorlesungen am 15.05.03): Vortrag von Oliver Obst über RoboCup
• folien05.pdf (Vorlesung am 05.06.03): Informed Search
• folien06.pdf (Vorlesung am 26.06.03): Game Playing
• folien07.pdf (Vorlesungen am 03.07.03 und 10.07.03): Logical Agents
• folien08.pdf (Vorlesung am 10.07.03): First-order Logic
• folien09.pdf (Vorlesung am 17.07.03): Planning
• folien10.pdf (Vorlesung am 24.07.03): Learning from Observation
• folien11.pdf (Vorlesungen am 24.07.03 und 31.07.03): Language
• folien12.pdf (Vorlesung am 31.07.03): Vision

Übungsblätter

Die Lösungen sind spätestens am Mittwoch um 10 Uhr vor der auf dem Blatt genannten Übung abzugeben, in der die Lösungen besprochen werden. Die Lösungen können auf Papier abgegeben werden (in der Vorlesung/Übung oder bei Bernd Thomas, Zimmer B218), oder elektronisch in PDF oder PostScript-Format per Email an bthomas@uni-koblenz.de (andere Formate werden nicht akzeptiert!).

• blatt1.pdf - 1. Übungsblatt (Introduction), abzugeben bis zu der Übung am 15.05.03
• blatt2.pdf - 2. Übungsblatt (Intelligent Agents), abzugeben bis Mittwoch, den 21.05.03, 10 Uhr
• blatt3.pdf - 3. Übungsblatt (Problem Solving and Search, RoboCup), abzugeben bis Mittwoch, den 04.06.03, 10 Uhr
• blatt4.pdf - 4. Übungsblatt (Informed Search), abzugeben bis Mittwoch, den 25.06.03, 10 Uhr
• blatt5.pdf - 5. Übungsblatt (Game Playing), abzugeben bis Mittwoch, den 02.07.03, 10 Uhr
• blatt6.pdf - 6. Übungsblatt (Logical Agents), abzugeben bis Mittwoch, den 09.07.03, 10 Uhr
• blatt7.pdf - 7. Übungsblatt (Resolution, First-order Logic), abzugeben bis Mittwoch, den 16.07.03, 10 Uhr
• blatt8.pdf - 8. Übungsblatt (Planning), abzugeben bis Mittwoch, den 23.07.03, 10 Uhr
  
• blatt9.pdf - 9. Übungsblatt (Learning), die Lösungen für dieses letzte Übungsblatt müssen nicht abgegeben werden, sie werden nicht korrigiert und gehen nicht in die Wertung zur Klausurteilnahme ein
  

Literatur zur Vorlesung

Stuart Russell, Peter Norvig. Artificial Intelligence: A Modern Approach. Second Edition. Prentice Hall, 2003.

Webseite zu diesem Buch