Skip to Main Content
Catalogue Link
<a href="/ords/r/curriculum/catalogue/home" class="t-Header-logo-link"><span class="apex-logo-text">Handbook</span></a>
Hidden Page Items
New
5
New
HE Unit Template
New
Knowledge Representation and Reasoning
New
AIWSU7021 - Knowledge Representation and Reasoning
New
20250200
New
New
New
New
Course
New
Unit
New
New
1.1
New
New
2026-09-10
New
2026-09-10
New
Information Technology
New
New
New
New
Institute of Innovation, Science & Sustainability
New
Information Technology
New
Postgraduate - Coursework
New
15
New
New
.125
New
029999
New
Information Technology, n.e.c.
New
029999 - Information Technology, n.e.c.
New
<a href="http://www.federation.edu.au/locate/unit/aiwsu7021">View unit fees</a>
New
Graded (e.g. HD, D, C, etc)
New
9
New
Masters Degree
New
Intermediate
New
New
New
New
0
New
New
New
New
New
false
New
New
New
<p>Knowledge representation and reasoning is one of the fundamental components of Artificial Intelligence. Students will learn the principles and methodologies that are used to represent and reason about human knowledge effectively in formal computational models, and eventually solve complex tasks using computer systems. This subject covers logic foundations of knowledge representation and reasoning, Answer Set Programming approaches for declarative problem solving, intelligent agent modelling, diagnostic and probabilistic reasoning. The subject plays an important part in preparing students for career paths as AI engineers, robotics engineers and intelligent software engineers.</p>
New
New
<p>• Logical Foundations for Knowledge Representation and Reasoning</p>
<p>• Knowledge Representation and Non-monotonic Reasoning</p>
<p>• Answer Set Programming: Syntax and Semantics</p>
<p>• Declarative Problem Solving Using Answer Set Programming</p>
<p>• Algorithms for Computing Answer Sets</p>
<p>• Modelling Dynamic Domains</p>
<p>• Planning and Diagnostic Agents</p>
<p>• Probabilistic Reasoning</p>
New
true
New
<p>Where supplementary assessment is available a student must have failed overall in the Unit but gained a final mark of 45 per cent or above, has completed all major assessment tasks (including all sub-components where a task has multiple parts) as specified in the Unit Description and is not eligible for any other form of supplementary assessment.</p>
New
true
Hidden Page Items
Semester
Semester
0200
Year
Year
2027
Current Year
2026
Breadcrumb Positioning
Handbook
AIWSU7021 - Knowledge Representation and Reasoning
Pseudo Breadcrumb
AIWSU7021 - Knowledge Representation and Reasoning
Breadcrumb Type
Unit
Catalogue Term and Year
Version Text
You are viewing a version for
Semester
Semester 1
Semester 2
Summer Semester
Year
2027
2026
Download PDF
RDS Holder
Overview
Key information
Requisites
Learning outcomes
Assessment
Parent Region
Overview
Unit description
<p>Knowledge representation and reasoning is one of the fundamental components of Artificial Intelligence. Students will learn the principles and methodologies that are used to represent and reason about human knowledge effectively in formal computational models, and eventually solve complex tasks using computer systems. This subject covers logic foundations of knowledge representation and reasoning, Answer Set Programming approaches for declarative problem solving, intelligent agent modelling, diagnostic and probabilistic reasoning. The subject plays an important part in preparing students for career paths as AI engineers, robotics engineers and intelligent software engineers.</p>
Unit content
<p>• Logical Foundations for Knowledge Representation and Reasoning</p> <p>• Knowledge Representation and Non-monotonic Reasoning</p> <p>• Answer Set Programming: Syntax and Semantics</p> <p>• Declarative Problem Solving Using Answer Set Programming</p> <p>• Algorithms for Computing Answer Sets</p> <p>• Modelling Dynamic Domains</p> <p>• Planning and Diagnostic Agents</p> <p>• Probabilistic Reasoning</p>
Key information
Institute / school:
Institute of Innovation, Science & Sustainability
Discipline:
Information Technology
Study level:
Postgraduate - Coursework
Credit points:
15
EFTSL:
0.125
Field of education:
029999 - Information Technology, n.e.c.
Grade scheme:
Graded (e.g. HD, D, C, etc)
Placement component:
No
Fee information:
<a href="http://www.federation.edu.au/locate/unit/aiwsu7021">View unit fees</a>
Requisites
Prerequisite
None
Corequisite
None
Exclusion
None
Learning outcomes
Learning outcomes
<p>On successful completion of this unit, students are expected to gain the following [K]nowledge, [S]kills and [A]pplication of knowledge & skills</p>
Learning Outcomes
Ref
Outcome
K1
<p>Represent and reason about intelligent systems, based on the essentials and advancement of non-monotonic reasoning mechanisms.</p>
S1
<p>Critically analyse the logic foundations of knowledge representation and reasoning in Artificial Intelligence.</p>
S2
<p>Adapt formal languages based on Answer Set Programming to represent complex domains including robotic planning and diagnostic agents.</p>
S3
<p>Evaluate and analyse different knowledge reasoning systems, by applying theories and principles of knowledge representation and reasoning.</p>
A1
<p>Develop Answer Set Programming as a declarative programming language and use its applications in various complex problem-solving domains.</p>
A2
<p>Undertake independent research project that includes defining, formalising and specifying, and implementing system prototypes for real-world applications.</p>
Assessment
Learning Tasks and Assessment
Ref
Learning task
Assessment type
Weighting
Learning outcomes assessed
1
<p>2-hour quiz</p>
<p>Quiz</p>
<p>30%</p>
K1, S1, S2, S3, A1
2
<p>2 practical</p>
<p>Practical</p>
<p>30%</p>
K1, S1, S2, S3, A1
3
<p>1000 word (report & programming) + 15-minute presentation</p>
<p>Applied Project</p>
<p>40%</p>
K1, S1, S2, S3, A2
Supplementary assessment available:
Yes
Supplementary assessment information:
<p>Where supplementary assessment is available a student must have failed overall in the Unit but gained a final mark of 45 per cent or above, has completed all major assessment tasks (including all sub-components where a task has multiple parts) as specified in the Unit Description and is not eligible for any other form of supplementary assessment.</p>
Key information
Institute / school:
Institute of Innovation, Science & Sustainability
Discipline:
Information Technology
Study level:
Postgraduate - Coursework
Credit points:
15
EFTSL:
0.125
Field of education:
029999 - Information Technology, n.e.c.
Grade scheme:
Graded (e.g. HD, D, C, etc)
Placement component:
No
Fee information:
<a href="http://www.federation.edu.au/locate/unit/aiwsu7021">View unit fees</a>
Additional information
Add Info Static Text
Internal reference: AIWSU7021 - U1.1