cse3alr artif intel logic and reasonin
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
Learning resources
Readings
| Resource Type | Title | Resource Requirement | Author and Year | Publisher |
|---|---|---|---|---|
| Readings | Artificial Intelligence: Structures and Strategies for Complex Problem Solving | Prescribed | Luger G. 2008 | Addison Wesley |
| Readings | Artificial Intelligence: A Morden Approach (2nd ed) | Recommended | Russel S. and Norvig P. 2004 | Prentice 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…
Melbourne, 2015, Semester 1, Day
Overview
Online enrolmentYes
Maximum enrolment sizeN/A
Enrolment information
Subject Instance Co-ordinatorFei Liu
Class requirements
LectureWeek: 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 ClassWeek: 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 element | Comments | % | 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 |