2015/16 Undergraduate Module Catalogue
COMP3760 Knowledge Representation
10 creditsClass Size: 75
Module manager: Dr John Stell
Email: J.G.Stell@leeds.ac.uk
Taught: Semester 1 (Sep to Jan) View Timetable
Year running 2015/16
Pre-requisites
COMP2240 | Artificial Intelligence |
This module is not approved as a discovery module
Objectives
On completion of this module, students should be able to:- analyse informal descriptions of simple problems in terms of a formal representation language;
- use an automated reasoning software tool to compute inferences from logical representations;
- understand the basic principles of automated reasoning and appreciate its power and its limitations.
Skills outcomes
Formal model building.
Syllabus
Logical foundations of knowledge representation including key properties of formal systems (such as soundness, completeness, expressiveness and tractability).
Use of theorem proving techniques (e.g., Tableaux) and tools (e.g., Prover9).
Representing and reasoning about time and actions (e.g., STRIPS, situation calculus, tense logic).
Qualitative knowledge representation.
Introduction to non-monotonic reasoning.
Teaching methods
Delivery type | Number | Length hours | Student hours |
Laboratory | 5 | 1.00 | 5.00 |
Lectures | 22 | 1.00 | 22.00 |
Class tests, exams and assessment | 1 | 2.00 | 2.00 |
Private study hours | 71.00 | ||
Total Contact hours | 29.00 | ||
Total hours (100hr per 10 credits) | 100.00 |
Private study
- Taught session prep: 20 hours- Taught session follow-up: 20 hours
- Self-directed study: 8 hours
- Assessment activities: 23 hours
Opportunities for Formative Feedback
Attendance and formative assessment.Methods of assessment
Coursework
Assessment type | Notes | % of formal assessment |
Assignment | Exercise in formal intology development | 20.00 |
Total percentage (Assessment Coursework) | 20.00 |
This module is re-assessed by exam only.
Exams
Exam type | Exam duration | % of formal assessment |
Open Book exam | 2 hr 00 mins | 80.00 |
Total percentage (Assessment Exams) | 80.00 |
This module is re-assessed by exam only.
Reading list
The reading list is available from the Library websiteLast updated: 25/02/2016
Browse Other Catalogues
- Undergraduate module catalogue
- Taught Postgraduate module catalogue
- Undergraduate programme catalogue
- Taught Postgraduate programme catalogue
Errors, omissions, failed links etc should be notified to the Catalogue Team.PROD