CSU44060 – Knowledge Representation and Automata

Module CodeCSU44060
Module Name Knowledge Representation and Automata
ECTS Weighting[1]5 ECTS
Semester taughtSemester 2
Module Coordinator/s  Tim Fernando

Module Learning Outcomes

On successful completion of this module, students will be able to:

LO1. Use description logics to express simple ontological constraints
LO2. Apply finite-state methods to basic natural language processing tasks
LO3. Evaluate the effectiveness of different approaches to reasoning about
change in simple domains
LO4. Understand the computational possibilities opened up by automata-theoretic approaches to reasoning

Module Content

An in-depth initiation into some topics in Knowledge Representation and Automata:
Knowledge Representation, Description Logics,
Finite-state methods, Reasoning about change

Entropy (cross, relative, conditional)

Teaching and learning Methods

Lectures and tutorials

Assessment Details

Assessment ComponentBrief Description Learning Outcomes Addressed% of totalWeek setWeek Due
Examination2 hour real-time examinationLO1, LO2, LO3,
courseworkProblem setsLO1,LO2,LO3,
2 weeks

Reassessment Details

Examination (2 hours, 100%)

Contact Hours and Indicative Student Workload

Contact Hours (scheduled hours per student over full module), broken down by: 44 hours
Lecture22 hours
Laboratory11 hours
Tutorial or seminar11 hours
Other0 hours
Independent study (outside scheduled contact hours), broken down by:72  hours
Preparation for classes and review of material (including preparation for examination, if applicable36 hours
completion of assessments (including examination, if applicable)36 hours
Total Hours116 hours

Recommended Reading List

Module Pre-requisites

Prerequisite modules: some programming experience

Other/alternative non-module prerequisites: some programming experience

Module Co-requisites


Module Website