COMP304

Knowledge Representation And Reasoning

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.

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)

Recommended Texts

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

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

Learning Strategy

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


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