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 |
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:
2 hours of lectures and 2 hours of unsupervised labs per week
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).
Peter Flach. Simply Logical - intelligent reasoning by example. Interactive online copy at https://book.simply-logical.space