Knowledge Representation and Automated Reasoning

Module Description

As its name implies Knowledge Representation is a field treating the knowledge of a specific domain and represent it in a manner that a computer can utilise it. This is achieved by means of mathematics and logic understanding. By means of this module, students will learn how to interpret this domain specific knowledge and represent it formally through constraint problems and logic functions. Even more importantly, students will learn how to apply these techniques to real-world domain specific knowledge as computer systems are so heavily integrated in most industries’ processes.  

Often, data is used together to create some base of knowledge. In summary, automated reasoning is about taking a knowledge base and producing new knowledge derivations from it using rules of inference. In this module, students will learn the appropriate algorithms and inference logic used for automated reasoning. 

Entry Requirements

Candidates who apply for this course must be in possession of the following: 

• a qualification at MQF Level 4 in subjects related to Mathematics, Science or Computing (minimum two ‘A’ Levels or equivalent);  

AND  

• a pass in English at MQF Level 3 (‘O’ Level or equivalent). 

Preference is given to students having a Level 4 diploma in engineering or computing and an A–level standard in mathematics.  

Target Audience

This course is targeted at: 

• individuals seeking academic and professional advancement in computing;   
• mid-career break professionals looking for opportunities to return or change their career.  

Career Paths

The possible positions for which this programme aims to prepare for include, but are not limited to:  

• database administrator 
• IT technical support officer 
• applications programmer
• systems programmer
• systems analyst 
• programmer

How you’ll be assessed

You will complete a combination of written and practical assessments, which will vary depending on the module choices you make. You can expect to complete coursework and exams, as well as presentations and reports.