CS5015: Symbolic Artificial Intelligence
The module gives an overview of traditional AI methods and the philosophy of AI. It introduces the philosophy and history of AI. It covers the main classical approaches to AI: logical reasoning, search algorithms, knowledge representation and modelling, and formal languages.
This module is offered in 2025-26.
Aims
The aims of this module are:
- To give an overview of AI and its philosophy.
- To cover iclassical appraoches to AI.
Learning Outcomes
On successful completion of this module, the student should:
- Be aware of how search is used to solve a variety of problems in AI.
- Be familiar with fundamentals of symbolic AI, machine learning, neural networks, and robotics.
- Be able to implement fundamental techniques in logic and knowledge representation, and AI search.
Syllabus
- Optimisation
- Logic and knowledge representation.
- AI search.
- Philosophy of AI, including the Turing test and related topics.
Compulsory Elements
This module has no compulsory elements beyond those common to all modules (mark of 4 in each assessment component).