COMP6016: Knowledge Representation and Reasoning (2007-2008)
Announcements
- 21 Nov 2007:
See below for updated slides of today.
- 14 Nov 2007:
See below for updated slides of today.
- 07 Nov 2007:
See below for updated slides of today.
Ignore the reference to the files for Ex 3.1 of Renate's 'Assessed
Coursework' sheet.
- 20 Sep 2007:
Added intro slides and information about pre-requisites.
Important dates
- 10:00am, every Wednesday - Weekly coursework exercise deadline
- 4:00pm, Tuesday, 8 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
-
Peihong Ke
-
Nestan Tsiskaridze
Locations and times
Refer to the ACS Timetable
for dates.
- Times: 9:00-17:00 on Wednesdays, 5 November - 10 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: 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: 21 Nov 07
Copyright © 2007-8
Renate A. Schmidt,
School of Computer Science, Man Univ, schmidt@cs.man.ac.uk