School of Computer Science
Available as a free choice unit?:
Additional RequirementsStudents who are not from the School of Computer Science must have permission from both Computer Science and their home School to enrol.
The aim of this course is to provide the conceptual and practical (systems building) foundations for knowledge representation and reasoning in Artificial Intelligence.
Intelligent systems need to be able to represent and reason about the world. This course provides an introduction to the key ideas in knowledge representation and different types of automated reasoning. The course is a mixture of theoretical and practical work: at the end of the course students will know the principles that such systems use, and they will have experience of implementing those principles in running systems.
Teaching and learning methods
22 in total, 2 per week
10 hours in total, 5 2-hour sessions.
Learning outcomes are detailed on the COMP24412 course unit syllabus page on the School of Computer Science's website for current students.
- Analytical skills
- Problem solving
- Written exam - 70%
- Written assignment (inc essay) - 5%
- Practical skills assessment - 25%
First-Order Logic and Automated Reasoning
Syntax and Semantics
Translation to clausal form
Saturation based proof search
Syntax and execution
Simple logical programs
Relation to backward chaining with Horn clauses
Theorem Proving with Prolog
Categories and Objects
Reasoning Systems for Categories
Reasoning with Default Information
Knowledge in Learning
A Logical Formulation of Learning
Inductive Logic Programming
Knowledge in Learning
Learning Using Relevance Information
Natural Language Semantics
Interfacing with Natural Language Processing
Grammar & parsing
Natural Logic Inference
COMP24412 reading list can be found on the School of Computer Science website for current students.
Feedback methodsThe course has a number of lab exercises which are marked in the lab as usual, and feedback on these exercises is provided by written comments on the work and orally by the marker.
- Assessment written exam - 2 hours
- Lectures - 24 hours
- Practical classes & workshops - 10 hours
- Independent study hours -
Teaching staffGiles Reger -