University of St Andrews

Key information

SCOTCAT credits : 15

ECTS credits : 7

Level : SCQF level 11

Semester: 1

Planned timetable: TBC

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-requisite(s): Ug: before taking this module you must pass CS2002 and (cs2001 or CS2101)

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

Assessment pattern

As used by St Andrews: Coursework - 60%, Exam - 40%


Re-assessment: Coursework - 60%, Exam - 40%

Personnel

Module coordinator: Dr K Terzic
Module teaching staff: Prof Ian Gent, Dr Ruth Hoffmann
Module coordinator email kt54@st-andrews.ac.uk

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