Evaluating the Cost of Enforcement by Agent-Based Simulation:A Wireless Mobile Grid Example

The subject of this paper is the cost of enforcement, to which we take a satisficing approach through the examination of marginal cost-benefit ratios. Social simulation is used to establish that less enforcement can be beneficial overall in economic terms, depending on the costs to system and/or stakeholders arising from enforcement. The results are demonstrated by means of a case study of wireless mobile grids (WMGs). In such systems the dominant strategy for economically rational users is to free-ride, i.e. to benefit from the system without contributing to it. We examine the use of enforcement agents that police the system and punish users that take but do not give. The agent-based simulation shows that a certain proportion of enforcement agents increases cooperation in WMG architectures. The novelty of the results lies in our empirical evidence for the diminishing marginal utility of enforcement agents: that is how much defection they can foreclose at what cost. We show that an increase in the number of enforcement agents does not always increase the overall benefits-cost ratio, but that with respect to satisficing, a minimum proportion of enforcement agents can be identified that yields the best results. © 2013 Springer-Verlag

Правда коммунизма. 1982. № 121

This paper concerns the semantic difference between strong and weak neces-sity modals. First we identify a number of explananda: their well-known in-tuitive difference in strength between ‘must’ and ‘ought’ as well as differ-ences in connections to probabilistic considerations and acts of requiring and recommending. Here we argue that important extant analyses of the se-mantic differences, though tailored to account for some of these aspects, fail to account for all. We proceed to suggest that the difference between ’ought’ and ’must’ lies in how they relate to scalar and binary standards. Briefly put, must(φ) says that among the relevant alternatives, φ is selected by the relevant binary standard, whereas ought(φ) says that among the relevant al-ternatives, φ is selected by the relevant scale. Given independently plausi-ble assumptions about how standards are provided by context, this ex-plains the relevant differences discussed

Determining the Trustworthiness of New Electronic Contracts

Expressing contractual agreements electronically potentially allows agents to automatically perform functions surrounding contract use: establish- ment, fulfilment, renegotiation etc. For such automation to be used for real busi- ness concerns, there needs to be a high level of trust in the agent-based system. While there has been much research on simulating trust between agents, there are areas where such trust is harder to establish. In particular, contract proposals may come from parties that an agent has had no prior interaction with and, in competitive business-to-business environments, little reputation information may be available. In human practice, trust in a proposed contract is determined in part from the content of the proposal itself, and the similarity of the content to that of prior contracts, executed to varying degrees of success. In this paper, we argue that such analysis is also appropriate in automated systems, and to provide it we need systems to record salient details of prior contract use and algorithms for as- sessing proposals on their content.We use provenance technology to provide the former and detail algorithms for measuring contract success and similarity for the latter, applying them to an aerospace case study

InstAL: An Institutional Action Language

nstAL denotes both a declarative domain-specific language for the specification of collections of interacting normative systems and a framework for a set of associated tools. The computational model is realized by translating the specification language to AnsProlog (Baral 2003), a logic programming language under the answer set semantics (ASP) (Gelfond and Lifschitz 1991), and is underpinned by a set-theoretic formal model and a formalized translation process