ÐÓ°ÉÂÛ̳

CS5015 Symbolic Artificial Intelligence

Academic year

2025 to 2026 Semester 1

Further information on which modules are specific to your programme.

Key module information

SCOTCAT credits

15

The Scottish Credit Accumulation and Transfer (SCOTCAT) system allows credits gained in Scotland to be transferred between institutions. The number of credits associated with a module gives an indication of the amount of learning effort required by the learner. European Credit Transfer System (ECTS) credits are half the value of SCOTCAT credits.

SCQF level

SCQF level 11

The Scottish Credit and Qualifications Framework (SCQF) provides an indication of the complexity of award qualifications and associated learning and operates on an ascending numeric scale from Levels 1-12 with SCQF Level 10 equating to a Scottish undergraduate Honours degree.

Planned timetable

TBC

This information is given as indicative. Timetable may change at short notice depending on room availability.

Module coordinator

Dr K Terzic

This information is given as indicative. Staff involved in a module may change at short notice depending on availability and circumstances.

Module Staff

Prof Ian Gent, Dr Ruth Hoffmann

This information is given as indicative. Staff involved in a module may change at short notice depending on availability and circumstances.

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

The number of compulsory student:staff contact hours over the period of the module.

Guided independent study hours

125

The number of hours that students are expected to invest in independent study over the period of the module.

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