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 2019-20 | Level 6 FHEQ | First Semester | 15 |
Aims |
|
1. To introduce Knowledge Representation as a research area; 2. To give a complete and critical understanding of the notion of representation languages and logics.; 3. To study description logics and their use; 4. To study epistemic logics and their use; 5. To study the trade-off between expressive power and computational complexity of reasoning. |
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). - Introduction to modal logic and application to epistemic logic: syntax, semantics (Kripke models), model checking, theorem proving, axioms for epistemic logic. (15 lectures) - Introduction to and application of description logic: syntax, semantics, consistency checking, inferences. (12 lectures) |
Teaching and Learning Strategies |
|
Teaching Method 1 - Lecture Teaching Method 2 - Tutorial |
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 |
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. | 75 | ||||
CONTINUOUS | Duration | Timing (Semester) |
% of final mark |
Resit/resubmission opportunity |
Penalty for late submission |
Notes |
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 | 13 | ||||
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 | 12 |
Recommended Texts |
|
Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module. |