Skip to main content

Unit information: Artificial Intelligence with Logic Programming in 2015/16

Please note: you are viewing unit and programme information for a past academic year. Please see the current academic year for up to date information.

Unit name Artificial Intelligence with Logic Programming
Unit code COMS30106
Credit points 10
Level of study H/6
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

Description

This unit provides an introduction to the field of artificial intelligence (AI) from the perspective 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 more advanced methods in natural language processing and machine learning which exploit the representation and reasoning power of Prolog

Intended learning outcomes

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.

Teaching details

2 hours of lectures per week; 2 hours of unsupervised labs per week with access to a helpdesk

Assessment Details

2 hour written exam (50%) assessing learning outcome (1). Programming assignments (to a total of 50%) assessing learning outcome (2).

Reading and References

Peter Flach. Simply Logical - intelligent reasoning by example. Interactive online copy at http://www.cs.bris.ac.uk/Publications/pub_master.jsp?author=16910

Feedback