Unit information: Computational Logic for Artificial Intelligence in 2019/20

Unit name	Computational Logic for Artificial Intelligence
Unit code	COMSM0022
Credit points	10
Level of study	M/7
Teaching block(s)	Teaching Block 2 (weeks 13 - 24)
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

2 hours of lectures and 2 hours of unsupervised labs per week

Assessment Information

Programming assignment - students will be given a simple implementation (on one of the main voice-driven personal assistant platforms) of a conversational chatbot with basic reasoning capabilities, and asked to extend this in various ways (50%) assessing learning outcome (2).

Viva/Oral Examination (this will assess ILO 1 & 2).

Reading and References

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