School of Computer Science

Module 26264 (2018)

Module description - Reasoning

The Module Description is a strict subset of the Syllabus Page.

Module Title Reasoning
School School of Computer Science
Module Code 06-26264
Level 2/I
Member of Staff Volker Sorge
Semester Semester 2 - 10 credits

three-hour weekly lectures/labs.

Contact Hours: 34


The module will introduce automated theorem proving. Both implementation and representation theories are covered as are some applications.


On successful completion of this module, the student should be able to:

  1. describe the basic concepts of automated theorem proving
  2. demonstrate an understanding of applications of automated theorem proving
  3. demonstrate an understanding of the techniques of implementing automated theorem provers
  4. Demonstrate an understanding of unsound reasoning methods such as abduction, case-based reasoning, constraint satisfaction reasoning, default reasoning, learning/inductive logic programming, and reasoning by analogy

Sessional: 1.5 hr examination (80%), continuous assessment (20%).

Supplementary (where allowed): By 1.5 hr examination only (100%).