Unit information: Computational Logic for Artificial Intelligence in 2020/21

Unit name	Computational Logic for Artificial Intelligence
Unit code	COMSM0022
Credit points	10
Level of study	M/7
Teaching block(s)	Teaching Block 1 (weeks 1 - 12)
Unit director	Professor. Peter Flach
Open unit status	Not open
Pre-requisites	None
Co-requisites	None
School/department	School of Computer Science
Faculty	Faculty of Engineering

Description including Unit Aims

This unit provides an introduction to knowledge-driven AI from the perspective of computational logic. It covers the basic principles of knowledge representation and automated inference by means of logic programming languages, which have pattern matching and backtracking search as primitive operations.

This then leads to more advanced methods in natural language processing and machine learning which exploit the representation and reasoning power of logic programming.

Intended Learning Outcomes

Upon successful completion of this unit students will be able to:

1. Understand the main techniques for intelligent reasoning and learning using logic-based knowledge representation.
2. Implement and apply these techniques to solve practical problems by means of the declarative programming language Prolog.

Teaching Information

Teaching will be delivered through a series of mostly synchronous sessions, including lectures, seminars, practical activities, discussion groups and self-directed exercises.

Assessment Information

1 Summative Assessment, 100% - Coursework. This will assess all ILOs.

Reading and References

Peter Flach. Simply Logical - intelligent reasoning by example. Interactive online copy at https://book.simply-logical.space