COMP 7021 Knowledge Representation and Reasoning
Credit Points 10
Legacy Code 301315
Coordinator Yan Zhang Opens in new window
Description Knowledge representation and reasoning is one of the fundamental components of Artificial Intelligence. It studies ways to represent and reason about human knowledge effectively in formal computational models, and eventually to solve complex tasks using computer systems. This unit covers logic foundations of knowledge representation and reasoning, Answer Set Programming approaches for declarative problem solving, intelligent agent modelling, diagnostic and probabilistic reasoning. This unit is part of the important preparations for career paths to AI engineers, robotics engineers and intelligent software engineers.
School Computer, Data & Math Sciences
Discipline Artificial Intelligence
Student Contribution Band
Check your fees via the Fees page.
Level Postgraduate Coursework Level 7 subject
Students must complete 60 credit points before enrolling into this Subject
On successful completion of this subject, students should be able to:
- Critically analyse the logic foundations of knowledge representation and reasoning in Artificial Intelligence;
- Apply knowledge of the essentials of non-monotonic reasoning and applications of knowledge graphs;
- Implement Answer Set Programming as a declarative programming language and its applications in general problem solving and in modelling dynamic domains
- Use formal languages based on Answer Set Programming to represent planning and diagnostic agents
- Communicate the language of knowledge representation in a professional manner to diverse audiences
- Logical Foundations for Knowledge Representation and Reasoning
- Knowledge Representation and Non-monotonic Reasoning
- Answer Set Programming: Syntax and Semantics
- Declarative Problem Solving Using Answer Set Programming
- Algorithms for Computing Answer Sets
- Modelling Dynamic Domains
- Planning and Diagnostic Agents
- Probabilistic Reasoning
The following table summarises the standard assessment tasks for this subject. Please note this is a guide only. Assessment tasks are regularly updated, where there is a difference your Learning Guide takes precedence.
|Report||500 words + programming based demonstration (6 hours)||30||N||Individual|
- Gelfond, M., & Kahl, Y. (2014). Knowledge representation, reasoning, and the design of intelligent agents. New York, NY: Cambridge University Press.
Parramatta - Victoria Rd
Subject Contact Yan Zhang Opens in new window