Context J -Moise + J -Moise + Programming organisational agents with Moise + & Jason Jomi F. H¨ ubner ENS Mines Saint Etienne, France [email protected]Technical Fora Group at EUMAS’07 Software tools to build regulated MAS J -Moise + TFG – EUMAS 2007 1 / 20
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Context J -Moise+
J -Moise+
Programming organisational agents withMoise+ & Jason
OrgManager will perform those actions in case they areconsistent, e.g. the adoption of role is contrained by
the cardinality of the role in the group
the compatibilities of the roles played by the agent
J -Moise+ TFG – EUMAS 2007 6 / 20
Context J -Moise+ actions events goals demo
Handling Organisational Events in AgentSpeak
Whenever something changes in the organisation, theorganisation architecture updates the agent belief baseaccordingly.
Example (A new group is created)
+group(wpgroup,GId) : true
<- jmoise.adopt_role(editor,GId).
or
+group(wpgroup,GId)[owner(O)] : my_friend(O)
<- jmoise.adopt_role(editor,GId).
Example (Some group is destroyed)
-group(wpgroup,GId) <- .print("Group removed!").
J -Moise+ TFG – EUMAS 2007 7 / 20
Context J -Moise+ actions events goals demo
Available Organisational Events I
+/-group(< GrSpecId >,< GrId >)[owner(< AgName >)]:perceived by all agents when a group is created (event +) orremoved (event -) by AgName.
+/- play(< AgName >, < RoleId >, < GrId >):perceived by the agents of GrId when an agent adopts (event+) or remove (event -) a role in group GrId .
+/- commitment(< AgName >, < MisId >, < SchId >):perceived by the SchId players when an agent commits orremoves a commitment to a mission MisId in scheme SchId .
J -Moise+ TFG – EUMAS 2007 8 / 20
Context J -Moise+ actions events goals demo
Available Organisational Events II
+/-scheme(< SchSpecId >,< SchId >)[owner(< AgName >)]:perceived by all agents when a scheme is created (+) orfinished (-) by AgName.
+ scheme group(< SchId >,< GrId >):perceived by GrId players when this group becomesresponsible for the scheme SchId .
+ goal state(< SchId >, < GoalId >, < State >):perceived by SchId players when the state of some goalchanges.
perceived by an agent when is has an organisationalobligation for a mission. It has a role (RoleId) in a group(GrId) responsible for a scheme (SchId) and this role isobligated to a mission in this scheme.
An achievement goal event (+!g) is create when anorganisational goal g is permitted.
Example (Organisational goal)
If an agent is committed to a mission with goal wsec,whenever this goal is possible (all its pre-condition goals aresatisfied), the following plan may be selected:
+!wsec[scheme(Sch)]: commitment(A, mBib, Sch)<- ..... actions to write the section .....;
Bordini, R. H., Hubner, J. F., and Wooldrige, M. (2007).Programming Multi-Agent Systems in AgentSpeak using Jason.Wiley.
Hubner, J. F., Sichman, J. S., and Boissier, O. (2006).S-MOISE+: A middleware for developing organised multi-agent systems.In Boissier, O., Dignum, V., Matson, E., and Sichman, J. S., editors,Proceedings of the International Workshop on Organizations in Multi-AgentSystems, from Organizations to Organization Oriented Programming in MAS(OOOP’2005), volume 3913 of LNCS. Springer.
Hubner, J. F., Sichman, J. S., and Boissier, O. (2007).Developing organised multi-agent systems using the MOISE+ model:Programming issues at the system and agent levels.International Journal of Agent-Oriented Software Engineering.