BSc Computer Science and Mathematics
Year of entry: 2023
- View tabs
- View full page
Course unit details:
Knowledge Based AI
|Unit level||Level 2|
|Teaching period(s)||Semester 2|
|Offered by||Department of Computer Science|
|Available as a free choice unit?||Yes|
|Unit title||Unit code||Requirement type||Description|
|Introduction to AI||COMP24011||Co-Requisite||Compulsory|
COMP24011 is a co-requisite of this course
- ILO 1 Describe, differentiate and apply different knowledge representation formalisms for modelling knowledge bases
- ILO 2 Describe the syntax and semantics of first-order logic (and the Datalog and Prolog fragments) and use it to model problems
- ILO 3 Demonstrate the forward and backward chaining reasoning methods and compare their implementation and practical characteristics (e.g. efficiency, termination)
- ILO 4 Apply resolution-based reasoning techniques (transformation to clausal form, resolution, saturation) to establish properties of first-order problems
- ILO 5 Explain the theoretical limitations of reasoning techniques for (fragments and extensions of) first-order logic
- ILO 6 Write Prolog programs to solve automated reasoning tasks and explain how they will execute
- ILO 7 Differentiate between deductive, inductive and abductive reasoning and apply them to perform learning and inference in knowledge based systems
- ILO 8 Relate knowledge based approaches to real world applications such as (but not limited to) program synthesis or circuit design verification
Teaching and learning methods
11, 1 x per week
Lecture Video material
10 hours in total, 5 2-hour sessions.
- Analytical skills
- Problem solving
|Practical skills assessment||70%|
COMP24412 reading list can be found on the Department of Computer Science website for current students.
· 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.
· Ronald Brachman and Hector Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004
· Dennis Merritt, Building Expert Systems in Prolog, Springer, 1989
|Scheduled activity hours|
|Assessment written exam||2|
|Practical classes & workshops||10|
|Independent study hours|
|Giles Reger||Unit coordinator|
Course unit materials
Links to course unit teaching materials can be found on the School of Computer Science website for current students.