Note: This is an archived Handbook entry from 2011.
|Dates & Locations:|| |
This subject is not offered in 2011.
|Time Commitment:||Contact Hours: 36 hours, 24 one hour lectures, two per week and 12 one hour workshops, one per week |
Total Time Commitment: 120 hours
|Prerequisites:|| One of: |
Study Period Commencement:
Not offered in 2011
Not offered in 2011
|Recommended Background Knowledge:|| |
|Non Allowed Subjects:|| 433-481 Agent Programming Languages |
433-482 Software Agents
433-681 Agent Programming Languages
433-682 Software Agents
|Core Participation Requirements:||For the purposes of considering request for Reasonable Adjustments under the Disability Standards for Education (Cwth 2005), and Students Experiencing Academic Disadvantage Policy, academic requirements for this subject are articulated in the Subject Description, Subject Objectives, Generic Skills and Assessment Requirements of this entry.The University is dedicated to provide support to those with special requirements. Further details on the Disability support scheme can be found at the Disability Liaison Unit Website: http://www.services.unimelb.edu.au/disability/|
Dr Adrian Pearce
Software agents are software systems that use automated reasoning algorithms operating on symbolic knowledge representations to determine how they should interact with their environment (the real world, human beings, or other agents) in order to achieve the goals set for them. Agent modelling and programming techniques are becoming increasingly popular for solving problems for robotic, artificially intelligent or internetworking processes.
The subject covers the principles of agent-oriented modelling and the underlying automated reasoning and agent programming techniques involved. Topics covered include: agent modelling of goals, roles and organisations, planning, sensing and acting, introduction to modal logic and model theory, epistemic logic, theorem proving, dynamic logic, the situation calculus, logical regression, non-deterministic programming, concurrency and multi-agent programming. The subject focuses on the foundations that enable agents to reason autonomously about goals, perception, actions and the knowledge of other agents during collaborative task execution.
On completion of this subject students should be able to:
|Assessment:||Two written assignments, due in approximately weeks 6 and 11, of around 1750 words each (30% each); a 15 minute in-class oral presentation concerning assignment work (10%); and a 2-hour end-of-semester open-book written examination (30%). Leon Sterling and Kuldar Taveter, The Art of Agent-Oriented Modelling, MIT Press, 2009.|
|Prescribed Texts:||Leon Sterling and Kuldar Taveter, The Art of Agent-Oriented Modelling, MIT Press, 2009.|
|Breadth Options:|| |
This subject is not available as a breadth subject.
|Fees Information:||Subject EFTSL, Level, Discipline & Census Date|
On completion of the subject the students should have the:
Master of Engineering in Distributed Computing |
Master of Science (Computer Science)
Master of Software Systems Engineering
B-ENG Software Engineering stream |
Master of Engineering (Software)
Download PDF version.