Artificial Intelligence

Dear students,
 
we have uploaded the seating plan for the second 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.

Students that do not have a seat assigned cannot take the exam.

For Monday, please make sure to be in front of the lecture hall you have been assigned to well ahead of time, say at latest at 1:45pm. The exam will start at 2pm and take 2 hours.
 
Some organizational points:
- Make sure you know the room and seat you have been assigned to.
- You need to bring your own paper to write on.
- It is not allowed to use any electronic devices during the exam.
- We will be very strict with the end-time of the exam, i.e., if you keep writing after we announced that the time is up, we will not grade any page that you were writing on after the announcement.
- Please use pens only, no pencils; do not use red ink.
- Don't forget to bring your student id.
- Remember that the exam inspection is on Friday, September 27, at 10am in our seminar room. We will not make any exceptions for the inspection.

We wish you all the best for the exam!
 
Kind regards,
Daniel

Dear students, 

we have been told that the registration for the re-exam in HISPOS should now be available.

Daniel

Dear students,

we have just uploaded the results of the first exam.

The gradescale is as follows:

• 42.5-47.4 points: 4.0
• 47.5-52.4 points: 3.7
• 52.5-57.4 points: 3.3
• 57.5-62.4 points: 3.0
• 62.5-67.4 points: 2.7
• 67.5-72.4 points: 2.3
• 72.5-77.4 points: 2.0
• 77.5-82.4 points: 1.7
• 82.5-87.4 points: 1.3
• >87.5    points: 1.0

The exam inspection will be on Wednesday (July 31) in E1.1, room 3.06, from 2pm to 4pm.

Kind regards,

Daniel

Dear students,

as you hopefully know, the first AI exam will take place tomorrow afternoon. The exam will start at 2pm and take 2 hours. Please come to the lecture hall you have been assigned to well ahead of time, at latest at 1:45pm. You can find your assigned seat on your status page. Students that do not have a seat assigned cannot take the exam.

Some organizational points:

- Make sure you know the room and seat you have been assigned to.

- You need to bring your own paper to write on.

- It is not allowed to use any electronic devices during the exam.

- We will be very strict with the end-time of the exam, i.e., if you keep writing after we announced that the time is up, we will not grade any page that you were writing on after the announcement.

- For the submission of your exam, we will ask you to come to the front and hand in your exam (i.e., the exam exercises, the cover sheet, and your solution). You are supposed to form 1 or 2 nice short queues and give everything to one of the tutors at the head of the queue who will staple it and mark on a list that you submitted. Unfortunately, in particular in the large rooms, this process takes a while. Please be patient, it will be easier for everyone if this does not end up in chaos ;)

- Please use pens only, no pencils; do not use red ink.

- Don't forget to bring your student id.

- Remember that the exam inspection is on Wednesday, July 31, at 2pm in our seminar room. We will not make any exceptions for the inspection.

We wish you all the best for the exam!

Kind regards,

Daniel

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

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

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

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

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

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