Accessibility statement

Intelligent Systems 1: Search & Representation - COM00020I

« Back to module search

  • Department: Computer Science
  • Module co-ordinator: Dr. James Walker
  • Credit value: 10 credits
  • Credit level: I
  • Academic year of delivery: 2022-23

Module summary

Search and Representation

Related modules

Co-requisite modules

  • None

Prohibited combinations

  • None

Module will run

Occurrence Teaching cycle
A Autumn Term 2022-23

Module aims

This module introduces the field of Artificial Intelligence, key approaches within the field and philosophical questions such as what it means for a machine to understand and whether humans themselves can be viewed as machines. Students will learn the theory and practice of classical AI techniques covering: problem representation, search-based AI, knowledge representation using propositional and first order logic and satisfiability. Practical work will include both pen and paper exercises and implementation using basic Python.

Module learning outcomes


Explain the difference between strong, weak and general AI; understand the relationship between computation and AI; describe the Turing test and Searle's Chinese room argument


Represent a problem symbolically in terms of states, operators and goals


Distinguish between uninformed, heuristic and adversarial search paradigms and explain the key algorithms in each paradigm


Select and apply an appropriate search algorithm for a given problem


Define local search and describe how hill climbing and genetic algorithms can be used to perform local search for discrete search and optimisation problems


Represent knowledge using propositional and first order logic


Explain the notion of satisfiability within propositional logic and apply a SAT solving algorithm to determine if a given formula is satisfiable; recognise the connection between SAT solving and search


Perform inference in first order logic using forward and backward chaining


Deconstruct ethical arguments relating to AI and its applications


Task Length % of module mark
Online Exam -less than 24hrs (Centrally scheduled)
Intelligent Systems 1 (INT1): Search & Representation Exam
3 hours 100

Special assessment rules



Task Length % of module mark
Online Exam -less than 24hrs (Centrally scheduled)
Intelligent Systems 1 (INT1): Search & Representation Exam
3 hours 100

Module feedback

Feedback is provided through work in practical sessions, and after the final assessment as per normal University guidelines.

Indicative reading

  • Artificial Intelligence: A Modern Approach by Russell and Norvig

The information on this page is indicative of the module that is currently on offer. The University is constantly exploring ways to enhance and improve its degree programmes and therefore reserves the right to make variations to the content and method of delivery of modules, and to discontinue modules, if such action is reasonably considered to be necessary by the University. Where appropriate, the University will notify and consult with affected students in advance about any changes that are required in line with the University's policy on the Approval of Modifications to Existing Taught Programmes of Study.