2023/24 Taught Postgraduate Module Catalogue
COMP5450M Knowledge Representation and Reasoning
15 creditsClass Size: 300
Module manager: Dr Brandon Bennett
Taught: Semester 1 (Sep to Jan) View Timetable
Year running 2023/24
This module is not approved as an Elective
ObjectivesOn completion of this module, students should be able to:
- analyse informal descriptions of moderately complex real-world scenarios in terms of a number of different formal representation languages;
- understand how to use an automated reasoning software tool to compute inferences from logical representations;
- understand the principles of automated reasoning and appreciate the power limitations of different representations and inference mechanisms;
- understand what an Ontology is and how it can be used within an information system and be able to create simple ontologies using a software tool.
Review of logical foundations of knowledge representation including key properties of formal systems (such as soundness, completeness, expressiveness and tractability). Principles of Logic Programming.
Representing and reasoning about time and actions and physical changes (e.g., interval calculus, event calculus). Representing space and physical situations (topology, orientation, physical objects). Automated inference techniques (e.g., refinements of resolution, relational composition, non-monotonic reasoning). Ontology representation languages and tools. Semantic web applications.
Formalisms for representing other aspects of knowledge (e.g., vagueness, uncertainty, belief, desire).
|Delivery type||Number||Length hours||Student hours|
|Private study hours||128.00|
|Total Contact hours||22.00|
|Total hours (100hr per 10 credits)||150.00|
Private studyTaught session prep: 22 hours
Taught session follow-up: 44 hours
Self-directed study: 27 hours
Assessment activities: 35 hours
Opportunities for Formative FeedbackAttendance and formative assessment.
Methods of assessment
|Assessment type||Notes||% of formal assessment|
|In-course Assessment||Coursework 1||30.00|
|In-course Assessment||Coursework 2||30.00|
|Total percentage (Assessment Coursework)||60.00|
Normally resits will be assessed by the same methodology as the first attempt, unless otherwise stated
|Exam type||Exam duration||% of formal assessment|
|Standard exam (closed essays, MCQs etc)||2 hr 00 mins||40.00|
|Total percentage (Assessment Exams)||40.00|
The Exam will be a Computer-based exam. This module will be reassessed by Computer-based examination.
Reading listThe reading list is available from the Library website
Last updated: 28/04/2023 14:53:59
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