Module Specification

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.
1. Module Title Knowledge Representation and Reasoning
2. Module Code COMP304
3. Year Session 2023-24
4. Originating Department Computer Science
5. Faculty Fac of Science & Engineering
6. Semester First Semester
7. CATS Level Level 6 FHEQ
8. CATS Value 15
9. Member of staff with responsibility for the module
Dr LB Kuijer Computer Science Louwe.Kuijer@liverpool.ac.uk
10. Module Moderator
11. Other Contributing Departments  
12. Other Staff Teaching on this Module
Mrs J Birtall School of Electrical Engineering, Electronics and Computer Science Judith.Birtall@liverpool.ac.uk
13. Board of Studies
14. Mode of Delivery
15. Location Main Liverpool City Campus
    Lectures Seminars Tutorials Lab Practicals Fieldwork Placement Other TOTAL
16. Study Hours 30

  10

      40
17.

Private Study

110
18.

TOTAL HOURS

150
 
    Lectures Seminars Tutorials Lab Practicals Fieldwork Placement Other
19. Timetable (if known)            
 
20. Pre-requisites before taking this module (other modules and/or general educational/academic requirements):

COMP109 Foundations of Computer Science; COMP111 Introduction to Artificial Intelligence
21. Modules for which this module is a pre-requisite:

 
22. Co-requisite modules:

 
23. Linked Modules:

 
24. Programme(s) (including Year of Study) to which this module is available on a mandatory basis:

25. Programme(s) (including Year of Study) to which this module is available on a required basis:

26. Programme(s) (including Year of Study) to which this module is available on an optional basis:

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

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

 
29. Teaching and Learning Strategies
 

Teaching Method 1 - Lecture
Description:
Attendance Recorded: Not yet decided

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

Standard on-campus delivery
Teaching Method 1 - Lecture
Description: Mix of on-campus/on-line synchronous/asynchronous sessions
Teaching Method 2 - Tutorial
Description: On-campus synchronous sessions

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

 
31. Recommended Texts
  Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module.
 

Assessment

32. 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 0 75
33. CONTINUOUS Duration Timing
(Semester)
% of
final
mark
Resit/resubmission
opportunity
Penalty for late
submission
Notes
  (304.2) 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 0 12
  (304.1) 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 0 13