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.
SchoolSchool Engineering&Mathematical Sciences
Subject Co-ordinatorFei Liu
Available to Study Abroad StudentsYes
Subject year levelYear Level 5 - Masters
Prerequisites CSE4IP or CSE1PE
|Resource Type||Title||Resource Requirement||Author and Year||Publisher|
|Readings||Artificial intelligence: structures and strategies for complex problem solving.||Prescribed||Luger, G. 2009||6TH EDN., ADDISON WESLEY|
|Readings||PROLOG: Programming for Artificial Intelligence||Recommended||Bratko, I. 2012||6TH EDN., ADDISON WESLEY|
|Readings||Artificial intelligence: A modern approach.||Recommended||Russel, S. and Norvig, P. 2016||3RD 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.
Select to view your study options…
Melbourne, 2020, Semester 1, Day
Maximum enrolment sizeN/A
Subject Instance Co-ordinatorFei Liu
One 2.0 hours lecture per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.
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.
|One Programming Assignment (equivalent to 3000 words)||An assignment on automated reasoning||50||02|
|One 2-hour Examination (2000 words equivalent)||50||01, 02, 03, 04|