Full text
A Multiagent-Based Tool for the Simulation of Social Production and Management Processes of Urban Ecosystems: A Case Study of San Jerónimo Vegetable Garden – Seville, Spain Flávia Pereira dos Santos1, Diana Adamatti2, Henrique Rodrigues1, Glenda Dimuro3, Esteban De Manuel Jerez3, Graçaliz Pereira Dimuro1 1Universidade Federal do Rio Grande, Av. Italia s/n km 08, Rio Grande / RS, Brazil 2Centro de Ciência Computacionais, Universidade Federal do Rio Grande, Av. Italia Km 08 Carreiros, Rio Grande / RS, 96201-090, Brazil 3Universidad de Sevilla, Avda. Reina Mercedes 4 A, 41012, Sevilla, Spain Correspondence should be addressed to flaviasant[email protected]; f[email protected] Journal of Artificial Societies and Social Simulation 19(3) 12, 2016 Doi: 10.18564/jasss.3128 Url: http://jasss.soc.surrey.ac.uk/19/3/12.html Received: 29-02-2016 Accepted: 17-05-2016 Published: 30-06-2016 Abstract: The concept of social production and management of urban ecosystems may be understood as the generation of newphysicalor relational situations, by constructing, transformingor eliminating physicaland/or relational objects or ensuring the fulfillment of their social and environmental functions. This includes the citizen participation in the process of urban planning and transformation, forming a network structured and supported by tools allowing the equal distribution of power in the decision making. The SJVG-MAS Project addresses, in an interdisciplinary approach, the development of computational tools based on Multiagent Systems (MAS) for the simulation of the social production and management processes that occur in urban ecosystems, in particular, the San Jerónimo Vegetable Garden project (Seville, Spain). In this paper, we present a MAS-based simulation tool developed in the JaCaMo framework. We conceived a 5-dimensional BDI-like agent social system composed of the agents’ population, the social organization, the environment, the interactional / communication and the regulatory structures. Keywords: urban ecosystem, social organization simulation, simulation of social production and management processes, regulatory policy simulation, multiagent-based simulations, JaCaMo framework Introduction 1.1 The concept of social production and management of urban ecosystems may be understood as the generation of new physical or relational situations, by constructing, transforming or eliminating physical objects and/or relational objects with the objective of ensuring, in the new produced situations, the fulfillment of their social and environmental functions (Ortiz 2010; Pelli 2007, 2010). This includes the citizen participation in the process of urban planning and transformation, articulating the different involved agents (government, institutions, technicians, citizens), forming a network structured and supported by mechanisms and tools that allow the equal distribution of power in the decision making, so that all agents can participate and dialogue actively in the whole process of a certain project, from its planning to its management, as discussed by (Dimuro 2010; Dimuro & Jerez 2010, 2011). 1.2 The social production and management of urban ecosystems contribute to the strengthening of community practices, to the increasing of responsibility for a collective project, to the exercise of democracy, to the development of more supportive actions, including both productive and economic issues, as well as environmental issues. See also the discussions presented by (Dimuro et al. 2015a,b). JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
1.3 The San Jerónimo Vegetable Garden (SJVG) project, headed by the confederation “ecologistas en acción” (EA)1, is an example of an urban ecosystem located in Seville, Spain. The SJVG is maintained by its own users, under the supervision and coordination of the EA. The harvest is entirely ecological, the production is only for selfconsumption, but people can exchange products and services. Then, the SJVG’s social organization is characterized for allowing and promoting a lot of interactions and social exchanges between the participants. Nevertheless, the behaviors, interactions and communications are regulated by norms established by the community in assembly, under the supervision of the EA. 1.4 The SJVG-MAS Project2, whose initial results were presented in (Farias et al. 2013; Rodrigues et al. 2013; Santos et al. 2012, 2014a,b; Silva et al. 2013), addresses, in an interdisciplinary approach, The SJVG-MAS Project (Dimuro2010;Dimuro&Jerez2010,2011). TheSJVG-MASProject3, whose initialresults were presented in(Farias et al. 2013; Rodrigues et al. 2013; Santos et al. 2012, 2014a,b; Silva et al. 2013), addresses, in an interdisciplinary approach, The SJVG-MAS Project (Dimuro 2010; Dimuro & Jerez 2010, 2011). The Project is a joint effort for interrelating knowledge, seeking collective interpretations, adopting as case study the current tendency of (re)approaching the countryside to the city through urban vegetable gardens, in particular, the SJVG. We aim to contribute for the analysis of the actual reality of the SJVG experiment, providing resources to foment the discussions on the adopted methodology and to help the investigation of new possible ideas that may be applied in the context of the SJVG’s organization, for example, how possible changes in the social organization (e.g., roles assumed by the agents in the organization, actions, behaviors, (in)formal interaction / communication protocols, regulation norms), especially from the point of view of the agent’s participation in the decision making processes, may transform this reality, from the social, environmental and economic point of view, then contributing for the sustainability of the project. 1.5 The objective of this paper is to present the mas-based tools developed in the SJVG-MAS context, discussing the adopted solutions and introducing the results obtained in simulations. In order to take into account all the suitable characteristics of the SJVG social organization, we conceived our MAS as a multi-dimensional BDI-like agent social system4, using the JaCaMo framework ((Boissier et al. 2013)), involving the development of five dimensions: 1. the agents’ population: the agentes that may assume roles in the SJVG social organization; 2. the social organization: the organizational roles of gardener, institution, technician, etc. and their hierarchy; 3. the (physical) environment; 4. the interactional/communication structure between roles; 5. the regulatory structure: constitutive and regulative internal norms established by the SJVG community. 1.6 We adopted the JaCaMo framework mainly because it offers high-level and modular facilities to develop the first three dimensions mentioned above. It is composed of three separate technologies: 1. the Jason ((Bordini et al. 2007)) interpreter of an extended version of AgentSpeak-L language, for the implementation of the agents’ population (dimension (i)); 2. the CArtAgO framework ((Ricci et al. 2011)), for modeling the environment (dimension (iii)) using the concept of artifacts (Ricci et al. 2007); 3. the MOISE+ model ((Hübner et al. 2007, 2010)), for modeling of the social organization (dimension (ii)). 1.7 We found that the modularity provided by the JaCaMo framework helps the modeling of real world organizations, especially when an interdisciplinary working group is involved, as in the SJVG-MAS project. Moreover, this modular development facilitated modifications in the organization, which is really important for the analysis of the impact of those changes in the social production and management processes and in the environment. See also the discussions in (Hübner et al. 2010; Santos et al. 2014a). 1.8 Observe that, since the implementation of the dimension (i), namely, the agent population, was done using Jason, the adopted agent architecture was the bdi (Beliefs, Desires, Intentions) model. Our choice for an agent model of intentional nature, whose behaviors can be explained by attributing certain mental attitudes to the agents, such as knowledge, beliefs, desires, intentions, obligations, commitments, is justified by a largeamount of work discussing the role of such models in agent-based simulation of human behavior, emotions, and valuebased evaluation, such as trust and reputation. See, e.g., the discussions presented by (An 2012), (Filatova et al. 2013), (Subagdja et al. 2009) and (Adamatti et al. 2014). JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
1.9 Fortheotherdimensions(iv)and(v),whichareparticularimportant, sincemodificationsintheinteraction/communication/regulatory structures may directly affect the social processes under analysis in this project, we introduced a communication and a regulatory structures, based on the CArtAgO framework and an adaptation of the MSPP framework (Modeling and Simulation Public Policies, introduced in (Santos & Costa 2012)), respectively. Some additional comments on related work 1.10 This paper presented the use of integrated artifacts to model an urban ecosystem, based in a multidimensional multiagent approach. These artifacts act in different dimensions of the social system: organizational, interactional/communication, regulatory and physical aspects. In the literature, we do not find works where artifacts are used in real systems, in such general approach, as in our proposal. Some works presented how JaCaMo infrastructure could be applied, using “toy examples”, as presented by (Hübner et al. 2009), or “hypothetical examples”, as introduced in (Baldoni et al. 2010), in order to show how artifacts can be used and the advances of such approach. For example, (Baldoni et al. 2010) presented an application of artifacts that explains how they could be flexible and reusable. (Mokom 2015) presented a proposal to insert artifacts in multi-agent-based simulations, where theses artifacts are dynamic using artificial intelligence techniques, as genetic algorithms and cultural algorithms. in a similar line of work, (Von Laer et al. 2015) introduced an evolutionary agent society based on cultural artifacts, used to promote the self-regulation of exchange processes, in the same direction of the works by (Dimuro et al. 2007, 2011; Dimuro & da Rocha Costa 2015; Pereira et al. 2008). 1.11 Related to the modeling and simulation of (urban or not) ecosystems and/or socio-ecological systems using agent-based or multiagent systems, the works found in the literature do not apply artifacts, although agent technology has been adopted in several works for performing simulations (see, e.g., the discussion on the challengesand prospectsofagent-basedmodeling andsimulationinthe social-ecologicalsystemspresentedby(Filatova et al. 2013)). 1.12 In fact, the numberof agent-based modelingapplications within thesocio-environmental context hasexploded over the last decade, although the majority uses simple agent models (e.g., reactive agents). Differently, we have adopted a very special cognitive agent model, suitable for the kind of social organization found in the studied urban ecosystem. 1.13 Nevertheless, in the work by (Alberti & Waddell 2000), agents and georeferenced data are used to propose a sustainable ecosystem, trying to explain how the metropolitan areas evolve. (Manson 2003) presented a new approach to validate and verify multi-agent systems applied to environmental domains, according to an specific criteria related to ecosystem management (see also (Janssen 2003), for several works discussing complexity and ecosystem management, based on multiagent approaches). in (Adamatti et al. 2005, 2009) and (Koutiva & Makropoulos 2012), the multiagent approach is used to model a urban water management. (Chen et al. 2012) used multiagent systems for modeling the effects of social norms on enrollment in payments for ecosystem services. (Rai & Robinson 2015) discussed the empirical integration of social, behavioral, economic, and environmental factors in their agent-based modeling of energy technology adoption. (Sun & Müller 2013) proposed a framework for modeling payments for ecosystem services with agent-based models. 1.14 One interesting work is by (Sahrbacher et al. 2014), who presented agent-based tools for the modeling and simulation spatial relationships between ecosystem services and agricultural production, for the analysis of agricultural structural changes, due to the collective impacts of farmers’ land management decisions on above ground ecosystem services and their implications for agriculture. (Iwamura et al. 2014) used agent-based modeling for analysing interactions between social and ecological systems in the context on indigenous lands. 1.15 In a more general approach (Magliocca et al. 2014) introduced the agent-based virtual laboratory (ABVL) approach, which requires more generalized agent-based models (ABMs) for cross-site experimentation, comparison, and synthesis. Broadly, the ABVL approach harnesses theprocess-based explanatory power ofABMs within a modeling system architecture explicitly designed for flexible, iterative experimentation and cross-site comparison. However, ABVL is still limited for using simple reactive agents, so it is not possible to evaluate in which extension it can take into account the modeling of complex interactions and behaviours. 1.16 The rest of the paper is organized as follows. Subsection Some additional comments on related work presents a discussion on related works. In Section 2, the JaCaMo framework and its related tools are briefly explained.The MSPP framework is presented in Section 3. Section 4 SJVG 5-dimension Social Organization, discussing the adopted solutions and the integration of the several kinds of artifacts. Section 5 presents some examples of simulations. Section 6 is the Conclusions. Some auxiliary information about the periodic routines of the several roles identified in the SJVG Social Organization is presented in Appendix 1. Appendix 2 presents auxiliary JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
examples of the integration of artifacts in the daily routines of some roles, in form of activity diagrams. The source code of this work is available as a supplementary material of this paper. The JaCaMo Framework 2.1 In this section, we explain the technologies that are encompassed by JaCaMo framework ((Boissier et al. 2013)), namely: Jason, Cartago and MOISE+, presenting the main features of these technologies, which cover some of the levels of abstractions that are required for the development of sophisticated mas, which, in our case, are the agents’ population, the environment and the social organization. Jason and the agents’ population 2.2 For the implementation of the agents’ population, JaCaMo provides Jason ((Bordini et al. 2007)), which is an AgentSpeak-L interpreter that provides a platform to develop MAS, based on BDI agent model. Observe that there are many BDI ad hoc implementations systems, however, an important characteristic of the AgentSpeak-L language is its theoretic base. The AgentSpeak-L programming language is an elegant extension of logic programming to BDI architecture for agents. An AgentSpeak-L agent corresponds to the specification of a set of beliefs and plans that forms the initial knowledge base.5 2.3 AgentSpeak-L distinguishes two types of goals: achievement goals and test goals. Achievement and test goals are predicates, such as beliefs, but they have fixed operators ’!’ and ’?’, respectively. Achievement goals express what the agent wants to achieve in an environment state, where the predicate associated with the goal is true. In fact, these objectives start the execution of subplans. A test goal returns the unification of a predicate test with an agent belief, or failure if the unification is not possible with the agent beliefs. 2.4 A triggering event defines which events may initiate the execution of a plan. An event can be internal, when generated by the execution of a plan if a subgoal needs to be achieved, or external, when generated by the perception of the environment. Activating events are related to the addition and removal of mental attitudes (beliefs or goals). Add and remove mental attitudes are represented by fixed operators (’+’) and (’-’). The CArtAgO framework and the MAS environment 2.5 For the MAS environment implementation (and also other facilities, which are discussed in the following sections), JaCaMo provides the CArtAgO (Common Artifact Infrastructure for Agents Open Environments) framework ((Hübner et al. 2010; Ricci et al. 2011)), which is a MAS virtual environment development and simulation framework. CArtAgO allows the implementation of a virtual environment as a computational layer encapsulating the facilities and non-autonomous services exploited by agents during runtime.6 2.6 CArtAgO is based on the Agents and Artifacts (A & A) ((Ricci et al. 2007)) meta-model to model mas. This model introduces a high-level metaphor, based in the idea that human workers act in a cooperative way with their environment: agents are computational 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 their activities, both individual and collective (as in the human context). So, it is possible to develop artifacts that are instantiatedin the environment, providing services to agents, and able to do communication with external services (e.g., web-services). MOISE+ and the MAS social organization 2.7 For modeling the MAS organization, JaCaMo offers the MOISE+ organizational model ((Hübner et al. 2007)), which encompasses 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 normative dimension that specifies which role has to commit to which mission. 2.8 In aStructural Specification (SS), individual, social andcollective levelscanbe defined based onthree concepts: roles (individual level - set of behavioral constraints that an agent accepts when joining a group), relationships JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Figure 1: Normative Specification: linking SE and FS ((Santos et al. 2014a)) between roles (social level - relations allowed between the roles) and groups (collective level - a set of agents with similar affinities and objectives). The SS is defined by a tuple ss = (rg, rss , c), where rg is the set of specification of roots groups of ss, rss is the set of all roles in the SS and cis the inheritance relationship on roles of rss . 2.9 The Functional Specification (FS) is composed by a collection of Social Schemes (SS), which are sets of goals structured by plans. The global targets represent the state of the world that is desired by the organization, different from a local goal since the latter is of a single agent. the set of all se is denoted by sch and a scheme sch is defined by the tuple sch = (g, p, m, mo, nm), where: 1. gis the set of goals in the scheme, 2. pis the set of plans that builds the goals decomposition tree, 3. mis the set of missions, that is, a set of global goals that can be bound to a role, 4. mo :m→pis a function that determines the set of goals in each mission, 5. nm :m→n×ndetermines the maximum and minimum number nof agents that must commit to each mission. 2.10 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 =), which point a way of achieving a goal. for instance, considering the plan g0=g1, g2, g3 The goal g0is decomposed in three plans, indicating that it will be achieved only if plans g1,g2and g3are also achieved. 2.11 The Normative Specification (NS) is where role missions are specified with permission or obligation type. This specification defines a permission (per) or an obligation (obl) related to a mission (m) that an agent with a role in the organization is committed with (see figure 1). They are defined as the tuples per(p, m, tc)and obl(p, m, tc), where where pdetermines that an agent with the role pcan be committed with the mission m,tc determines that temporal constraints are established, that is, there is a period where the permission is valid, for example, “every day” or “every hour”. The MSPP Framework for Modeling Public Policies 3.1 The MSPP (Modeling and Simulation of Public Policies) framework ((Santos & Costa 2012)) aims to support agent-based models for the various types of sequential and non-sequential models of public policy processes, as classified in (Hill 2009). It consists of a set of programming schemes, classes and an API developed for the Jason-CArtAgO platform. Its purpose is to help the development of agent-based simulations of public policy processes operating on agent-based simulations of social, economic and environmental contexts. 3.2 In general, a policy is conceived as a set of principles that orient and/or condition decisions and actions of the agents that operate in a given context, especially in what concerns the uses of the available resources ((Easton 1965)). A public policy in a given society, thus, is a policy concerning the uses of resources that are considered to JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
be public in that society, usually being issued by the government of that society, as discussed in (Hill 2009). In the context of MSPP framework, a public policy is a set of norms and action plans, to be adopted and followed by both the government agents and the societal agents that operate in the social context of concern. 3.3 The MSPP toolkit contains the following set of agent types: •government: an agent able to issue public policies (for simplicity, the government of the society can be modeled as a single agent); •societal or social agents: those agents to which the public policy is generally addressed, presumably to solve a public issued identified in their social context; •government agents: agents that operate as detectors and effectors for the government, as –norm enforcers: detector and effector agents that participate in the process of enforcement of the norms specified by the public policy: –norm detectors, which capture information concerning the agents’ compliances to the policy norms; –norm effectors, which apply the sanctions prescribed by the norms to the agents that do not comply to them; –environmental operators: agents that perform plans specified by the public policy, aiming at the direct controlof aspects ofthe physicalor social environment ofthe society, in thesense of performing actions that operationally interfere with the structure and/or the elements of those environments (e.g.: actions on physical objects, interferences on social relationships, damage of the natural environment, etc.): –environmental detectors, which capture information concerning the state of the environment resources; –environmental effectors, which act on the environment resources, changing their features, allowing or blocking the other agents accesses to them, creating or removing resources, etc. 3.4 The essential concept in the MSPP framework is that of policy artifacts, that is, CArtAgO artifacts that reify the public policies that are addressed to the government agents and societal agents of the society, so that the components of public policies are concretely represented as artifacts in the environment. The reification of public policies as policy artifacts amounts to the reification of norms and plans, so that norm artifacts and plan artifacts should be defined and instantiated in the CArtAgO framework, together with AgentSpeak-L program schemes that allow the agents of the society to handle them adequately. Modeling the SJVG Social Organization in JaCaMo 4.1 The urban vegetable garden of the San Jerónimo Park (SJVG) (Seville/Spain) (Figure 2) is an initiative of the confederation EA in order to promote social participation in organic farming practices through the use of urban vegetable gardens to recreation, and conducting activities related to environmental education. The main features of this project is that this urban ecosystem is centered on a nonprofit, social urban vegetable garden (that is, the production is dedicated to its own participants), the production is all based on natural and ecological principles, promoting the integration between human and natural resources. 4.2 The vegetable gardens are located in the San Jerónimo Park, occupying about 1.5 hectares, divided into 42 individual plots (of size around 75 m2), assigned to gardeners of different ages, especially retirees. Although the “ownership‘’ of each plot is individual, the work in the garden is sometimes shared among other family members or even friends, called the auxiliary gardeners. A person who intend to enter in the project is called an aspiring gardener. The EA confederation has a collective plot, allocated to its partners, and another plot that serves as a kind of “school plot”, where classes on organic crops are eventually taught. Figure 3 shows the schema of a SJVG plot. 4.3 The role of EA confederation is to oversee the work of the gardeners, providing technical support, controlling the use of chemical pesticides, which is strictly forbidden, promoting orientation and motivational talks, and also recreation activities. The gardeners, in turn, to ensure their permanence in the project, must comply with a set of determinations established in the SJVG’s Internal Regulation Norms, including, e.g., the requirement for organic farming and the forbiddance of selling or trading the products, but also other rules such as to keep JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Figure 2: Localization of the San Jerónimo Park and the San Jerónimo Vegetable Garden the portion clean, to take care of the common areas, to attend the assemblies, to irrigate by dripping water, to collaborate with the operation of the facilities and infrastructures, to pay a monthly fee, among others. 4.4 A key feature of the project is the horizontality time to make decisions that are always taken in the SJVG Assemblies and established in the form of consensus among the community of gardeners and technicians of the EA confederation. Besides the cultivation of individual plots, the SJVG project includes the care of a greenhouse for growing seedlings and a chicken coop. EA also performs some agreements with Sevilla University and/or other academic institutions and supports students in internships. Finally, depending on the annual budget, EA also carries out work with neighborhood schools through school vegetable gardens. 4.5 In this section we present the solution we introduce for modeling, in JaCaMo, the five dimensions identified in the SJVGsocial organization, namely(i) the agents’ population, (ii)the social organization, (iii) the environment, (iv) the interactional/communication structure, and (v) the regulatory structure. This was done by the integration of Organizational, Regulatory, Communication and Physical Artifacts, as initially proposed by (Santos et al. 2014a). The Organizational modeling and the organizational artifact 4.6 The social organization was firstly modeled using MOISE+. Figure 4 shows the structural model for the SJVG, where roles, groups and sub-groups, role relationships are specified. in this Structural Specification (SS), we specified the root group hsj_vegetable_garden (SJVG project), anditssub-groupsea confederation and parcel (plotforcultivation). therolesthatcanbeassumed inthese sub-groups are: gardener and auxiliary gardener,aspiring gardener,administration,secretary and ea technician. The relationships between these roles can be: authority (which is the case of the EA administration in relation to the secretary, technician and gardener), communications and compatibility (between auxiliary gardener and aspiring gardener). According to MOISE+ model, agents in different groups cannot assume different roles in different groups. In our model (Figure 4), just theauxiliary gardener and aspiring gardener can assume the two roles simultaneously. The organizational elements are modeled as artifacts, using ora4mas, which is an artifact based infrastructure (based in CArtAgO), where first-class entities of the system are also modeled. We consider the two default CArtAgO artifacts, groupboard and schemeboard, both belonging to the ora4mas.nopl package of CArtAgO framework. JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Figure 3: The San Jerónimo Vegetable Garden and a Schema of a Plot Figure 4: Structural Specification of SJVG social organization ((Santos et al. 2014a)) JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Physical artifacts and the environment 4.7 The environment is a computational or physical space in which agents are situated, and the notions of perceptions, actions and interactions are defined and developed, and so, the agent can perceive and act ((Ricci et al. 2011)). 4.8 Physical artifacts for the SJVG were developed using the CArtAgO framework. They are abstractions about the environment, representing resources or tools that agents can instantiate dynamically, share and use as support in their daily activities in SJVG, and these activities can be individual or in group. These artifacts in the SJVG environment represent, for example, grubber, shovel, rake, plot, watering can, planter, seeds, closet, clock, all them implemented inCArtAgO. InFigure 5, wepresent thesequenceof agent actions forusing physicalartifacts. Whenever the artifact is created by EA, the agents receive a message (which is transformed into a belief) and then they use the “lookupartifact” operation (action provided by CArtAgO) and seek the physical artifact. Figure 5: The Environment and Physical Artifacts ((Santos et al. 2014a)) 4.9 Agents also receive signals from the “calendar” artifact to execute available actions in the virtual environment. Figure 6 shows the Jason code to create the artifact by the EA agent using the “makeartifact” operation, searching the agent that will use this artifact by the “lookupartifact” operation and, finally, the agent receiving the signal by the calendar artifact. Some Problems with JaCaMo 4.10 The social organization of SJVG is based on the performance of periodic routines by the organizational roles, and also on periodic norms that regulates their behaviors. An example can be seen in the periodic routines of an agent playing the role of a Gardener shown in Figure 7 in the form of Venn Diagram, where one can observe that a “Gardener, to join the SJVG project, has the obligation to pay a fee monthly”. For more details on the modelling of other periodic routines of different roles in the SJVG social organization, see the Appendix. 4.11 However, in the JaCaMo framework, as discussed in (Santos et al. 2014b), the modeling of such role routines cannot be easily done, since there are no native tools in the platform that allow this kind of specification. In the actual development of JaCaMo infrastructure, the allowed processes in the MAS organization, in terms of the goals that must be achieved, have to be described through the MOISE+ model. This tool presents a good abstraction level to specify these objectives, as well as the definition of a hierarchy between them. However, a periodic routine involves the achievement of periodic goals (e.g., in periods of one month, one week, one day), and MOISE+ model does not have structures to do represent such periodicity. JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Figure 11: Integration of Physical, Normative and Communication Artifacts: the monthly payment by a Gardener In Figure 14, the specific “gardener” agent called “CICERO” (see Example 2), through the operation “lookupartifact”, search the artifact groupboard and then it adopts the role of “gardener” in the plot subgroup in SJVG (lines 12 and 13). 5.7 Observe that, in lines 15, 23, 27 and 32, the “social agents” add beliefs in their belief bases, as the confirmation of the creation of artifacts (“makeartifact” operation), which is sent by the “EA” agent, through a “.broadcast” command. 5.8 After, the agents keep seeking communication artifacts (line 16 and 17), the artifact calendar (which sends signals to agents about available actions in the virtual environment) (line 24), physical artifacts (line 28) and normative artifacts (line 33) by the “lookupartifact” operation, which is performed for searching for an artifact by its name and identifier (with “lookupartifact (artname, idart)”). Finally, they can execute their actions with these resources in the SJVG virtual environment. 5.9 During this execution, the operation focus (lines 13, 20, 21, 25, 29 and 34) is performed by the agents, so that they continue observing changes which may occur in those artifacts or even the exclusion of any of them in the environment. 5.10 An important concept of the organization is the established rules set by the confederation EA, in order to help agents to comply with the rules of the SJVG project. The following example shows some normative artifacts (obligation, permission, prohibition and right) that were developed in order to simulate the SJVG’s regulation norms. Example 4: Normative artifacts 5.11 The norms are created through plans by the agent “EA” at the beginning of the simulation. Figure 15 shows the implementation of these plans by the agent, the actions contained in them and the creation of the norms through the normative artifacts. at the bottom of figure 15, we present a sample simulation. 5.12 In Figure 15 (line 63 of the implementation, in the top of the figure, and line 4 of the simulation, in the bottom of the figure), the norm “pagar mensalidade” (which means: “to pay the monthly fee”) is mandatory and the noncompliance constitutes a severe and cumulative misconduct (subject to a punishment). This action is verified by theeffector/detector agent (government agent “admin”), which isresponsible for monitoring the compliance with the norms and check the normative artifacts to analyze if the performed action is in fact a violation. 5.13 After this verification, asshown inFigure16, the agent “admin” searchin itsbelief base, for theadequate penalty and notify the offender their offense (lines 3 and 4), registering it in the artifact “penalty registration (RP)” (line JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Figure 12: Agents and the Plot Subgroup roles in SJVG organization Figure 13: Specification of the Plot Subgroup in SJVG organization 23), in order to have the sanction applied to the agent who performed the prohibited action. By checking the number of cumulative penalties recorded in the RP artifact, the government agent “admin” may convene a meeting (assembly) of the agents participating in SJVG project (figure 16, line 25), so they can vote with respect to the expulsion (or permanency) of the offending agent from the project. In the simulated example of Figure 16, the agent “CICERO” received 5 votes, which, in this case, is sufficient to have it expelled from SJVG project (line 31). Observe that if it was the case of tie, the decision is done by the governmental agent. 5.14 Communication Artifacts must fulfill a function of mediating communication, that is, they forward messages to their recipients, according to protocols, overseeing the execution order of sending these messages. In the following, we present an example of the use of communication artifacts in the SJVG project. JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Figure 14: “lookupartifact” and “adopterole” operations ((Santos et al. 2014a)) Figure 15: Creating norms: Normative Artifacts ((Santos et al. 2014a)) Example 5: Communication artifacts 5.15 Figure 17 shows an agent called “LUCAS”, playing the role of an auxiliary gardener, asking permission (through a request message to the government agent “admin”) for cultivating trees in the garden (line 6). The agent “admin”, in reply (using a message of type inform), informs that this action is not allowed (line 9). Another possible communication is the agent “CAIO” (line 1) that sends an inform message to agent “admin” about its JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Figure 16: a simulation: norms punishment and assembly ((Santos et al. 2014a)) inscription in the project, which does not require a response from the recipient. Figure 17: Communication Artifacts ((Santos et al. 2014a)) Conclusion 6.1 This paper presented some MAS-based tools developed in the SJVG-MAS context, discussing the adopted solutions and introducing some examples of simulations. 6.2 We found thatto beable toconsiderall thesuitable characteristicsof theSJVG socialorganization (e.g., theperiodicity of routines and norms, the interactional character of the social relationships and service exchanges), we had to conceive our mas as a multi-dimensional BDI-like agent social system, composed of five dimensions: (i) the agents’ population, (ii) the social organization, (iii) the environment, (iv) the interactional/communication structure, and (v) the regulatory structure. so, we adopted the JaCaMo framework, defining and developing JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
other artifact-based infrastructures to deal with the periodicity modeling, communication features and the regulatory policy. 6.3 The tools discussed in this paper are to be used, in an interdisciplinary approach for the simulation of the social production and management processesthat occur inurban ecosystems, inparticular, theSJVG, contributing for the analysis of the actual reality of the SJVG experiment. According to the discussions on the adopted methodology, the investigation of new possible ideas that may be applied in the context of the SJVG’s organization became possible. 6.4 Future work is concerned with the development of a simulation interface, so to facilitate the study/analysis of the possible changes in the social organization (e.g., roles assumed by the agents in the organization, actions, behaviors, (in)formal interaction/communication protocols, regulation norms) that may interferer the social production and management processes. Acknowledgments This work was partially supported by the Brazilian funding agency CNPQ (Conselho Nacional de Desenvolvimento Científico e Tecnológico), under the proc. no. 481283/2013-7, 306970/2013-9 and 232827/2014-1. Appendix Appendix A: Periodic Routines of the Roles in the SJVG Social Organization In order to organize and establish the behaviors of the different roles and roles’ routines of SJVG’s organization, as well as the frequency of these routines, we used the so-called ellipses, a kind of Venn diagram of set theory. The use of ellipses helps us to analyze the periodicity of the roles’ routines, helping the understanding of the agents’ behavior, as well as the identification of interactions between them and the environment. As an example, Figure 18 shows the ellipses of the routines of the EA’s secretary, described as: •daily routines: to receive candidates’ documentations desiring to participate in the project, called the aspiring vegetable gardener, registering them in the waiting list; to receive transfer request to plot possession. •monthly routines: to receive monthly fees paid by the vegetable gardener to cover costs with water (drip), pest control material, use of common tools, etc.; to inform the meetings; to register auxiliar vegetable gardener (informed by vegetable gardener). •biennial routine: to receive a request from a gardener to continue in the project. •seasonal routine: to sent the received documentation for the ea administration. Figures 19-22 shows the periodic routines of the several roles identified in the SJVG social organization. JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Figure 18: periodic routines of the secretary Figure 19: periodic routines of the administration Figure 20: periodic routines of an aspiring gardener JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Figure 21: periodic routines of an auxiliary gardener Figure 22: periodic routines of a technician Appendix B: Diagrams of some routines in SJVG To allow a clear visualization of the interactions between the class instances, we use UML activity diagrams. An Activity Diagram is a diagram defined by the Unified Modeling Language (UML), representing the flows driven by processes. It is essentially a flow chart that shows the flow of control from one activity to another. Usually this involves the modeling of sequential steps in a computational process. In our work, we use these diagrams to visualize the interactions between roles of the SJVG organization. Figure 23 is an activity diagram showing interactions between the roles of Auxiliary Vegetable Gardener, Vegetable Gardener and Technician. In the following we explain it briefly. JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Figure 23: Activity Diagram - Auxiliary Vegetable Gardener - First Day Initially, the agent that assumes the Auxiliary Vegetable Gardener role arrives at the EA’s building, and it listens to a lecture. This lecture is given by another agent, playing the technician role, and teaches some rules on how to harvest adequately. This activity is executed as soon as the technician agent perceives that everyone has arrived at the hall. The interaction between each role is accomplished through oral communication, in which the latter agent talks to everyone. Following this interaction, another one is performed between the Auxiliary Vegetable Gardener and the Vegetable Gardener agents. The former one requests authorization to use a cabinet, using oral communication. JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Finally, the latter answers the request giving the other agent permission to use the requested cabinet, giving it the key to access that object. Figures 24 and 25 show the diagrams of the inscription in the SJVG project (of an aspiring gardener) and some daily routines of a gardener, respectively. Figure 24: Integration of Physical, Normative and Communication Artifacts: the aspiring gardener inscription in the SJVG Project JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128
Figure 25: Integration of Physical, Normative and Communication Artifacts: the gardener daily routine Notes 1http://www.ecologistasenaccion.org/ 2“SJVG-MAS Project: a mas for the simulation of the social production and management processes in urban ecosystems, the case of the San Jerónimo Urban Vegetable Garden of Seville” (FURG, Brazil; Universidad of Sevilla, Spain) has been developed under the context of the social simulation net of Rio Grande do Sul state, Brazil (UFRGS, FURG, UFPEL, UFSM,UNISINOS). 3“SJVG-MAS Project: a mas for the simulation of the social production and management processes in urban ecosystems, the case of the San Jerónimo Urban Vegetable Garden of Seville” (FURG, Brazil; Universidad of Sevilla, Spain) has been developed under the context of the social simulation net of Rio Grande do Sul state, Brazil (UFRGS, FURG, UFPEL, UFSM,UNISINOS). 4The BDI (beliefs, desires, intentions) agent architecture is a particular cognitive agent model introduced in (Rao & Georgeff 1991). JASSS, 19(3) 12, 2016 http://jasss.soc.surrey.ac.uk/19/3/12.html Doi: 10.18564/jasss.3128