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 |
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.
Upon successful completion of this unit students will be able to:
Teaching will be delivered through a series of mostly synchronous sessions, including lectures, seminars, practical activities, discussion groups and self-directed exercises.
1 Summative Assessment, 100% - Coursework. This will assess all ILOs.
Peter Flach. Simply Logical - intelligent reasoning by example. Interactive online copy at https://book.simply-logical.space