School of Computer Science BCS accreditation 2021 - 2026

Computer Science (Human Computer Interaction) wIE MEng (Hons) - COMP24412 Knowledge Based AI

2.1.1 Knowledge and understanding of facts, concepts, principles & theories

This course covers artificial intelligence concepts that are knowledge-based, including representing knowledge using logical frameworks, acquiring such knowledge (e.g. semantic parsing or ILP), and reasoning with such knowledge. The course, therefore, introduces key fundamental concepts and theoretical frameworks for achieving the above.

Assesement : Examination, Individual coursework, Lab work

2.1.2 Use of such knowledge in modelling and design

Emphasis is placed on the use of logical frameworks for the modelling of real world and computer-based systems. Different knowledge representation formalisms are explored and compared, considering the various trade-offs.

Assesement : Examination, Individual coursework, Lab work

2.1.3 Problem solving strategies

Emphasis is placed on selecting the most appropriate AI strategy for a particular scenario. More abstract problems are presented where the full task of modelling and reasoning needs to be designed.

Assesement : Examination, Lab work

2.1.5 Deploy theory in design, implementation and evaluation of systems

The course is about students to understand AI techniques, and about getting them to learn how to implement these techniques and how to judge when they are applicable.

Assesement : Lab work

2.2.1 Specify, design or construct computer-based systems

The course involves constructing a reasoning-based system to explore the theoretical concepts introduced in lectures.

Assesement : Lab work

2.2.2 Evaluate systems in terms of quality and trade-offs

Different reasoning systems are evaluated for the appropriateness in different scenarios.

Assesement : Lab work

2.2.4 Deploy tools effectively

Existing tools for knowledge representation and reasoning are used within the course.

Assesement : Lab work

3.1.4 Knowledge and understanding of mathematical and/or statistical principles

The course investigates a range of logical frameworks and their properties.

Assesement : Examination, Individual coursework

4.1.1 Knowledge and understanding of scientific and engineering principles

This course involves the design of experiments to explore the properties of existing systems.

Assesement : Lab work

4.1.2 Knowledge and understanding of mathematical principles

This course addresses a range of issues from mathematical logic, and students are expected to understand the trade-offs between expressive power and computational complexity that these involve.

Assesement : Examination, Individual coursework, Lab work