CS5015 Symbolic Artificial Intelligence
Academic year
2025 to 2026 Semester 1
Curricular information may be subject to change
Further information on which modules are specific to your programme.
Key module information
SCOTCAT credits
15
SCQF level
SCQF level 11
Planned timetable
TBC
Module coordinator
Dr K Terzic
Module Staff
Prof Ian Gent, Dr Ruth Hoffmann
Module description
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.
Relationship to other modules
Pre-requisites
UG: BEFORE TAKING THIS MODULE YOU MUST PASS CS2002 AND (CS2001 OR CS2101)
Assessment pattern
Coursework - 60%, Exam - 40%
Re-assessment
Coursework - 60%, Exam - 40%
Learning and teaching methods and delivery
Weekly contact
2hr x 10 weeks lectures, 1hr x 5 weeks tutorial/discussion
Scheduled learning hours
25
Guided independent study hours
125
Intended learning outcomes
- Understand the main approaches to logical reasoning in AI
- Understand the main approaches to search in AI
- Understand the role of knowledge representation and modelling in AI
- Understand the use of formal languages in AI