COMP24412: Symbolic Artificial Intelligence
This course is being delived by Giles Reger, Martin
Riener, and Andre Freitas.
Please see the
School syllabus page for other information.
Aims and objectives
The aim of this course is to provide the conceptual and practical
(systems building) foundations for knowledge representation and
reasoning in Artificial Intelligence.
A student completing this course unit should be able to:
- Describe the syntax and semantics of first-order logic and use
it to model problems
- Apply reasoning techniques (transformation to clausal form,
resolution, saturation) to establish properties of first-order
problems
- Explain the theoretical limitations of automated theorem
provers
- Write Prolog programs to solve automated reasoning tasks and
explain how they will execute
- Describe, differentiate and apply different knowledge
representation formalisms for modelling knowledge bases.
- Explain how these formalisms affect the reasoning process.
- Apply, demonstrate and program knowledge-based learning
methods.
- Apply, demonstrate and program formal models for natural
language processing in the context of semantic parsing and
natural logic inference.
Structure
Lecture and Lab notes and materials will be available from here.
As per School policy, we will not be providing hard copies of
notes.
The following table is the main reference for what is going on in
the course and will be updated frequently throughout the course as
further details are given.
The suggested reading will be mainly taken from Artificial
Intelligence: A Modern Approach (Third Edition) referenced as
AIAMA. It should be noted that this is suggested only and not
examinable (only lectured material is examinable).
Reading
Stuart Russell and Peter Norvig, Artificial Intelligence: A
Modern Approach, Global Edition, 2016.
Patrick Blackburn, Johan Bos and Kristina Striegnitz: Learn Prolog Now!,
College Publications, 2006.
Sebastian Loebner, Understanding Semantics, Second Edition,
2013.
Kate Kearns, Semantics (Palgrave Modern Linguistics), 2011
Exams
Please note that the course has changed considerably this
year and previous exams should be treated with care. Further
guidance will be added here later.
Check out the following sites: