|
|
Huang Yeo
yeoh03@csse.uwa.edu.au
Entry year: 2004
Enrolment status: confirmed
Degree: BCompSci
Degree status: complete semester 2, 2004
Project: Automatic Protocol Generation Based on Commitment Machine
Supervisor(s): Wei Liu
Project status: complete semester 2, 2004
|
|
Traditional approaches, such as FSM, Petri-Nets and AUML (Agent Unified Modeling Language) represent agent interaction protocols as sequences of actions.
The Commitment Machine (CM) framework defines a high level concept: use of commitments to govern the execution of agent actions.
Representation of protocols using CM increases the flexibility of protocols.
This is done by attaching meaningful content, i.e. the commitment, to each protocol state and action.
The reasoning mechanism of CM has been implemented using an Event Calculus Planner (EC Planner).
However, there is no actual implementation of CM in any agent platforms.
The project will examine the general concept of CM, the use of JACK agent language to implement the CM framework, followed by a comparison of different design alternatives regarding the implementation in JACK.
|
 Proposal
Dissertation
|
Last update: Mon Mar 7 21:29:24 2005
|
|
