COMP6016: Knowledge Representation and Reasoning (2008-2009)
Announcements
- 15 Jan 2008:
Uli will be provide feedback on her part of the coursework
on Monday 19th, at 10:00, in 2.15.
- 15 Jan 2008:
Renate will be available for questions and feedback on the
coursework of her part on Tuesday, 27 January, 14:00-15:00,
Rm 2.15.
- 10 Nov 2008:
The teaching day is Thursday starting from 13 Nov 2008.
Important dates
- 10:30am, every Thursday - Weekly coursework exercise deadline
- 4:00pm, Tuesday, 13 January - 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.
Lecturers
Demonstrators
- Hilver Reker
- Dmitry Tishkovsky
- Nestan Tsiskaridze
Locations and times
Refer to the ACS Timetable
for dates.
- Times: 9:00-17:00 on Thursdays, 13 November - 11 December.
- Venues: Lectures and exercise classes will be in Room 2.15.
The labs will be in the MSc lab (2.25a & 2.25b).
Slides
Coursework
- Uli's part of the coursework including exercises to refresh your prerequisite
knowledge: PDF
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 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
Assessment
60% coursework, 40% exam
Of the coursework: 30% for essay, 35% for Uli's weekly coursework, 35% for
Renate's weekly coursework
Renate A. Schmidt
Home |
Publications |
FM Group |
Computer Science |
Man Univ
Last modified: 15 Jan 09
Copyright © 2007-8
Renate A. Schmidt,
School of Computer Science, Man Univ, schmidt@cs.man.ac.uk