Artificial Intelligence Prof. Dr. Jana Koehler, Dr. Álvaro Torralba Core Lecture (9 CP), Summer Semester 2019

News

22.07.2019

Seating plan for first exam

Dear students,

we have uploaded the seating plan for the first exam.

On your status page, you can see the lecture hall and seat you have been assigned to.

If you have not been assigned a seat, but think that you should (because you registered properly and... Read more

Dear students,

we have uploaded the seating plan for the first exam.

On your status page, you can see the lecture hall and seat you have been assigned to.

If you have not been assigned a seat, but think that you should (because you registered properly and were admitted), please send me an email as soon as possible. We will try to resolve the issue in case we did a mistake.

For Wednesday, please make sure to be in front of the lecture hall you have been assigned to well ahead of time, say at latest at 13:45pm.

Best regards,

Daniel

17.07.2019

Exam Registration (reminder)

Dear students,

this is a friendly reminder that today is the last day to register for the exam. If you are not registered in both the CMS and the official system pertaining to your particular course of studies, you will not be able to write the exam! See the... Read more

Dear students,

this is a friendly reminder that today is the last day to register for the exam. If you are not registered in both the CMS and the official system pertaining to your particular course of studies, you will not be able to write the exam! See the previous news for details. Also note that it is not possible to register for the exam after today's deadline!

Kind regards,

Marcel

08.07.2019

Office Hour for Practical Sheet 5

Dear students,

some of you have raised interest in an additional office hour on GDL.

This will take place today, 4-6pm in room 3.06, E1.1.

Kind regards,

Daniel

02.07.2019

Exam Registration

Dear Students, 
 
This is a reminder that, in order to take the AI exam you must register in two different placesuntil one week before the exam at the latest: July 17. Everyone who is not registered cannot participate in the exam and the examination office... Read more
Dear Students, 
 
This is a reminder that, in order to take the AI exam you must register in two different placesuntil one week before the exam at the latest: July 17. Everyone who is not registered cannot participate in the exam and the examination office said that they'll be strict with the deadline, so please try to not leave this for the last minute. We're not allowed to do any exceptions on this, if you're not registered by the deadline, you won't be able to take the exam.
 
1) CMS: We have opened the registration in CMS, under the "registration" tab. You'll be able to register as soon as you fulfill the requirements (50 points in practical and paper exercises). Of course, we'll try to upload the points as soon as possible so that you can do this early.
 
2) HISPOS/VIPA: This depends on your course of studies and I don't have the list, but you should know if your course of studies is using one of these. If so, you need to register in the corresponding system. Students in course of studies that belong to HISPOS or VIPA and don't register there will not be allowed to take the exam.
If your course of studies is not related to HISPOS or VIPA (like Erasmus students), please write Daniel (gnad@cs.uni-saarland.de) once you register in CMS so that we keep track of the list of students that attend the exam without being in HISPOS or VIPA. 
 
Best,
Alvaro
 
13.06.2019

Response to Feedback on Practical Exercise Sheet 03

This is in response to anonymous feedback, because given some comments in the forum I think that many students will be thinking in similar way.

1) "I don't see the point behind using an outdated language like Z3"

  I'm not sure why you think that Z3 is... Read more

This is in response to anonymous feedback, because given some comments in the forum I think that many students will be thinking in similar way.

1) "I don't see the point behind using an outdated language like Z3"

  I'm not sure why you think that Z3 is outdated. On the contrary, this is a theorem prover being developed by Microsoft and looking at the commit history in (https://github.com/Z3Prover/z3) I see that the last commit is from 2 days ago. Indeed, what Z3 implements is even beyond what we teach in this course (you can do predicate logic and CSP, but also SAT modulo theories which is an extension of SAT).

  There are two ways of using Z3. One is with the language you use in the practical exercises. The second one is through an API (in python for example). There are two good reasons for using the former: one is that many students are struggling with the python programming (remember, we have students from different backgrounds), the second reason is that it is more representative of AI where you don't tell the computer how to solve a problem by programming an algorithm but rather specify your problem in a "logic" language and let the solver deal with it.


2) "I don't see the point of forbidding usage of mod and Quantifiers."

   I know that there are many people thinking like this, so let me explain the logic behind this. We need to set a limit on what you use because Z3 incorporates so many things and we want you to solve this with CSP. Also, the Sudoku exercise is not a real-world problem, it is a very artificial problem that we find good for the practical exercise because it is very simple to understand and it minimizes the chances that some constraint is missinterpreted.

   Therefore, we want constraints to be as easy to understand as possible so we chose very simple mathemathical expressions (like mod). But the purpose of this exercise is that you have to think how to encode these in CSP. In that sense, we were considering quantifiers part of the predicate logic exercise and considered that it is not very difficult to write 3-4 lines of code that print out the constraints.

   Regarding mathematical expressions, in the lecture we consider only binary constraints but requiring you to model everything only with binary constraints would be an overkill. So we set the middle ground in using only some operations. Note that asking you to model only constraints that can be modeled in the language in a straightforward way makes not too much sense. The idea is that you have to think how to model things. In a real world problem this will be definitively the case, you'll have some constraints that are complex and do not correspond to a single command provided by the developers of Z3.

   Note that this does not make the exercise very complicated. Some students asked why division cannot be used but the truth is that a/b = c can be rewritten as a = b*c.

   Nevertheless, I think that next year we'll make some changes. We'll consider allowing quantifiers and we'll remove the "mod" constraint by something like prime numbers or some other expression that does not correspond to any primitive Z3 operation. This will not make the exercise any easier but probably will be less frustrating to not be able to use one particular feature of Z3.

