Software Agents

Subject COMP90054 (2013)

Note: This is an archived Handbook entry from 2013.

Credit Points: 12.50
Level: 9 (Graduate/Postgraduate)
Dates & Locations:

This subject is not offered in 2013.

Time Commitment: Contact Hours: 36 hours, comprising of two 1-hour lectures and one 1-hour workshop per week
Total Time Commitment:

120 hours

Prerequisites:

One of the following:

Subject
Study Period Commencement:
Credit Points:
Not offered in 2013
12.50
Not offered in 2013
12.50

Corequisites:

None

Recommended Background Knowledge:

None

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 Student Support and Engagement Policy, academic requirements for this subject are articulated in the Subject Overview, Learning Outcomes, Assessment and Generic Skills sections of this entry.

It is University policy to take all reasonable steps to minimise the impact of disability upon academic study, and reasonable adjustments will be made to enhance a student's participation in the University's programs. Students who feel their disability may impact on meeting the requirements of this subject are encouraged to discuss this matter with a Faculty Student Adviser and Student Equity and Disability Support: http://services.unimelb.edu.au/disability

Contact

Dr Adrian Pearce

email: adrianrp@unimelb.edu.au

Subject Overview:

Software agents are software systems which 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.

Objectives:

On completion of this subject students should be able to:

  • Apply agent modelling techniques to analyse, design and implement a small agent-based system
  • Perform logical analysis of distributed problems based on (at least one of) modal logic, dynamic logic, epistemic logic and model theory techniques
  • Program effective agent reasoning strategies using an action language (such as the situation calculus) and high-level, non-deterministic programming principles
  • Choose and apply effective concurrent programming and continuous planning techniques to non-trivial distributed problems
Assessment:
  • Two 1750 word assignments, due in approximately weeks 6 and 11 (30% each)
  • A 15 minute in-class oral presentation concerning assignment work (10%)
  • One 2-hour end-of-semester open-book examination (30%)
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
Generic Skills:

On completion of the subject the students should have the:

  • Ability to undertake problem identification, formulation, and solution
  • Ability to utilise a systems approach to complex problems and to design and operational performance
  • Ability to manage information and documentation
  • Capacity for creativity and innovation Ability to communicate effectively with both the engineering team and the community at large
Related Course(s): Master of Engineering in Distributed Computing
Master of Information Technology
Master of Information Technology
Master of Information Technology
Master of Philosophy - Engineering
Master of Science (Computer Science)
Master of Software Systems Engineering
Ph.D.- Engineering
Related Majors/Minors/Specialisations: B-ENG Software Engineering stream
Master of Engineering (Software)

Download PDF version.