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

The Logic of Knowledge Bases (Lecture, SS 2003)

General information

Instructor: Prof. Gerhard Lakemeyer, Ph.D.
gerhardcsrwth-aachende
Assistant: Gero Iwan
iwaninformatikrwth-aachende
  This course is held in English.

Overview of the course

1.Introduction
2.The First-Order Language L
3.The Knowledge Language KL
4.Properties of KL
5.Tell and Ask
6.An Extended Example
7.KnowledgeBases: Absract & Concrete
8.The Representation Theorem
9.Only Knowing
10.Connection to Autoepistemic Logic
11.Knowing About
12.Limited Belief
13.Knowledge and Action

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

Course Dates

This course starts on 23rd April 2003.
Lecture Monday 08:15h - 09:45h AH II
Wednesday 08:15h - 09:45h AH II
Tutorial
alternating with the lecture:
12.05.2003 08:15h - 09:45h AH II
19.05.2003 08:15h - 09:45h AH II
23.06.2003 08:15h - 09:45h AH II
25.06.2003 08:15h - 09:45h AH II
07.07.2003 08:15h - 09:45h AH II
21.07.2003 08:15h - 09:45h AH II
caveat
No liability assumed! Dates may change. Check News.
 

News

12.08.2003
The Only Knowing transparency 8 is inaccurate. (A corrected version of the transparency probably will be available later.)
Correction: For Subjective Sentences, There are only two cases:   e|=Oα     iff     |=¬α and e={}   or   e0|=α and e=e0
28.07.2003
The Limited Belief transparencies have been completed.
22.07.2003
Solutions to Exercises 4.3 and 4.4 are temporarily available.
21.07.2003
The Limited Belief transparencies have been extended.
14.07.2003
In Exercise 4.5 the use of "v1" and "v2" may lead to a kind of subscript clash with the algorithm. Using, say, "v' " and "v'' " instead would have been better. (An accordingly modified version of Assignment 4 is now available.)
14.07.2003
Assignment 4 is now available.
10.07.2003
The list of registrations for the final exam now also contains room, date and time of the individual examinations.
07.07.2003  
On July 02, an e-mail was sent to those who registered for the final exam. Today, a reminder was sent to those who did not yet reply. If you got (at least one of) these e-mails, please, reply. If you registered for the final exam but did not get (at least one of) these e-mails, please, contact Gero Iwan.
03.07.2003
The Only Knowing transparency 16 has been corrected.
02.07.2003  
The list containing the matriculation numbers of those who are registered for the final exam now also contains preliminary(!) dates.
02.07.2003
The Only Knowing transparencies have been completed, and transparency 13 has been changed.
01.07.2003
The Properties of Knowledge transparencies 2 and 6 (Axiom A7) have been corrected.
30.06.2003
The lecture and tutorial on the next two mondays change dates, i.e.: tutorial on July 07, 2003; lecture on July 14, 2003.
30.06.2003  
Instead of a written final exam there is an oral final examination; see below.
24.06.2003
Solutions to Exercises 3.23.4 and 3.5 are temporarily available. (They can be obtained in the next tutorial, too.)
23.06.2003
There will be an extra tutorial on June 25, 2003.
23.06.2003
A list containing the matriculation numbers of those who are registered for the final exam is available.
05.06.2003
A list containing the matriculation numbers of those who are registered for the final exam will be available on June 23, 2003.
05.06.2003
Registration for the final exam is necessary; see below.
05.06.2003
Taking a look at the midterm exams is possible on
  • Tuesday, June 24, 2003, 11:30-12:30 a.m., AH II
05.06.2003
A preliminary list of the points (= percents) reached in the exam will be available here as soon as possible. The list may contain errors. It has to be double-checked later on.
05.06.2003 Announcement of two Colloquium talks
  • Monday, June 16, 2003, 4 p.m., AH I
    Prof. Dr. Hector J. Levesque (University of Toronto, Toronto, Canada ):
    Joint ability of groups of agents   [abstract]
  • Thursday, June 26, 2003, 5 p.m., AH I
    Dr. Maurice Pagnucco (University of New South Wales, Sydney, Australia ):
    Causal vs. minimal change approaches to reasoning about action   [abstract]
05.06.2003
Reminder: The next lecture will be on June 30, 2003; The next tutorial will be on June 23, 2003. There are also no office hours until June 23, 2003.
02.06.2003
Solutions to Exercises 1.32.3 and 2.4 are temporarily available. (They can be obtained in the next tutorial, too.)
30.05.2003
Unfortunately, the correction of the homework is not yet finished. But instead:
A solution to Exercise 2.4 is temporarily available.(More solutions to come on next monday.)
28.05.2003
Of course, because of the midterm exam there is no lecture on June 04, 2003.
28.05.2003
The midterm exam will comprise the lecture up to (and including) the chapter on "KBs and Epistemic States".
26.05.2003
Assignment 3 is now available.
26.05.2003
For those who attended the lecture "Introduction to Knowledge Representation (Fall 2002)":
There are some news concerning the KR exam; see web page.
15.05.2003
The Ask and Tell transparency 8 has been corrected. Furthermore, missing parenthesis have been inserted in some formulas on several transparencies, and on transparency 22 (in the last line) "e1" has been changed to "e3".
13.05.2003
A list containing the matriculation numbers of those who are registered for the midterm exam is available.
13.05.2003  
Registration for the midterm exam is necessary; see below.
12.05.2003
It turned out that in Exercise 1.4 the use of "KB" for naming the sets of sentences is a little bit unfortunate (because it may be misleading). Using, say, "S" instead would have been better. (An accordingly modified version of Assignment 1 is now available.)
09.05.2003
The Ask and Tell transparencies have been completed.
06.05.2003
Assignment 2 is now available.
06.05.2003
Mind the remark on the assignments: "Homework assignments are optional but strongly recommended. Note: Only neat homework will be surveyed!"
06.05.2003
Assignment 1 is now available.
29.04.2003
Assignment 1 will not be ready in the class on May 05, but can be downloaded from the web later, fetched as hardcopy from the envelope at Iwan's office door, or obtained in the class on May 07.
16.04.2003
No lecture/tutorial on June 16, June 18, and (maybe) June 25, 2003.

Literature

Hector J. Levesque and Gerhard Lakemeyer.
The Logic of Knowledge Bases.
MIT Press, 2001. BibTeX entry

Material

Additional material concerning the course can be found here:

Exam

The exam is split into a midterm exam (worth 35%) and a final exam (worth 65%).

Midterm Exam

There is a written midterm examination (duration: 60 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 May 26, 2003.

There is no need to register with ZPA for the midterm exam (only for the final exam).

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

Final Exam

There is an oral final examination (duration: 30 minutes) taking place for Master/Erasmus students on for Diploma students 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 KB exam and containing The deadline for registration was June 27, 2003.

Note: Master students must register with ZPA, too.

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