COMP6016: Knowledge Representation and Reasoning (2009-2010)

Announcements

• 7 Jan 2010:
  There will be a revision session of the course on Friday, 15 January at 14:00-16:00 in Room 2.15.
• 19 Oct 2009:
  Please check blackboard for the marks of your coursework assignments. If you can't see your marks please let us know.
• 30 Sep 2009:
  Please refer to the Announcement page on Blackboard for this course and your email. If you are registered for the course you should receive all the announcements through email and Blackboard.
• 24 Sep 2009:
  The teaching day is Monday starting from 28 Sep 2009, lectures start at 9:00.

Important dates

• 10:30am, every Monday - Weekly coursework exercise deadline
• 4:00pm, Friday, 6 November - Essay handin deadline

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 LF21.

Course description

Follow this link for the course unit description, giving details about the aims and learning outcomes of the course, reading material, assessment, and the syllabus.

• Link to ACS Syllabus

Lecturers

• Ulrike Sattler
• Renate Schmidt

Demonstrators

• Pavel Klinov
• Nestan Tsiskaridze

Locations and times

• Times: 9:00-17:00 on Monday, 28 Sep - 26 Oct.
• Venues: Lectures and exercise classes will be in Room 2.15. The labs will be in the MSc lab (2.25a & 2.25b).

Slides

• Intro talk: PDF
• Uli's slides of Week 1: PDF
• Renate's slides of Week 2: PDF
• Renate's slides of Week 4: PDF
• Renate's slides of Week 5: PDF

Coursework

• Coursework for Week 1: PDF
• Essay Material: PDF

Reading material

The course unit 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 course unit.

There is no need to buy a book for this course unit.

The recommended books are available in the Resources Centre Library and the main library.

Recommended Pre-requisites

See the intro slides for details.

To refresh your knowledge on sets, relations and function we recommend

• Chapter 5.2 in Cormen, T. H. and Leiserson, C. E. and Rivest, R. L. (1992), Introduction to Algorithms. The MIT Electrical Engineering and Computer Science Series, MIT Press.
• Chapter 1.1 and 1.3 of "Interactive Real Analysis". This website includes interactive exercises with answers.
• Any book on the mathematical foundations of CS or discrete mathematics.

To refresh your knowledge on propositional logic (also known as classical logic or Boolean logic) and first-order logic (also known as predicate logic) we recommend

• Kelly, J. The Essence of Logic. Pearson.
• Huth, M. and Ryan, M. Logic in Computer Science Modelling and Reasoning About Systems. Cambridge University Press
• Almost any introductory level textbook on Artificial Intelligence, KR&R, Logic, foundations of CS.

Other resources

• SPASS Website
• SPASS Tutorial
• MSPASS Website
• Sources of ICOM

Assessment

50% coursework, 50% exam

Of the coursework: 30% for essay, 35% for Uli's weekly coursework, 35% for Renate's weekly coursework