Antônio Carlos da Rocha Costa

Modeling Role Interactions in a Social Organization for the Simulation of the Social Production and Management of Urban Ecosystems: The Case of San Jerónimo Vegetable Garden of Seville, Spain

This paper presents some preliminary results obtained in the modeling of a multiagent system for the simulation of the social production and management of a urban ecosystem, in particular, the project of the San Jerónimo Vegetable Garden of city of Seville, Spain. We introduce a study regarding the interactions between agent roles in this particular social organization. For that, we use Activity Diagrams of UML, which provide a clear visualization of the communication between agent roles and allow the identification of communication protocols used by the agents. Furthermore, we show an initial proposal for the encapsulation of those protocols in Cart Ago artifacts, presenting a more modular approach for agent communication in multiagent systems.

A Fuzzy-BDI Agent Model for Exchanges of Non-economic Services, Based on the Social Exchange Theory

The proposal of this work is to develop a hybrid model of a Fuzzy-BDI agent for the Jason agent platform, with the abilities for assessing qualitatively, subjectively the social exchange values originated in the exchange of non-economic services between agents, representing imperfect information in its beliefs and dealing with intentions and plans about current and future interactions based on fuzzy reasoning.

Towards the Modeling of the Social Organization of an Experiment of Social Management of Urban Vegetable Gardens

This paper presents the initial version of an agent-based model of the social organization of a particular experiment of social management of urban vegetable gardens in Seville, Spain. More specifically, the paper presents details of the initial version of the system organization, and prospects tools for its proper implementation.

Simulating Argumentation about Exchange Values in Multi-agent Interactions

This article presents two dialogue protocols to support argumentation about the exchange values involved in multi-agent interactions. In this work, we adopt Piagets theory of social exchanges, where interaction is seen as an exchange of services between agents, such that the agents assign subjective, qualitative values - called exchange values - to the actions and objects that they exchange during the interaction. The protocols enable the agents to argue with each other about the exchange values. The agents present characteristics related to the social power and personality traits. We show how these characteristics are considered in the reasoning of the agents, and how it can influence the actions of the agents during the interactions.

A Programming Language for the Interval Geometric Machine

Abstract This paper presents an interval version of the Geometric Machine Model (GMM) and the programming language induced by its structure. The GMM is an abstract machine model, based on Girards coherence space, capable of modelling sequential, alternative, parallel (synchronous) and non-deterministic computations on a (possibly infinite) shared memory. The processes of the GMM are inductively constructed in a Coherence Space of Processes. The memory of the GMM, supporting a coherence space of states, is conceived as the set of points of a three dimensional euclidian space. The version of the GMM presented here operates with real intervals, and is defined to model the semantics of algorithms of Interval Mathematics. Using the programming language induced by such structure, simple interval algorithms are presented, and their domain-theoretic semantics in the machine model is given.

An Overview of Social Simulation Research in Brazil

Presented as a panel at the Third Brazilian Workshop on Social Simulation (BWSS 2012), held in Curitiba, Brazil, on October 20th. 2012, this paper presents an overview of the current research on social simulation in Brazilian research groups.

Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems

This paper sketches a set-theoretic reconstruction of the theory of legal systems originally developed by Hans Kelsen in an informal way. The reconstruction is cast in a temporal operational framework. The way the reconstructed theory may motivate an operational semantical model for Kelsens theory of legal systems is briefly discussed.

Elementary Social Functions: Concept and Interrelation to Social Dependence Relations

This paper introduces a general notion of elementary systemic functions and shows how elementary systemic functions can be instantiated as elementary social functions in agent societies, thus allowing for a functional view of agent interactions. The paper shows a way to interrelate elementary social functions and social dependence relations, for social dependence relations determined by maintenance goals. Also, the paper introduces the notions of elementary functional cycles and elementary functional networks, with functional cycles constituting the operational bases of functional networks, and shows how such structures interrelate to social dependence networks. An example social system is analysed from this elementary functional point of view. Starting from its social dependence network, an elementary functional network is determined for such system. The distinction between elementary social functions and maintenance goals is emphasized in the analysis of the example.

Specifying the geometric machine visual language

This paper summarizes an experiment in the formal specification of the visual language for the geometric machine model, denoted by GMVL. The specification follows the approach proposed in the GENGED project, of the T. U. Berlin by R. Bardohl and C. Ermel (2001). In the GMLV, supported by a visual alphabet and a visual grammar, a process constructor is represented by a graph transformation related to a rule application in the visual grammar. The syntactical level includes an abstract syntax, related to the logical level of the graphic structures, and a concrete syntax, concerned with the graphical layout. Some of the important benefits from a visual approach, that overhaul and stimulate the programming the GM model, are emphasized in the spacial representation of functional composition and recursive definitions of parallel and non-deterministic processes.

Towards Developmental Turing Machines

This paper introduces Developmental Turing Machines (DTMs) as a developmental model for computing machines. A developmental machine is a device that is able to increase its structure and functionality as it operates in interaction with its environment. The model is proposed to overcome some shortcomings of Classical Computation and to frame the future development of the full theory of Developmental Computation.