MMath Mathematics and Statistics

Year of entry: 2027

Course unit details:
Introduction to AI

Course unit fact file
Unit code COMP24011
Credit rating 10
Unit level Level 2
Teaching period(s) Semester 1
Offered by Department of Computer Science
Available as a free choice unit? Yes

Overview

The Unit constitutes an introduction to the field of Artificial Intelligence, aiming at once to give a broad overview of the subject and to serve as a basis for more detailed third year courses, particularly, COMP34111 (AI and Games), COMP34212 (Cognitive Robotics), COMP34812 (Natural Language Understanding) and COMP37212 (Computer Vision).

Pre/co-requisites

Unit title Unit code Requirement type Description
Mathematical Techniques for Computer Science COMP11120 Pre-Requisite Compulsory
Data Science COMP13212 Pre-Requisite Compulsory
Mathematical Foundations & Analysis MATH11121 Pre-Requisite Compulsory
COMP11120 (for CS students) and MATH11121 or equivalent (for CM students). COMP13212 is a pre-requisite for all.

COMP11120 (for CS students) and MATH11121 or equivalent (for CM students). COMP13212 is a pre-requisite for all.

Aims

A student completing this course should: be able to implement basic search- and planning-algorithms from Artificial Intelligence, and apply them to real-world problems; be able to apply first-order logic to model physical situations and reason about the effects of actions, to appreciate the limitations of logic and to select appropriate responses to these limitations; be able to develop formal ontologies to represent knowledge in different domains; be able to select and apply the principal models of uncertainty employed in Artificial Intelligence in concrete problem-solving situations; be able to solve the problem of sensor integration, and to implement simultaneous localization and mapping in robotics; be able to apply techniques for representing (qualitative) temporal and spatial information in Artificial Intelligence; have an appreciation of the central philosophical problems connected with artificial intelligence.  

Learning outcomes

ILO 1: apply language models and information extraction techniques to solve problems in AI.

ILO 2: apply first-order logic to model physical situations and to reason about the effects of actions.

ILO 3: develop formal ontologies to represent knowledge in different domains.

ILO 4: implement basic search- and planning-algorithms from Artificial Intelligence, and apply them to real-world problems.

ILO 5: solve the problem of sensor integration, and to implement simultaneous localization and mapping in robotics.

ILO 6: select and apply the principal models of uncertainty employed in Artificial Intelligence in concrete problem-solving situations

Syllabus

Topic 1. Search and planning:
   problem-solving as search; adversarial games; classical planning.
Topic 2. Logic and reasoning
   review of first-order logic; applications of logic to planning; logic versus reasoning; default `logic'.
Topic 3. AI and probability
   review of probability theory; alternative representations of uncertainly; Bayes' networks.
Topic 4. Knowledge representation
   ontology-driven database access; formal ontologies and knowledge-representation.
Topic 5. The periphery:
   sensors and actuators; sensor integration, simultaneous localization and mapping.
Topic 6. Philosophical issues:
   the Turing test; the meaning of `AI'; the problem of consciousness.

Teaching and learning methods

2 hours lectures per week (22 hours in total), 2 hours of lab per fortnight (8 hours in total)

Assessment methods

Method Weight
Written exam 80%
Written assignment (inc essay) 20%

Feedback methods

Exam and assessments

Coursework:
 
Lab 1: Games
Lab 2: Constraints 
Lab 3: SLAM 
Lab 4: BM25

Recommended reading

  1. Russell, Stuart J. (2022). Artificial intelligence: a modern approach. Pearson. ISBN: 9781292401133
     
  2. Prince, Simon J. D. (2012). Computer vision: models, learning, and inference. Cambridge University Press. ISBN: 1107011795
     
  3. Szeliski, Richard. (2022). Computer vision: algorithms and applications. Springer. ISBN: 9783030343729
     
  4. Ben-Ari, Mordechai. Mathematical Logic for Computer Science. Springer London. ISBN: 1447141288 

Study hours

Scheduled activity hours
Lectures 22
Practical classes & workshops 8
Independent study hours
Independent study 70

Teaching staff

Staff member Role
Ian Pratt-Hartmann Unit coordinator

Additional notes

Please note: AI forms part of the assessment method for this course unit. This unit is an introduction to AI and various AI techniques are implemented for coursework. (Category D: AI-integrated). For more information, please see: AI in Teaching and Learning Policy.

 

 

Return to course details