Logic and Logic Programming - CO884

Looking for a different module?

Module delivery information

Location Term Level1 Credits (ECTS)2 Current Convenor3 2020 to 2021
Canterbury
(version 2)
Spring 7 15 (7.5) PROF A King checkmark-circle

Overview

This module contains four main components, several of which are at the forefront of the academic discipline and are informed by research: Propositional and predicate logic, and resolution; Prolog programming; Search Techniques; Constraint Logic Programming.

Details

This module appears in the following module collections.

Contact hours

Total contact hours: 55
Private study hours: 95
Total study hours: 150

Method of assessment

13.1 Main assessment methods
Written exercise (7.5%)
Two programming exercises (10% and 7.5%)
Examination, 2 hours (75%)

13.2 Reassessment methods
Like for like.

Indicative reading

Apt, Krzysztof R., Principles of Constraint Programming, Cambridge University Press
Bratko, I., Prolog Programming for Artificial Intelligence, Addison Wesley
Clocksin, W.F. and Mellish, C.S., Programming in Prolog, Springer-Verlag
Huth, M. & Ryan M., Logic in computer science : modelling and reasoning about systems, Cambridge University Press
Marriott, K. & Stuckey P.J., Programming with Constraints, MIT Press
Nissanke, N., Introductory logic and sets for computer scientists, Addison Wesley Longman

See the library reading list for this module (Canterbury)

Learning outcomes

8. The intended subject specific learning outcomes.
On successfully completing the module students will be able to:
8.1 manipulate propositional and predicate logic and apply resolution.
8.2 write Prolog programs that make use of recursive data structures.
8.3 apply logic programming techniques to code search algorithms.
8.4 formulate suitable problems as state-space search problems and be able to select appropriate search strategies to solve these problems.
8.5 solve computationally complex problems by applying constraint propagation and systematic search.
9. The intended generic learning outcomes.

On successfully completing the module students will be able to:
9.1 Specify, design and implement computer-based systems.
9.2 Deal with complex issues systematically and creatively.
9.3 Identify and analyse criteria and specifications appropriate to specific problems.
9.4 Model problems and their solutions with an awareness of any trade-offs involved.
9.5 Evaluate methodologies and develop critiques of them.

Notes

  1. Credit level 7. Undergraduate or postgraduate masters level module.
  2. ECTS credits are recognised throughout the EU and allow you to transfer credit easily from one university to another.
  3. The named convenor is the convenor for the current academic session.
Back to top

University of Kent makes every effort to ensure that module information is accurate for the relevant academic session and to provide educational services as described. However, courses, services and other matters may be subject to change. Please read our full disclaimer.