Handbook - Knowledge Representation and Reasoning

There is a more recent version of this academic item available.

Overview

How can you timetable classes to fit everyone’s schedule? Could tactical voting occur in Australia? Can a single computer program play and solve both sudoku and minesweeper? Knowledge Representation and Reasoning is at the core of Artificial Intelligence and the corresponding course, COMP4418, will equip you to answer the questions … For more content click the Read More button below.

How can you timetable classes to fit everyone’s schedule? Could tactical voting occur in Australia? Can a single computer program play and solve both sudoku and minesweeper?

Knowledge Representation and Reasoning is at the core of Artificial Intelligence and the corresponding course, COMP4418, will equip you to answer the questions above and many other ones, so-called combinatorial problems. To do so, I will teach you “modeling”, that is the representation of a problem and its solutions in a way the computer can understand. You will learn a declarative programming language, a paradigm in which one only specifies what constitutes a solution to a problem and then leaves it to the computer to actually find the solution. With this new tool under your belt, you can effectively tackle most combinatorial problems coming your way, from planning and scheduling to digital circuit synthesis or some limited program verification.

Conditions for Enrolment

Prerequisite: COMP3411

Delivery

Multimodal - Standard (usually weekly or fortnightly)

In-person - Standard (usually weekly or fortnightly)

Please note that the above delivery information is an indication on how this course may be delivered within the year. Delivery mode(s) for each term can be viewed on other sources such as myUNSW and class timetable site.

This Handbook is a comprehensive catalogue of our offerings and includes courses that can be taken to satisfy program requirements irrespective as to their availability for a particular year. Availability of courses is best checked using filters on this site or on the class timetable site.

Course Outline

To access course outline please visit below link (Please note that access to UNSW Canberra course outlines requires VPN):

Fees

Type	Amount
Commonwealth Supported Students (if applicable)	$1038
Domestic Students	$6330
International Students	$6330

Disclaimer

Where a fee is displayed as “Not Applicable”, including some Work Experience and UNSW Canberra courses, please contact the relevant Faculty for any enquiry.

Note that the University reserves the right to vary student fees in line with relevant legislation. The fee information is provided as a guide and more specific information about fees, including policy, can be found here.

Commonwealth Supported Students:

Please refer to the information about new Student Contribution band classifications. Note that grandfathering arrangements are applicable for some cohorts of students, and other special arrangements apply for a limited number of programs. The Field of Education displayed on the right-hand side of this page may be applicable in understanding which fee rate will apply to you.

Where a Commonwealth Supported fee is displayed it does not guarantee that such places are available.

Pre-2019 Handbook Editions

Access past handbook editions (2018 and prior)

Faculty
Faculty: The primary academic unit in which related disciplines of teaching and research are conducted.

School
School: The academic unit responsible for teaching in disciplines or subject areas (school is part of a faculty).

Study Level
Study Level refers to the academic level of a program, specialisation or course.

Undergraduate

Offering Terms
Depending on the Academic Calendar type, an offering term generally refers to an academic teaching period of between 8-13 weeks in duration.

Term 3

Campus

Sydney

Academic Calendar

Field of Education

020399 Information Systems not elsewhere classified