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
Subject options
Select to view your study options…
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 element | Category | Contribution | Hurdle | % | ILO* |
|---|---|---|---|---|---|
| One Programming Assignment (equivalent to 3000 words) An assignment on automated reasoning | N/A | N/A | No | 50 | SILO2 |
| One 2-hour Examination (2000 words equivalent) | N/A | N/A | No | 50 | 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 element | Category | Contribution | Hurdle | % | ILO* |
|---|---|---|---|---|---|
| One Programming Assignment (equivalent to 3000 words) An assignment on automated reasoning | N/A | N/A | No | 50 | SILO2 |
| One 2-hour Examination (2000 words equivalent) | N/A | N/A | No | 50 | SILO1, SILO2, SILO3, SILO4 |