2024/25 Taught Postgraduate Module Catalogue

OCOM5201M Knowledge Representation and Reasoning

15 creditsClass Size: 100

Module manager: Dr Shabbar Naqvi
Email: S.Naqvi@leeds.ac.uk

Taught: 1 May to 30 June View Timetable

Year running 2024/25

Pre-requisite qualifications

None

Pre-requisites

OCOM5100M

Programming for Data Science

This module is not approved as an Elective

Module summary

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.

Objectives

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. It covers basic theoretical ideas as well as a range of specific representation languages and inference systems. It develops skills of translating informal problems statements in a precise logical representation and using software tools to carry out automated reasoning.

Learning outcomes
On completion of the module students should be able to:

1. Analyse informal descriptions of moderately complex real world scenarios in terms of a number of different formal representation languages;
2. Use an automated reasoning software tool to compute inferences from logical representations;
3. Describe the principles of automated reasoning and the power limitations of different representations and inference mechanisms;
4. Create a simple ontology and use it within an information system.

Syllabus

Indicative content for this module includes:

Review of logical foundations of knowledge representation including key properties of formal systems (such as soundness, completeness, expressiveness and tractability). Principles of Logic Programming.

Representing and reasoning about time and actions and physical changes (e.g., interval calculus, event calculus). Representing space and physical situations (topology, orientation, physical objects). Automated inference techniques (e.g., refinements of resolution, relational composition, non-monotonic reasoning). Ontology representation languages and tools. Semantic web applications.

Formalisms for representing other aspects of knowledge (e.g., vagueness, uncertainty, belief, desire).

Teaching methods

Delivery type	Number	Length hours	Student hours
On-line Learning	6	1.00	6.00
Group learning	6	2.00	12.00
Independent online learning hours			28.00
Private study hours			104.00
Total Contact hours			18.00
Total hours (100hr per 10 credits)			150.00

Private study

Private study will include directed reading and exercises and self-directed research in support of learning activities, as well as in preparation for assessments.

Independent online learning involves non-facilitated directed learning. Students will work through bespoke interactive learning resources and activities in the VLE.

Opportunities for Formative Feedback

Online learning materials will provide regular opportunity for students to check their understanding (for example through formative MCQs with automated feedback). Regular group activity embedded into learning will allow self and peer assessment providing opportunities for formative feedback from peers and tutors. 

Methods of assessment

Coursework

Assessment type	Notes	% of formal assessment
Report	Ontology Development & Modal Logic	60.00
Computer Exercise	Online test, classical logic and proofs	40.00
Total percentage (Assessment Coursework)		100.00

This module will be reassessed by a 100% individual assessment.

Reading list

The reading list is available from the Library website

Last updated: 19/09/2024

Disclaimer

Browse Other Catalogues

• Undergraduate module catalogue
• Taught Postgraduate module catalogue
• Undergraduate programme catalogue
• Taught Postgraduate programme catalogue

Errors, omissions, failed links etc should be notified to the Catalogue Team.PROD