ARTIFICIAL INTELLIGENCE-LOGIC AND REASONING

CSE3ALR

2015

Credit points: 15

Subject outline

In this subject students are provided with the opportunity to study additional Artificial Intelligence topics to those studied in CSE2AIF. Topics covered in this subject focus on logic and reasoning, and include Inference in First-Order Logic; Logic Programming in PROLOG (PROLOG is the most widely applied programming language in Artificial Intelligence); Resolution, Natural Language Processing, Planning, and Artificial Agents.

SchoolSchool Engineering&Mathematical Sciences

Credit points15

Subject Co-ordinatorFei Liu

Available to Study Abroad StudentsYes

Subject year levelYear Level 3 - UG

Exchange StudentsYes

Subject particulars

Subject rules

Prerequisites CSE1IOO

Co-requisitesN/A

Incompatible subjects CSE3AIL

Equivalent subjectsN/A

Special conditionsN/A

Readings

Resource TypeTitleResource RequirementAuthor and YearPublisher
ReadingsArtificial Intelligence: Structures and Strategies for Complex Problem SolvingPrescribedLuger G. 2008Addison Wesley
ReadingsArtificial Intelligence: A Morden Approach (2nd ed)RecommendedRussel S. and Norvig P. 2004Prentice Hall

Graduate capabilities & intended learning outcomes

01. Apply the knowledge in automated reasoning to analyse and evaluate a reasoning resolution in order to select a proper reasoning resolution to design and implement an intelligent computer system.

Activities:
In lectures, students learn formal language and formal system; understand first order logic as a formal system; and study SLD-resolution (substitution, unification, SLD-derivation, selection rule, ordering rule and computation rule), soundness and completeness. Students learn the contents by listening to the lecture, participating in class discussion, doing the class exercises and completing the lab questions.
Related graduate capabilities and elements:
Creative Problem-solving (Creative Problem-solving)
Inquiry/ Research (Inquiry/ Research)
Critical Thinking (Critical Thinking)

02. Apply the sentence parsing techniques in natural language analysis and evaluation in order to select a parsing technique and implement a computer system to analyse different components of a sentence for the purpose of linguistic analysis and language translation

Activities:
In lectures, students study Specification and Parsing Using Context-Free Grammars and apply it in sentence parsing and decomponent. Students learn the contents by listening to the lecture, participating in class discussion, doing the class exercises and completing the lab questions.
Related graduate capabilities and elements:
Critical Thinking (Critical Thinking)
Creative Problem-solving (Creative Problem-solving)
Inquiry/ Research (Inquiry/ Research)

03. Design, code and evaluate an AI system being implemented in PROLOG.

Activities:
In lectures, students learn PROLOG program design and programming skills such as recursion, iteration, selection, file operations, list operations, structures and pre-defined predicates. Students learn the contents by listening to the lecture, participating in class discussion, doing the class exercises and completing the lab questions. The exam tests this knowledge through short question-answer and PROLOG programming questions.
Related graduate capabilities and elements:
Critical Thinking (Critical Thinking)
Creative Problem-solving (Creative Problem-solving)
Inquiry/ Research (Inquiry/ Research)

Subject options

Select to view your study options…

Start date between: and    Key dates

Melbourne, 2015, Semester 1, Day

Overview

Online enrolmentYes

Maximum enrolment sizeN/A

Enrolment information

Subject Instance Co-ordinatorFei Liu

Class requirements

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

Laboratory Class Week: 10 - 22
One 2.0 hours laboratory class per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.

Assessments

Assessment elementComments% ILO*
Final examination (3-hours and closed book)70 01, 02, 03
Programming assignment (equivalent to 2000 words)Hurdle requirement: In order to pass the unit, students must obtain an overall pass grade, pass the examination and pass the overall non-examination components.30 03