Module 26264 (2013)

Module Description - Reasoning

The Module Description is a strict subset of the Syllabus Page, which gives more information

Module TitleReasoning
SchoolComputer Science
Module Code06-26264
DescriptorCOMP/06-26264/LI
Member of StaffVolker Sorge
LevelI
Credits10
Semester2
Pre-requisites 06-21155 Language and Logic
Co-requisites None
RestrictionsNone
Contact hours 34
Delivery three-hour weekly lectures/labs.
Description The module will introduce automated theorem proving. Both implementation and representation theories are covered as are some applications.
Outcomes
On successful completion of this module, the student should be able to:Assessed by:
describe the basic concepts of automated theorem proving Examination, Continuous Assessment
demonstrate an understanding of applications of automated theorem proving Examination, Continuous Assessment
demonstrate an understanding of the techniques of implementing automated theorem provers Examination, Continuous Assessment
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 Examination, Continuous Assessment
AssessmentSessional: 1.5 hr examination (80%), continuous assessment (20%).
Supplementary (where allowed): By 1.5 hr examination only (100%).
Texts S Russell & P Norvig , Artificial Intelligence: A Modern Approach (3rd edn) , 2010