The Virtuous Cooperator: Modeling the Human in an Ecologically Endangered Age

A theological model of the human is needed to prompt responsible thinking about and acting within the physical world. Some basic components for modeling the human as a virtuous cooperator appear in the teachings of Thomas Aquinas. When appropriated cautiously and informed broadly by contemporary scientific findings, this model provides a promising way of thinking about humans in relation to other species and ecological systems, a framework for acting responsibly, and the motivation for making this behavior habitual

Business process verification: a Petri Net approach.

In this report, we discuss the use of Petri Net language theory for business process modeling. Essentially, the focus is on the opportunities of the modeling technique for analysis and verification. Semantic compatibility, as opposed to syntactic compatibility, is concerned with the meaningfulness of the distributedbusiness process. We start with a description and motivation of different notions of semantically compatible business processes. Further, these different types ofcompatibility are formalized by means of Petri Net language theory. Finally, we describe the foundations of an algorithm that enables us to verify the semantic compatibility in an automated way.Keywords: Petri Net theory; Business Process Modeling; Verification; Semantic Com-patibilityBusiness process modeling; Petri Net theory; Semantic compatibility; Verification; Theory; Business; Processes; Process modeling; Opportunities;

Robustness of Cooperation in the Evolutionary Prisoner's Dilemma on Complex Networks

Recent studies on the evolutionary dynamics of the Prisoner's Dilemma game in scale-free networks have demonstrated that the heterogeneity of the network interconnections enhances the evolutionary success of cooperation. In this paper we address the issue of how the characterization of the asymptotic states of the evolutionary dynamics depends on the initial concentration of cooperators. We find that the measure and the connectedness properties of the set of nodes where cooperation reaches fixation is largely independent of initial conditions, in contrast with the behavior of both the set of nodes where defection is fixed, and the fluctuating nodes. We also check for the robustness of these results when varying the degree heterogeneity along a one-parametric family of networks interpolating between the class of Erdos-Renyi graphs and the Barabasi-Albert networks.Comment: 18 pages, 6 figures, revised version accepted for publication in New Journal of Physics (2007

Game Theoretical Interactions of Moving Agents

Game theory has been one of the most successful quantitative concepts to describe social interactions, their strategical aspects, and outcomes. Among the payoff matrix quantifying the result of a social interaction, the interaction conditions have been varied, such as the number of repeated interactions, the number of interaction partners, the possibility to punish defective behavior etc. While an extension to spatial interactions has been considered early on such as in the "game of life", recent studies have focussed on effects of the structure of social interaction networks. However, the possibility of individuals to move and, thereby, evade areas with a high level of defection, and to seek areas with a high level of cooperation, has not been fully explored so far. This contribution presents a model combining game theoretical interactions with success-driven motion in space, and studies the consequences that this may have for the degree of cooperation and the spatio-temporal dynamics in the population. It is demonstrated that the combination of game theoretical interactions with motion gives rise to many self-organized behavioral patterns on an aggregate level, which can explain a variety of empirically observed social behaviors

Prisoner's dilemma in structured scale-free networks

The conventional wisdom is that scale-free networks are prone to cooperation spreading. In this paper we investigate the cooperative behaviors on the structured scale-free network. On the contrary of the conventional wisdom that scale-free networks are prone to cooperation spreading, the evolution of cooperation is inhibited on the structured scale-free network while performing the prisoner's dilemma (PD) game. Firstly, we demonstrate that neither the scale-free property nor the high clustering coefficient is responsible for the inhibition of cooperation spreading on the structured scale-free network. Then we provide one heuristic method to argue that the lack of age correlations and its associated `large-world' behavior in the structured scale-free network inhibit the spread of cooperation. The findings may help enlighten further studies on evolutionary dynamics of the PD game in scale-free networks.Comment: Definitive version accepted for publication in Journal of Physics