School of Computer Science BCS accreditation 2021 - 2026
[Home]
Computer Systems Engineering wIE BEng (Hons) - COMP24412 Knowledge Based AI
Return to programme overview.
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
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
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
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
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
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
Assesement : Lab work
2.2.4 Deploy tools effectively
Existing tools for knowledge representation and reasoning are used within the course.
Assesement : Lab work
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
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
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
Assesement : Examination, Individual coursework, Lab work