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: 2021-22
    • See module specification for other years: 2022-23

Module summary

Search and Representation

Related modules

Pre-requisite modules

Co-requisite modules

  • None

Prohibited combinations

  • None

Module will run

Occurrence Teaching period
A Autumn Term 2021-22

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

I101

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

I102

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

I103

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

I104

Select and apply an appropriate search algorithm for a given problem

I105

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

I106

Represent knowledge using propositional and first order logic

I107

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

I108

Perform inference in first order logic using forward and backward chaining

I109

Deconstruct ethical arguments relating to AI and its applications

Assessment

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

Special assessment rules

None

Reassessment

Task Length % of module mark
Online Exam -less than 24hrs (Centrally scheduled)
Intelligent Systems 1: (INT1) Intelligent Systems 1: Search & Representation		 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.