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

The Logic of Knowledge Bases (Lecture, SS 2005)

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 13th April 2005.
Lecture Monday 08:15h - 09:45h AH I
Wednesday 08:15h - 09:45h AH V
no lecture on April 25
May 23
May 25 (extra tutorial)
June 06 (midterm exam)
June 15
July 06
July 11
July 13
July 18
July 20
 
Tutorial Thursday 16:30h - 17:30h AH III
also tutorial on May 25 08:15h - 09:45h AH V
 
Midterm Exam June 06 08:00h AH I

News

14.07.2005 Proof correction
The answer given to Exercise 3.4 in the tutorial on July 07 was correct. However, as discoverd during the tutorial, the proof was not because there was a gap in it. A correct proof will be presented (and handed out) in the tutorial on July 14.
05.07.2005 No lecture on July 06
Tomorrow, July 06, there will be no lecture anymore. (So there will be no more lecture at all.)
29.06.2005 Access midterm exams
The dates for having a look at the midterm exams are: Thursday, June 30 and July 07, 2005, at 13:00 in room 6243 (Seminarraum Informatik 5).
BTW: The registration for the final exam is online. (Look at the page of the lecture.)
28.06.2005 New transparencies
The transparencies "Knowledge and Action" have been added. (Download from the material page of the lecture.)
17.06.2005 New transparencies
The transparencies "Only Knowing About" have been added. (Download from the material page of the lecture.)
13.06.2005 Transparency changed
The transparency "Defaults 7" has been changed slightly. (Download from the material page of the lecture.)
02.06.2005 Content of midterm exam
The midterm exam may include all chapters up to (and including) "Representation Theorem". (The chapters from "Only Knowing" on are not part of the midterm exam.)
31.05.2005 Practice midterm exam
A practice exam can be downloaded from the material page of the lecture.
31.05.2005 Transparency corrected
The transparency "Only Knowing 14" has been corrected. (Download from the material page of the lecture.)
30.05.2005 Transparency corrected
The transparency "Only Knowing 8" has been corrected. (Download from the material page of the lecture.)
20.05.2005   Extra-Tutorial on May 25 in AH V
Next Wednesday during lecture time, May 25 at 08:15 in AH V, there will be a tutorial (instead of Thursday).
20.05.2005 No lecture on May 23 and May 25
Next week no lectures will take place, neither on Monday, May 23, nor on Wednesday, May 25.
04.05.2005 Both lectures next week
Next week both lectures will take place, on Monday, May 09, and Wednesday, May 11.
27.04.2005   Tutorial on April 28 in AH III
On April 28, the AH III is not occupied by others. Therefore, the tutorial on April 28 takes place in AH III.
26.04.2005 Tutorial on April 28
On April 28, the AH III seems to be occupied. However, this will be checked. (Alternatively, the tutorial on April 28 takes place in Room 5056.)
26.04.2005   Time and room of tutorials
The time and room of the tutorials has changed. It now is: Thursday, 16:30-17:30, AH III.
20.04.2005 No lecture on April 25
Next Monday, April 25, there will be no lecture.
19.04.2005   Time of tutorials
The first meeting of the tutorials will be on April 20 at 13:30 in AH II. Then the actual time of the tutorials will be discussed and fixed. (The range is 11:30 to 15:00 on Wednesday.)

Literature

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

G. Lakemeyer and H. J. Levesque.
Situations, si! Situation Terms, no!.
In 9th Conf. on Principles of Knowledge Representation and Reasoning (KR2004), AAAI Press, 2004. BibTeX entry   Download

Gerhard Lakemeyer and Hector J. Levesque.
Semantics for a useful fragment of the situation calculus.
In Proc. IJCAI-05, 2005. BibTeX entry   Download

Material

Additional material concerning the course can be found here:

Exam

This exam consists of two parts:
 Midterm Exam(weight: 35%)
  Final Exam(weight: 65%)

Midterm Exam

There is a written examination (duration: 90 minutes) taking place on Examinees had to register via registration-form_Midterm.
The deadline for registration was May 30, 2005.
Note: To take the midterm exam, it is not necessary to register with ZPA.
A list containing the matriculation numbers of those who are registered for the midterm exam is available here.
A list containing the results of the midterm exam is available here.

Final Exam

There will be an oral examination at the end of the term.
Examinees had to register via registration-form_Final.
The deadline for registration was July 07, 2005.
Note: Master students must register with ZPA, too.
This registration here is independent of any official registration at the ZPA!
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