ARTIFICIAL INTELLIGENCE: LOGIC AND REASONING
Credit points: 15
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
Subject Co-ordinatorFei Liu
Available to Study Abroad/Exchange StudentsYes
Subject year levelYear Level 5 - Masters
Available as ElectiveNo
PrerequisitesCSE4IP OR CSE1PE
Quota Management StrategyN/A
Quota-conditions or rulesN/A
Minimum credit point requirementN/A
Artificial intelligence: structures and strategies for complex problem solving.
PROLOG: Programming for Artificial Intelligence
Artificial intelligence: A modern approach.
AuthorRussel, S. and Norvig, P.
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
Intended Learning Outcomes
Select to view your study options…
Melbourne (Bundoora), 2021, Semester 1, Day
Maximum enrolment sizeN/A
Subject Instance Co-ordinatorFei Liu
Computer LaboratoryWeek: 11 - 22
One 2.00 hours 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 hours lecture per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.
One Programming Assignment (equivalent to 3000 words)An assignment on automated reasoning
One 2-hour Examination (2000 words equivalent)
|Central exam||Individual||No||50||SILO1, SILO2, SILO3, SILO4|