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;
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
Description:
Attendance Recorded: Not yet decided

Teaching Method 2 - Tutorial
Description:
Attendance Recorded: Not yet decided

Due to Covid-19, in 2020/21, one or more of the following delivery methods will be implemented based on the current local conditions.
(a) Hybrid delivery, with social distancing on Campus
Teaching Method 1 - Lecture
Description: On-line synchronous/asynchronous lectures
Teaching Method 2 - Tutorial
Description: Mix of on-campus/on-line synchronous/asynchronous sessions

(b) Fully online delivery and assessment
Teaching Method 1 - Lecture
Description: On-line synchronous/asynchronous lectures
Teaching Method 2 - Tutorial
Description: On-line synchronous/asynchronous sessions

(c) Standard on-campus delivery with minimal social distancing.
As our planning has already gone too far, even if the campus opens up, we will offer hybrid teaching
Teaching Method 1 - Lecture
Description: On-line synchronous/asynchronous lectures
Teaching Method 2 - Tutorial
Description: Mix of on-campus/on-line synchronous/asynchronous sessions


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.