Unit information: Artificial Intelligence with Logic Programming in 2009/10

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

COMS11700, COMS12400, COMS22200
Co-requisites

None
School/department Department of Computer Science
Faculty Faculty of Engineering

Description including Unit Aims

Artificial Intelligence (AI) studies computational techniques to solve problems that require intelligence when attempted by humans. This unit focuses on AI techniques that employ logical inference and knowledge representation. The aim of the unit is to equip the student with the skills and understanding necessary to appreciate and use logic-based techniques for the solution of basic to intermediate AI problems.

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 Information

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

Assessment Information

2-hour written exam (50%) assessing learning outcome (1). Three programming assignments (10%, 15% and 25%) assessing learning outcome(2).

Reading and References

  • Peter Flach. Simply Logical - intelligent reasoning by example. John Wiley and Sons. 1994. ISBN: 0471 94152 2. Price: £29.95. Essential

  • Luc De Raedt. Logical and Relational Learning. Springer. 2008. ISBN: 9783540200406 Price: £42.50. Recommended

  • Ivan Bratko. Prolog programming for Artificial Intelligence. 3d edition. Addison Wesley. 2000. ISBN: 0201403757 Price: £29.99. Recommended

  • Robert Kowalski. Logic for problem solving. North Holland. 1979. ISBN: 0444003681 Price: Recommended

Related links