CS616: Knowledge Representation and Reasoning (2005-2006)

Announcements

• 1 Mar 2006: DEADLINE EXTENSION for post-coursework by 1 week. Please submit your work by March 10th, 4pm, to the Student Support Office, Room 2.3. Source code, example files etc should be sent to the relevant supervisor.
• 10 Feb. 2006: Confirmation of post-coursework topics. If you are not on the list or there is a mistake please let us know.
• 08 Feb. 2006: teaching week coursework hand-in date corrected.
• 01 Feb. 2006: Updated slides for modal and description logic part available, see below.
• Coursework available below for Uli's part.
• 30 Jan. 2006: The post-course mini-projects will be allocated during one of lectures on Friday, 3rd of February. Have your choices ready by then.
• 22 Jan. 2006: Lectures start on Monday, the 30th of January, at 09:30. Lectures and labs should end by 17:30 every day. A timetable will be distributed on Monday.
• 22 Jan. 2006: Email with information about the course and pre-coursework, sent on 5 Dec. 2005.

Important dates

• Deadline for pre-coursework: Monday, 30th of January, at the first lecture.
• Deadline for teaching week assignment: Monday, 13th of February, at 16:00.
  For part-time students: 20th of February.
• Deadline for post-course assignment: 3rd of March.
  For part-time students: Two weeks before the exam.
• Exam: See MSc info page.
  The exam is closed book.

Please let us know in good time if you have problems with the set deadlines.

Handing in your work

Please hand in your written coursework as a hard copy to the Student Support Office, Room 2.3.

Programs implemented for practical assignments should be sent to the relevant supervisor, see `Confirmation of topics' above. Please include all binaries, source files, makefiles, etc. It would also be useful to include some example input files or description of examples.

If enough information is provided for us to figure out how your system works, no demonstration is needed. In case we require a demonstration or have problems installing your system we'll let you know.

Module description

Please follow the link for details about the aims and learning outcomes of the module, reading material, assessment, and the syllabus.

Lecturers

• Ulrike Sattler
• Renate Schmidt

Locations and times

Slides

• Introductory talk: PDF, PostScript (4 pages on one).
• Updated handouts for Sections 3-5 (Modal Logic and Description Logic): PostScript (4 pages on one), PDF (4 pages on one).
• The slides and handout for this year's delivery are not as yet available. You will receive a hard copy of the slides on the first day of lectures. To get an impression of the content you may refer to the handouts of last year, but be aware that this year's material is likely to change a bit.

Pre-Coursework

Pre-Coursework is to be submitted at the first lecture on the 30 January 2006.

Reading material

The module does not follow a specific book: copies of the slides are made available.

Recommended reading material is listed on the course description webpage. The list is not final and may change until the start of the module.

The books on the webpage are available in the Resources Centre Library.

There is no need to buy a book for this module.

Copies of any additional papers will be made available on the web.

Coursework

• The coursework for Sections 1-2 and 6-9: PDF

Exercises and assignments are of varying difficulty - those in the teaching week are aimed to consolidate the material of the lectures and are thus easier.

Some exercises and assignments are to be done with pencil and paper, some will require the use of tools (SPASS for the ML part, ICOM for the DL part).

For the post-course work you will be given a selection of topics from which you choose one.

This work may involve writing a program, formalising problems, using reasoning tools for solving such problems, a case study on some research in one of the areas, or a mixture of these.

Assessment

5% assignments in the pre course week, 25% assignments in the teaching week, 30% post-course work, 40% exam