ARTIFICIAL INTELLIGENCE: LOGIC AND REASONING

CSE5ALR

2021

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.

SchoolEngineering and Mathematical Sciences

Credit points15

Subject Co-ordinatorFei Liu

Available to Study Abroad/Exchange StudentsYes

Subject year levelYear Level 5 - Masters

Available as ElectiveNo

Learning ActivitiesN/A

Capstone subjectNo

Subject particulars

Subject rules

PrerequisitesCSE1PE OR CSE4IP

Co-requisitesN/A

Incompatible subjectsN/A

Equivalent subjectsN/A

Quota Management StrategyN/A

Quota-conditions or rulesN/A

Special conditionsN/A

Minimum credit point requirementN/A

Assumed knowledgeN/A

Readings

Artificial intelligence: structures and strategies for complex problem solving.

Resource TypePrescribed

Resource RequirementN/A

AuthorLuger, G.

Year2009

Edition/Volume6TH EDN

PublisherADDISON WESLEY

ISBNN/A

Chapter/article titleN/A

Chapter/issueN/A

URLN/A

Other descriptionN/A

Source locationN/A

PROLOG: Programming for Artificial Intelligence

Resource TypeRecommended

Resource RequirementN/A

AuthorBratko, I.

Year2012

Edition/Volume6TH EDN

PublisherADDISON WESLEY

ISBNN/A

Chapter/article titleN/A

Chapter/issueN/A

URLN/A

Other descriptionN/A

Source locationN/A

Artificial intelligence: A modern approach.

Resource TypeRecommended

Resource RequirementN/A

AuthorRussel, S. and Norvig, P.

Year2016

Edition/Volume3RD EDN

PublisherPRENTICE- HALL

ISBNN/A

Chapter/article titleN/A

Chapter/issueN/A

URLN/A

Other descriptionN/A

Source locationN/A

Career Ready

Career-focusedNo

Work-based learningNo

Self sourced or Uni sourcedN/A

Entire subject or partial subjectN/A

Total hours/days requiredN/A

Location of WBL activity (region)N/A

WBL addtional requirementsN/A

Graduate capabilities & intended learning outcomes

Graduate Capabilities

Intended Learning Outcomes

01. Design and implement PROLOG programs to solve AI problems
02. Implement syntax-based and semantics-based resolution strategies.
03. Create simple plans for a robot based on the goal and the current state.
04. Design and write simple RDF and OWL programs to construct semantic websites.

Subject options

Select to view your study options…

Start date between: and    Key dates

Melbourne (Bundoora), 2021, Semester 1, Day

Overview

Online enrolmentYes

Maximum enrolment sizeN/A

Subject Instance Co-ordinatorFei Liu

Class requirements

Computer LaboratoryWeek: 11 - 22
One 2.00 h computer laboratory per week on weekdays during the day from week 11 to week 22 and delivered via face-to-face.

LectureWeek: 10 - 22
One 2.00 h lecture per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.

Assessments

Assessment elementCommentsCategoryContributionHurdle% ILO*
One Programming Assignment (equivalent to 3000 words) An assignment on automated reasoningN/AN/AN/ANo50 SILO2
One 2-hour Examination (2000 words equivalent)N/AN/AN/ANo50 SILO1, SILO2, SILO3, SILO4

Melbourne (Bundoora), 2021, Summer, Day

Overview

Online enrolmentYes

Maximum enrolment sizeN/A

Subject Instance Co-ordinatorFei Liu

Class requirements

Computer LaboratoryWeek: 46 - 0
One 2.00 h computer laboratory per week on weekdays during the day from week 46 to week 0 and delivered via face-to-face.

LectureWeek: 45 - 0
One 2.00 h lecture per week on weekdays during the day from week 45 to week 0 and delivered via face-to-face.

Assessments

Assessment elementCommentsCategoryContributionHurdle% ILO*
One Programming Assignment (equivalent to 3000 words) An assignment on automated reasoningN/AN/AN/ANo50 SILO2
One 2-hour Examination (2000 words equivalent)N/AN/AN/ANo50 SILO1, SILO2, SILO3, SILO4