| Module Code | CSU44060 |
| Module Name | Knowledge Representation and Automata |
| ECTS Weighting[1] | 5 ECTS |
| Semester taught | Semester 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 Component | Brief Description | Learning Outcomes Addressed | % of total | Week set | Week Due |
| Examination | 2 hour in-person examination | LO1, LO2, LO3, LO4 | 80% | ||
| coursework | Problem sets | LO1,LO2,LO3, LO4 | 20% | 4,8 (approx) | 2 weeks after (approx) |
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 |
| Lecture | 22 hours |
| Laboratory | 11 hours |
| Tutorial or seminar | 11 hours |
| Other | 0 hours |
| Independent study (outside scheduled contact hours), broken down by: | 72 hours |
| Preparation for classes and review of material (including preparation for examination, if applicable | 36 hours |
| completion of assessments (including examination, if applicable) | 36 hours |
| Total Hours | 116 hours |
Recommended Reading List
Module Pre-requisites
Prerequisite modules: some programming experience
Other/alternative non-module prerequisites: some programming experience
Module Co-requisites
None