Module Details |
The information contained in this module specification was correct at the time of publication but may be subject to change, either during the session because of unforeseen circumstances, or following review of the module at the end of the session. Queries about the module should be directed to the member of staff with responsibility for the module. |
Title | Knowledge Representation and Reasoning | ||
Code | COMP304 | ||
Coordinator |
Dr LB Kuijer Computer Science Louwe.Kuijer@liverpool.ac.uk |
||
Year | CATS Level | Semester | CATS Value |
Session 2020-21 | Level 6 FHEQ | First Semester | 15 |
Aims |
|
1. To introduce Knowledge Representation as a research area; |
Learning Outcomes |
|
(LO1) Translate between English and the languages of modal and description logics. |
|
(LO2) Explain whether formulas of propositional, modal and description logic are true or valid. |
|
(LO3) Analyse simple scenarios involving knowledge, and represent them in modal and description logics. |
|
(LO4) Apply formal proof methods in description logics. |
|
(S1) Problem Identification |
|
(S2) Critical Analysis |
|
(S3) Solution Synthesis |
|
(S4) Evaluation of Problems and Solutions |
Syllabus |
|
- Introduction to Knowledge Representation (KR) and discussion of propositional logic (3 lectures). |
Teaching and Learning Strategies |
|
Teaching Method 1 - Lecture Teaching Method 2 - Tutorial Due to Covid-19, in 2020/21, one or more of the following delivery methods will be implemented based on the current local conditions. (b) Fully online delivery and assessment (c) Standard on-campus delivery with minimal social distancing. |
Teaching Schedule |
Lectures | Seminars | Tutorials | Lab Practicals | Fieldwork Placement | Other | TOTAL | |
Study Hours |
30 |
10 |
40 | ||||
Timetable (if known) | |||||||
Private Study | 110 | ||||||
TOTAL HOURS | 150 |
Assessment |
||||||
EXAM | Duration | Timing (Semester) |
% of final mark |
Resit/resubmission opportunity |
Penalty for late submission |
Notes |
(304) Final Exam There is a resit opportunity. Standard UoL penalty applies for late submission. This is an anonymous assessment. Assessment Schedule (When) :Semester 1 | 150 minutes. | 70 | ||||
CONTINUOUS | Duration | Timing (Semester) |
% of final mark |
Resit/resubmission opportunity |
Penalty for late submission |
Notes |
(304.1) Class Test 1 There is a resit opportunity. Standard UoL penalty applies for late submission. This is an anonymous assessment. Assessment Schedule (When) :Around week 5 | 1 hour | 15 | ||||
(304.2) Class Test 2 There is a resit opportunity. Standard UoL penalty applies for late submission. This is an anonymous assessment. Assessment Schedule (When) :Around week 10 | 1 hour | 15 |
Recommended Texts |
|
Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module. |