So, thanks for the feedback, we'll definitively consider this when designing the exercises next year.

Cheers,

Alvaro

13.06.2019

Some bugfixes on the current sheets

Dear students,

we had to fix a couple of minor bugs on Exercise Sheet 7 and Practical Sheet 4. Please make sure that you are working with the most recent revision.

Kind regards,

Daniel

24.05.2019

Public Holiday on Thursday (30.05.)

Dear students,

next week Thursday (30.05.) is a public holiday. There will be no tutorials on that day! We have arranged some alternative slots within the next week for the two affected tutorials. Please have a look at the CMS timetable to find out to which time... Read more

Dear students,

next week Thursday (30.05.) is a public holiday. There will be no tutorials on that day! We have arranged some alternative slots within the next week for the two affected tutorials. Please have a look at the CMS timetable to find out to which time your tutorial has been moved.

Best,
Marcel

21.05.2019

Submission of Practical Sheet 2

Dear students,

we have updated the submission instructions for the second practical sheet. If you have already uploaded your solution, please go over your submission again to make sure that it is consistent with the new submission file structure. If you have not... Read more

Dear students,

we have updated the submission instructions for the second practical sheet. If you have already uploaded your solution, please go over your submission again to make sure that it is consistent with the new submission file structure. If you have not submitted, make sure to follow the updated instructions.

We apologize for any inconvenience this might cause.

Best,
Marcel

15.05.2019

Updated Exercise Sheet 4

Dear students,

there was a minor mistake in the second part of Exercise 15 (b) on Exercise Sheet 4.

Please use the updated PDF when working on the sheet.

Sorry for the inconvenience.

Best regards

Daniel

08.05.2019

Office Hour for Practical Sheet 1

Dear students,

some of you have asked if we could offer additional help for the first practical sheet.

We were able to schedule an office hour on Friday, May 10, 2-4pm, in E1.1 room 3.06.

If you have questions about the first practical sheet, please come to... Read more

Dear students,

some of you have asked if we could offer additional help for the first practical sheet.

We were able to schedule an office hour on Friday, May 10, 2-4pm, in E1.1 room 3.06.

If you have questions about the first practical sheet, please come to the office hour.

Best regards

Daniel

07.05.2019

Different Lecture Hall!

Dear students,

due to technical problems in the Günther-Hotz lecture hall, today's (07.05.2019) lecture is taking place in lecture hall 1 in E2.5 instead!

Best,

Marcel

23.04.2019

First exercise sheet + some issues with the forum

Dear students,

we just uploaded the first exercise sheet of the lecture. You can download the sheet on the "Materials" page. The submission deadline is next week's Tuesday, before the lecture (see submission instructions on the sheet for further details). From... Read more

Dear students,

we just uploaded the first exercise sheet of the lecture. You can download the sheet on the "Materials" page. The submission deadline is next week's Tuesday, before the lecture (see submission instructions on the sheet for further details). From now on, there will be an exercise sheet every week. We will not send any more news announcing the sheets.

Some of you have noticed an issue with the activation email to access the forum, not sending messages to new users. The issue has just been resolved. If you still have issues logging-in to the forum, please let me know.

Kind regards,

Daniel

18.04.2019

Tutorial groups and some updates

Hi all, 

We've assigned you to a tutorial. In the end, given the amount of students we have added an extra tutorial on Mondays (the preferred slot for most students) and most of you were assigned to a slot you preferred. 

I saw some messages in the forum were... Read more

Hi all, 

We've assigned you to a tutorial. In the end, given the amount of students we have added an extra tutorial on Mondays (the preferred slot for most students) and most of you were assigned to a slot you preferred. 

I saw some messages in the forum were people were already forming groups. This is a good way to do that but it was a bit too soon. Note that all members of a group must be assigned to the same tutorial, so now that you know your tutorial is the moment to try to find teammates in the same tutorial. 

Right now the tutorials are too crowded and we need to keep them balanced in size. If you're in tutorial A and you want to switch your slot to tutorial B, then this is only possible if someone in tutorial B wants to (or is fine with) be moved to tutorial A. If that is the case, please send me an email with copy to the other student that wants to be switched and I'll switch you manually. Please, don't send any emails asking to be moved to another full tutorial otherwise: as I said the size of the groups needs to stay balanced.

Also, let you know that we updated the "Organization" page, so that you can check the entire schedule for the lecture.

I wish you a happy Easter!

Cheers, 

Alvaro

05.04.2019

First Lecture: Monday April 8!

Hi everyone, 

This is just a reminder that the first lecture will take place on Monday April 8 at 14:15 in E2.5, lecture hall 1.

Looking forward to see you there!

Cheers, 

Alvaro

Show all
 

Artificial Intelligence

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 in the FAI group.



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators