Quicklinks:     HOME: Teaching   General   Course Dates   News   Literature   Material   More  
Home  

Introduction to Knowledge Representation (Lecture, WS 2002/2003)

General information

Instructor: Prof. Gerhard Lakemeyer, Ph.D.
gerhardcsrwth-aachende
Assistants: Gero Iwan
iwaninformatikrwth-aachende
Günter Gans
gansinformatikrwth-aachende
  This course is held in English.

Topics covered in the course
The course introduces techniques for knowledge representation and reasoning. The topics covered are:

For information about exams see below

An announcement of the course can also be found in the course information system CAMPUS.

Course Dates

This course starts on 21st October 2002.
Lecture Monday 11:45h - 13:15h AH III
Wednesday 08:15h - 09:45h AH III
Tutorial Wednesday 12:00h - 13:30h AH III

News

04.09.2003
The list of registrations for the oral exam is available and also contains room, date and time of the individual examinations.
11.08.2003
There will be an optional oral exam for those who did not pass the written exam (the best grade then will be a 4.0). The optional oral exams will take place on Thursday, Oct. 09, 2003. Examinees have to register by sending an e-mail to Gero Iwan (mailto:iwan@informatik.rwth-aachen.de) containing name and matriculation number. The deadline for registration is Aug. 31, 2003.
11.08.2003
Taking a look at the exams is possible on Wednesday, Aug. 13, 2003, 3 p.m., seminar room of Informatik V (room 6243). Maybe there will be a second possibility for taking a look at the exams later.
11.08.2003   Results of second exam
The list of exam results (second exam) is now available.
23.07.2003 Second exam
The second exam takes place on
  • July 31, 2003, 10:00 a.m., seminar room of Informatik V (room 6243),
provided that there are no conflicts concerning the time. (The day is fixed.)
22.05.2003   Exam shifted !!!
Important notice ! There have been numerous requests to move up the exam which originally was planned for February/March 2004. Therefore:
  • There will be no exam in February/March 2004. But instead:
  • There will an exam on Thursday, July 31, 2003. Registration is necessary; see below. Note: Master students must register with ZPA, too.
Everything which was written in the news on Apr. 08 regarding the exam in 2004 (except for the deadline) is now valid for the exam on July 31.
10.04.2003
The list of registrations for the oral exam now also contains room, date and time of the individual examinations.
08.04.2003
A list containing the matriculation numbers of those who are registered for the oral exam is available here. Please check it, and report errors.
08.04.2003 Exams in 2003 and 2004
Here is some clarification regarding the exams in 2003 and 2004:
  • If you were qualified for the written exam in 2003 but were not registered for it, then you are qualified for the exam in 2004.
  • If you were registered for the written exam in 2003 and did not take it, then you failed it (see next item).
  • If you failed the written exam in 2003 and did not take the oral exam in 2003, then you are qualified for the exam in 2004.
  • If you failed the written exam in 2003 and took the oral exam in 2003 and failed it, then you are qualified for the exam in 2004.
  • If you failed the written exam in 2003 and took the oral exam in 2003 and passed it, then you have grade 4.0 (and you can not improve it).
  • If you passed the written exam in 2003, then you have the reached grade (and you can not improve it).
Registration for the exam in 2004 is possible from now on. The registration deadline is not yet fixed but will be anytime in January/February 2004.
04.04.2003
Extended deadline for oral exam registration: Apr. 08, 2003.
19.03.2003 Another chance
In contrast to what was posted here before (on Mar. 12), there will be another chance to take the exam next year in February/March 2004 (but not next semester).
Please not: This news has been overridden on May 22 !
12.03.2003   Optional exams
The optional oral exams will take place on Tuesday, Apr. 15, 2003. Examinees have to register by sending an e-mail to Gero Iwan (mailto:iwan@informatik.rwth-aachen.de) containing name and matriculation number. The deadline for registration is Apr. 06, 2003.
12.03.2003
The next lecture "Introduction to Knowledge Representation" will be given not earlier than fall term 2004 (maybe even later). (The corresponding written exam will take place in February 2005 soonest.)
10.03.2003
Taking a look at the exams is possible on Wednesday, Mar. 19, 2003, 3-4 p.m., AH III.
10.03.2003   Results
The list of exam results (points and grades) is now available.
10.03.2003 Oral exams
As announced on Feb. 05 already, there will be an optional oral exam for those who did not pass the written exam (the best grade then will be a 4.0). More information coming soon.
07.03.2003
A preliminary list of the points (= percents) reached in the exam is now available. The list may contain errors. It will be double-checked soon. Marks are assigned afterwards.
12.02.2003
There is another bug in Exercise 4.1: In the second hint of part h, instead of '... not occurring in S' it should have been '... not occurring in S ∪ {α}'. So, the Bonus-part k of Exercise 4.1 is split into two Bonus-parts, and you can get additional 10 points.
10.02.2003
There will be a last tutorial on next Wednesday, Feb. 12, 2003.
10.02.2003
The lecture halls for the exam are announced now; see below. Examinees are assigned to the lecture halls for the exam according to their matriculation numbers; see below.
05.02.2003
After failing the written exam there is an optional oral exam (the best grade then will be a 4.0).
05.02.2003
The lecture hall(s) for the exam will be announced on next Monday, Feb. 10, 2003.
05.02.2003
A list containing the matriculation numbers of those who are registered and qualified for the exam is available.
03.02.2003
There will be no lecture on next Monday, Feb. 10, 2003. Instead there will be a question & answer session.
03.02.2003
Average percentage needed on homework is now 35%.
31.01.2003
Changes have been made on the Abduction transparencies (to transparencies 3 - 7, 9).
31.01.2003
The problem with printing the Abduction transparencies has been fixed.
28.01.2003
A problem with printing the Abduction transparencies has been reported. We try to fix it.
28.01.2003  
There is a bug in Exercise 4.1: In part h, it is not true that there is an unique stable expansion. So, in Exercise 4.1 you can get 60 points without part h. Part h is transformed into a Bonus-Exercise, and you can get additional 10 points by specifying the stable expansions (if one exists) or affirming that no stable expansion exists.
27.01.2003
Maybe there is a bug in Exercise 4.1: In part h, maybe it is not true that there is an unique stable expansion. We are double-checking this right now.
21.01.2003
Unfortunately, Assignment 4 is delayed but will be ready on Jan. 22.
20.01.2003  
Master students must register with ZPA this week if they want to take the exam.
16.01.2003
A list containing the matriculation numbers of those who are registered for the exam is available.
15.01.2003   Final exam at 8.00 a.m. !!!
The final exam takes place at 8:00 a.m. (not at 8:15 !) on Wednesday, Feb. 12, 2003. Registration is necessary; see below.
15.01.2003
The updating of the Actions transparencies has been done (esp. transparencies 2, 3, 11).
15.01.2003
The updating of the Defaults transparencies has been done (transparencies 18, 21, 24).
07.01.2003
The Defaults transparencies have been completed, and corrections have been made.
17.12.2002
There is an error in the book: The algorithm from Figure 9.1 is incomplete. This error carried over to the Description Logics transparency 15. Therefore this transparency was changed. The new algorithm presented there is 'less incomplete' than the old one but still incomplete (cf. Exercise 3.1).
16.12.2002
Due to a suspected error on Description Logics transparency 15 (and in the book !), Assignment 3 is somewhat delayed.
11.12.2002
The Inheritance transparencies have been completed, and the figure on transparency 7 has been corrected.
09.12.2002  
There will be no lecture on next Monday, Dec. 16, 2002.
04.12.2002
Again, changes have been made on the Description Logics transparencies (to transparencies 7, 15, 22, 26). Especially, a new item (OR) was added on transparency 26. '{x|Q(x)}' was replaced by '{Q|Q(c)}' on transparency 22. 'C[a]' was replaced by 'a -> C ' on transparency 7.
02.12.2002
The Description Logics transparencies have been completed, and changes have been made (to transparencies 9, 10, 14, 17). Especially, a new item was added on transparency 14.
02.12.2002
There is a typo in Exercise 2.2: In part d, 'q8' actually should be 'p8'.
28.11.2002
Correction to Procedural Control transparency 10, item '3. If-removed': the correct text is 'Whenever something matching ParentOf(x,y) is removed from the DB, also remove MotherOf(x,y)'.
27.11.2002
Correction to Production Systems transparency 10: replace the word 'backward-chaining' by the word 'goal-directed'.
20.11.2002
The Production Systems transparencies have been completed.
20.11.2002
The Procedural Control transparencies have been updated (typos and example fix).
06.11.2002
The solutions of Exercise 1.4 can be handed in at the beginning of the tutorial on Nov. 20 (or on Nov. 13, of course).
05.11.2002
Changes have been made on the Resolution transparencies (which are now online).
04.11.2002
Changes have been made on the Resolution transparencies (which will soon be online again).
30.10.2002
The Knowledge Engineering transparencies have been corrected (and are now online).
28.10.2002
Changes have been made on the First-Order Logic transparencies 11-13 (which are now online).

Literature

Ronald J. Brachman and Hector J. Levesque.
Knowledge Representation and Reasoning.
2003. BibTeX entry

Material

Additional material concerning the course can be found here:

Exam

There are two chances to take the exam.

First Exam

There is a written examination (duration: 90 minutes) taking place on Examinees have to register by sending an e-mail to Gero Iwan (mailto:iwan@informatik.rwth-aachen.de) containing The deadline for registration was February 05, 2003.

This registration here is independent of the official registration at the ZPA!

Further information (including a list containing the matriculation numbers of those who are registered and qualified for the exam) is available here.

Second Exam

There is a written examination (duration: 90 minutes) taking place on Examinees have to register by sending an e-mail to Gero Iwan (mailto:iwan@informatik.rwth-aachen.de) indicating that they register for the KR exam and containing The deadline for registration was June 27, 2003.

This registration here is independent of the official registration at the ZPA!

Further information (including a list containing the matriculation numbers of those who are registered for the exam) is available here.

Quicklinks:     HOME: Teaching   General   Course Dates   News   Literature   Material   More  

Date: 08 Feb 2008 TN   |   Disclaimer   |   Home