The module provides a grounding in the techniques of Knowledge Representation and Reasoning and how they are used in the wider field of Artificial Intelligence. General concepts of this approach are explained, and a range of specific logical representations are introduced for representing different types of information (e.g. temporal and spatial information). Students will learn how to use these representations to encode a variety of real-world problems and how logical inference can be used to solve them. They will also learn how to use software tools to carry out automated reasoning.

Detailed Description

International Sales tax may need to be added to the module fee for students resident in countries where on-line eduction attracts a sales tax. Please consult your enrolment advisor.

Full programme information can be found in the Module and Programme Catalogue