Unit name | Artificial Intelligence with Logic Programming |
---|---|
Unit code | COMSM0005 |
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 | Department of Computer Science |
Faculty | Faculty of Engineering |
This unit provides an introduction to the field of artificial intelligence (AI) from the persepctive of logic programming. The first half covers the basic principles of knowledge representation and automated inference with the Prolog programming language. The second half covers some more advanced methods in machine learning which exploit the representation and resoning power of Prolog.
After successfully completing this unit, the student 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. (3) Design integrated solutions to challenging problems that require a range of AI techniques.
2 hours of lectures per week; 2 hours of unsupervised labs per week with access to a helpdesk
2-hour written exam (50%) assessing learning outcome (1). Three programming assignments (10%, 15% and 25%) assessing learning outcomes(2) and (3).
The first book below is now out of print and an electronic copy is made freely available by the author. Peter Flach. Simply Logical - intelligent reasoning by example. John Wiley and Sons. 1994. ISBN: 0471 94152 2. Price: Free Essential Luc De Raedt. Logical and Relational Learning: from Inductive Logic Programming to Multi-Relational Data Mining. Springer. February 2008. ISBN: 978-3-540-20040-6. Essential