Information Technology Reference
In-Depth Information
CartAgO is based in the Agents & Artefacts (A & A) meta-model [14] to model
multiagent systems. This model introduces a high-level metaphor, based in the idea that
human workers work in a cooperative way with its environment: agents are computa-
tional entities that do some type of goal-oriented task (analogous to human workers),
and artifacts are the resources and tools dynamically created, handled and shared by
agents to support its activities, both individual and collective (as in the human context).
Therefore, it is possible to develop artifacts that are instantiated in the environment
and can provide services to agents, also able to do communication with external services
(e.g., web-services). CartAgO is a Java-based, Open Source technology and is available
in [14].
3.3
MOISE+
The MOISE+ [4] organizational model was created to model the MAS's organization
and is the specification of three dimensions: the structural (where roles, inheritance
links and groups are defined), the functional (where a set of global plans are defined,
with missions to achieve those goals) and the deontic (where specifies which role has
to commit to which mission).
Therefore, MOISE+ is a multiagent organizational model, based in notions as roles,
groups and missions, which allows the system to have an explicit organization and that
a platform can be used to make agents achieve its tasks defined in the organization.
In the following, we present a brief introduction to the model's functional dimension.
It is composed by a set of Social Schemes, that is, a set of goals, structured by means of
plans. In the formal specification of MOISE+, the set of all social schemes is denoted
by SCH and a scheme sch is represented by the tuple
sch =(
G
,
P
,
M
,mo,nm )
(1)
where
G
is the set of goals in the scheme,
P
the set of plans that builds the goals
decomposition tree,
M
is the set of missions, that is, a set of global goals that can be
bound to a role, mo :
M → P
( g ) is a function that determines the set of goals in each
mission, nm :
determines the maximum and minimum number of agents
that must commit to each mission.
A scheme is a global goal decomposition tree, whose root is the goal of the entire
scheme . The decomposition is made by plans (denoted by the '=' operator), that point a
way of achieving a role. For instance, on plan “ g 0= g 1; g 2; g 3”therole g 0 is decom-
posed in three plans, indicating that it will be achieved only if plans g 1 ,g 2 and g 3 are
also achieved.
M → N × N
3.4
The Modeling and Simulation of Public Policies Framework
The framework for insertion of public policies becomes concrete in the form of ar-
tifacts in the model CArtAgO. This framework includes two types of normative arti-
facts, namely: NormObrig and NormPrb, modeling rules of obligation and prohibition,
respectively.
There are also special agents (BDI agents for the Jason platform) to perform / verify
those norms. They are: the government agent, which is responsible for emit norms; the
 
Search WWH ::




Custom Search