Advanced Knowledge Representation

Course aim

The course will provide students with knowledge about theoretical underpinnings and practical applications of technologies currently studied in knowledge representation and applied Artificial intelligence research. The course will cover different approaches suitable to a number of important application areas and real world domains. It will assume prior knowledge of basic AI concepts.

Course content

The course includes both the study of theoretical aspects as well as practical modelling with current knowledge representation techniques. This includes:
Qualitative Reasoning

• Approaches to Qualitative Reasoning, Naïve Physics Manifesto
• Qualitative Simulation and applications

Model-based Reasoning

• Foundations of Model-based Diagnosis
• Fault models and hierarchical diagnosis

Constraint Satisfaction Problems (CSPs)

• Solution and filtering algorithms
• Configuration and design problem solving

Ontologies

• The concept of representing knowledge
• Description Logics, OWL

Denotational semantics 

• Alternate Logics
• Basic Machine Learning topics: Decision trees, Induction, Genetic algorithms, genetic programming

Textbook(s)

Nil

Prerequisite(s)

Common to all relevant programs
Subject Area & Catalogue Number	Course Name
COMP 2019	Artificial Intelligence

Corequisite(s)

Nil

Teaching method

Component	Duration
INTERNAL, MAWSON LAKES
Lecture	2 hours x 13 weeks

Note: These components may or may not be scheduled in every study period. Please refer to the timetable for further details.

Assessment

Assignment 1, Assignment 2, Final Examination, Presentation and written report

Fees

EFTSL*: 0.125
Commonwealth Supported program (Band 2)
To determine the fee for this course as part of a Commonwealth Supported program, go to:
How to determine your Commonwealth Supported course fee. (Opens new window)

Fee-paying program for domestic and international students
International students and students undertaking this course as part of a postgraduate fee paying program must refer to the relevant program home page to determine the cost for undertaking this course.

Non-award enrolment
Non-award tuition fees are set by the university. To determine the cost of this course, go to:
How to determine the relevant non award tuition fee. (Opens new window)

Not all courses are available on all of the above bases, and students must check to ensure that they are permitted to enrol in a particular course.

* Equivalent Full Time Study Load. Please note: all EFTSL values are published and calculated at ten decimal places. Values are displayed to three decimal places for ease of interpretation.