Summer Term Lecture 2012: Artificial Intelligence

Prof. Dr. Wahlster Prof. Dr. Wolfgang Wahlster
Universität des Saarlandes
Fakultät 6 - 6.2 - Informatik
Gebäude E1 1
Postfach 15 11 50
D - 66041 Saarbrücken
Prof. Dr. Hoffmann Prof. Dr. Jörg Hoffmann
Universität des Saarlandes
Fakultät 6 - 6.2 - Informatik
Gebäude E1 1
Postfach 15 11 50
D - 66041 Saarbrücken
Head of tutorials: Dominikus Heckmann, Patrick Gebhard, and Alexis Heloir

News

Results of second exam are online.


Lecture: 17.04.2012 until 26.07.2012, Core Course, 9 LP/ECTS, LSF

Language of Instruction: English

Overview:This course explores key concepts of Artificial Intelligence (AI), including formal knowledge representation, automated deduction, heuristic search algorithms, the automatic generation of heuristic functions in planning, reasoning under uncertainty, rule-based systems, and description logics. We will highlight how these concepts are used in several AI application-fields like spoken-dialog systems, expert systems, and intelligent network security. Upon completion of the course, students should be able to write Bachelor and Master theses in AI. This core lecture is also the prerequisite for advanced courses such as Automatic Planning, Intelligent User Interfaces, and Semantic Web. Interested students will have the unique opportunity to participate in exciting AI research projects at DFKI or the newly created Chair of Prof. Hoffmann.

Organizational issues:

Class lectures and some assignments will be held in English.
Lectures will be held Tuesday from 12:00 to 14:00 and Wednesday from 16:00 to 18:00 in Building E1 3, room 002, according to the online class calendar.

Tutorials will be on Monday 14:00-16:00 and 16:00-18:00, Thursday 14:00-16:00, and Friday 12:00 - 14:00.

The schedule for the written and the programming assignments will be announced soon.

Students are responsible for learning all material covered in class lectures. Simply reading the course material is not a substitute for attending class.

Calendar

Registration

All students have to register online until April 27th and sign-up for one of the four tutorial groups offered. Please note that students also have to register at the HISPOS system!

Exam

Results of first exam (pdf).

Results of second exam (pdf).

Please note, that this information is supplied without liability. There will be a date for inspection of the exam, which will be announced later.

Exercises and Tutorials

Exercise sheets will be available for download below at this web page. Written solutions will be collected in front of Room 1.25 in Building E1 1.

There are now 6 tutorial groups. The tutorials will begin on Mai 7th. Please note that due to the huge number of studends in our course, we devided the two biggest groups and did some minor changes to the initial group - tutor mapping.

Monday Tutorial, English
14:00-16:00
Building E1 3, SR 014
Group #1aMohamed Hamed
NEW Monday Tutorial, English
14:00-16:00
Building E1 1, HS002
Group #1b Ahmad Ibrahim
Monday Tutorial, English
16:00-18:00
Building E1 3, SR 107
Group #2> Mohamed Hamed
Thursday Tutorial, English
14:00-16:00
Building E1 3, SR 107
Group #3a Ahmad Ibrahim
NEW Thursday Tutorial, English
14:00-16:00
Building E2 4, SR 5 (room 215)
Group #3b Abdur Farook
Friday Tutorial, English
12:00-14:00
Building E1 1, Room U12
Group #4 Ahmad Ibrahim

Please submit your solutions before the wednesday lecture at the chair of Prof. Wahlster before 16:11, putting them into the box marked with your tutorial group. Don't forget to provide the meta-information -- your name, your group, the date, the exercise sheet number, and the number of sheets -- either at the top of the solution or by attaching the cover sheet.

Solutions must be submitted in paper form. There might be a few exercises that require you to submit a file. In that case, attach the file to an email and send it to your tutor, including the number of the exercise sheet in the subject field, and including your name, your group, and the date at the top of the email body.

Assignments

No.
Handed out
Submission Deadline
Download
1
25.04.2012
02.05.2012
2
02.05.2012
09.05.2012
3
09.05.2012
16.05.2012
4
16.05.2012
23.05.2012
5
23.05.2012
30.05.2012
6
30.05.2012
06.06.2012
7
06.06.2012
13.06.2012
8
13.06.2012
20.06.2012
9
20.06.2012
27.06.2012
10
27.06.2012
4.07.2012

Lecture Slides

The slides of this year's lecture will be uploaded gradually to this web page.

Date
Topic
Pre Handouts
April 17th, 2012
Introduction to Artificial Intelligence (Prof. Wahlster)

AI Journals and Magazines (Prof. Wahlster)

(PDF)
April 18th, 2012
About this lecture (Prof. Hoffmann)
April 18th, 2012
General Problem Solving (Prof. Hoffmann)
April 24th, 2012
Intelligent Agents (Prof. Hoffmann)
April 25th, 2012

May 2nd, 2012

May 8nd, 2012
Search (Prof. Hoffmann)
May 9th, 2012

May 15th, 2012

May 16th, 2012
Propositional Reasoning (Prof. Hoffmann)
May 22nd, 2012

May 23th, 2012

May 29th, 2012
First Order Reasoning (Prof. Hoffmann)
May 30th, 2012

June 5th & 6th

June 12 th, 2012
Planning (Prof. Hoffmann)
June 14 th, 2012
Knowledge Representation (Prof. Wahlster)
June 19 th, 2012
Terminological Logics (Prof. Wahlster)
June 20 th, 2012
Ontology Web Language (Prof. Wahlster)
June 26 th, 2012

June 27 th, 2012
Production Rules (Prof. Wahlster)
July 3rd, 2012
Rete Algorithm, Default Reasoning (Prof. Wahlster)
July 6th, 2012
Certainty Factor Model (Prof. Wahlster)
July 10th, 2012
July 11th, 2012
July 17th, 2012
Probabilistic Reasoning (Prof. Hoffmann)
July 18th, 2012
Exam Preparation (Prof. Hoffmann)
-