Credit points: 15

Subject outline

In this subject, you will learn the theories and methodologies of Automated Reasoning (i.e. reasoning conducted by a computer). Topics covered include first order and higher order logic, semantics-based and syntax-based reasoning methodologies, planning and robotics, semantic web and ontology, and cognitive computing. You will also learn to program in PROLOG which is an important Artificial Intelligence (AI) programming language.

SchoolSchool Engineering&Mathematical Sciences

Credit points15

Subject Co-ordinatorFei Liu

Available to Study Abroad StudentsYes

Subject year levelYear Level 5 - Masters

Exchange StudentsYes

Subject particulars

Subject rules

Prerequisites CSE4IP or CSE1PE


Incompatible subjectsN/A

Equivalent subjectsN/A

Special conditionsN/A


Resource TypeTitleResource RequirementAuthor and YearPublisher
ReadingsArtificial intelligence: structures and strategies for complex problem solving.PrescribedLuger, G. 20096TH EDN., ADDISON WESLEY
ReadingsPROLOG: Programming for Artificial IntelligenceRecommendedBratko, I. 20126TH EDN., ADDISON WESLEY
ReadingsArtificial intelligence: A modern approach.RecommendedRussel, S. and Norvig, P. 20163RD EDN., PRENTICE- HALL

Graduate capabilities & intended learning outcomes

01. Design and implement PROLOG programs to solve AI problems

Problem solving techniques using PROLOG will be covered in lectures and students will practice in the lab.

02. Implement syntax-based and semantics-based resolution strategies.

Syntax and semantics-based reasoning methodologies will be introduced in the lectures.

03. Create simple plans for a robot based on the goal and the current state.

Planning and Robotics will be taught in the lectures. Students will create plans in the lab using PROLOG.

04. Design and write simple RDF and OWL programs to construct semantic websites.

Students will learn web semantics and its associated languages such as RDF and OWL in the lecture.

Subject options

Select to view your study options…

Start date between: and    Key dates

Melbourne, 2020, Semester 1, Day


Online enrolmentNo

Maximum enrolment sizeN/A

Enrolment information

Subject Instance Co-ordinatorFei Liu

Class requirements

Lecture Week: 10 - 22
One 2.0 hours lecture per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.

Computer Laboratory Week: 11 - 22
One 2.0 hours computer laboratory per week on weekdays during the day from week 11 to week 22 and delivered via face-to-face.


Assessment elementComments% ILO*
One Programming Assignment (equivalent to 3000 words)An assignment on automated reasoning50 02
One 2-hour Examination (2000 words equivalent)50 01, 02, 03, 04