Module and Programme Catalogue

Search site

Find information on

2020/21 Taught Postgraduate Module Catalogue

COMP5450M Knowledge Representation and Reasoning

15 creditsClass Size: 230

Module manager: Dr Brandon Bennett
Email: B.Bennett@leeds.ac.uk

Taught: 1 Sep to 31 Jan (adv yr), Semester 1 (Sep to Jan) View Timetable

Year running 2020/21

This module is not approved as an Elective

Objectives

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

Syllabus

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

Teaching methods

Due to COVID-19, teaching and assessment activities are being kept under review - see module enrolment pages for information

Delivery typeNumberLength hoursStudent hours
Class tests, exams and assessment12.002.00
Lecture221.0022.00
Private study hours126.00
Total Contact hours24.00
Total hours (100hr per 10 credits)150.00

Private study

Taught session prep: 22 hours
Taught session follow-up: 44 hours
Self-directed study: 25 hours
Assessment activities: 35 hours

Opportunities for Formative Feedback

Attendance and formative assessment.

Methods of assessment

Due to COVID-19, teaching and assessment activities are being kept under review - see module enrolment pages for information


Coursework
Assessment typeNotes% of formal assessment
In-course AssessmentClassical logic & Proofs (Gradescope, Autograder & MCQ)30.00
In-course AssessmentAI Reasoning Problem encoding and Software and Short explanatory report. (Pair work)30.00
In-course AssessmentReport - Mini Essay (Pair work) Gradescope20.00
Total percentage (Assessment Coursework)80.00

Normally resits will be assessed by the same methodology as the first attempt, unless otherwise stated


Exams
Exam typeExam duration% of formal assessment
Online Time-Limited assessment48 hr 00 mins20.00
Total percentage (Assessment Exams)20.00

This module will be reassessed by an online time-constrained assessment

Reading list

The reading list is available from the Library website

Last updated: 18/09/2020 12:25:42

Disclaimer

Browse Other Catalogues

Errors, omissions, failed links etc should be notified to the Catalogue Team.PROD

© Copyright Leeds 2019