I-ABM:combining institutional frameworks and agent-based modelling for the design of enforcement policies

Computer science advocates institutional frameworks as an effective tool for modelling policies and reasoning about their interplay. In practice, the rules or policies, of which the institutional framework consists, are often specified using a formal language, which allows for the full verification and validation of the framework (e.g. the consistency of policies) and the interplay between the policies and actors (e.g. violations). However, when modelling large-scale realistic systems, with numerous decision-making entities, scalability and complexity issues arise making it possible only to verify certain portions of the problem without reducing the scale. In the social sciences, agent-based modelling is a popular tool for analysing how entities interact within a system and react to the system properties. Agent-based modelling allows the specification of complex decision-making entities and experimentation with large numbers of different parameter sets for these entities in order to explore their effects on overall system performance. In this paper we describe how to achieve the best of both worlds, namely verification of a formal specification combined with the testing of large-scale systems with numerous different actor configurations. Hence, we offer an approach that allows for reasoning about policies, policy making and their consequences on a more comprehensive level than has been possible to date. We present the institutional agent-based model methodology to combine institutional frameworks with agent-based simulations). We furthermore present J-InstAL, a prototypical implementation of this methodology using the InstAL institutional framework whose specifications can be translated into a computational model under the answer set semantics, and an agent-based simulation based on the jason tool. Using a simplified contract enforcement example, we demonstrate the functionalities of this prototype and show how it can help to assess an appropriate fine level in case of contract violations. © 2013 Springer Science+Business Media Dordrecht

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

Prosumer behaviour in emerging electricity systems

This dissertation investigates the interface between technology and society in the emerging electricity systems and in particular the role of the energy prosumer in the energy transition. It contributes to the understanding of the role of consumers in emerging electricity systems within the current EU energy policy context where consumer active participation is regarded as "a prerequisite for managing the energy transition successfully and in a cost-effective way". Emerging energy systems are characterized by a high level of complexity, especially for what concerns the behaviour of social actors. Social actors interact through physical and social networks by sharing information and learning from one another through social interactions. These interactions determine self-organization and emergent behaviours in energy consumption patterns and practices. I argue that the best suited tool to study emergent behaviours in energy consumption patterns and practices, and to investigate how consumers' preferences and choices lead to macro behaviours is agent based modelling. To build a sound characterization of the energy prosumer, I review the current social psychology and behavioural theories on sustainable consumption and collect evidence from EU energy prosumers surveys, studies and demand side management pilot projects. I employ these findings to inform the development of an agent based model of the electricity prosumer, Subjective Individual Model of Prosumer – SIMP, and its extended version, SIMP-N, that includes the modelling of the social network. I apply SIMP and SIMP-N models to study the emergence in consumer systems and how values and beliefs at consumer level (as defined by social psychology and behavioural theories and informed by empirical evidence) and social dynamics lead to macro behaviours. More specifically, I explore the diffusion of smart grid technologies enabled services among a population of interacting prosumers and evaluate the impact of such diffusion on individual and societal performance indicators under different policy scenarios and contextual factors. The analysis of the simulation results provides interesting insights on how different psychological characteristics, social dynamics and technological elements can strongly influence consumers' choices and overall system performance. I conclude proposing a framework for an integrated approach to modelling emerging energy systems and markets that extend the SIMP model to also include markets, distribution system operator and the electricity network

Multi-Agent Systems

This Special Issue ""Multi-Agent Systems"" gathers original research articles reporting results on the steadily growing area of agent-oriented computing and multi-agent systems technologies. After more than 20 years of academic research on multi-agent systems (MASs), in fact, agent-oriented models and technologies have been promoted as the most suitable candidates for the design and development of distributed and intelligent applications in complex and dynamic environments. With respect to both their quality and range, the papers in this Special Issue already represent a meaningful sample of the most recent advancements in the field of agent-oriented models and technologies. In particular, the 17 contributions cover agent-based modeling and simulation, situated multi-agent systems, socio-technical multi-agent systems, and semantic technologies applied to multi-agent systems. In fact, it is surprising to witness how such a limited portion of MAS research already highlights the most relevant usage of agent-based models and technologies, as well as their most appreciated characteristics. We are thus confident that the readers of Applied Sciences will be able to appreciate the growing role that MASs will play in the design and development of the next generation of complex intelligent systems. This Special Issue has been converted into a yearly series, for which a new call for papers is already available at the Applied Sciences journal’s website: https://www.mdpi.com/journal/applsci/special_issues/Multi-Agent_Systems_2019

Semantic discovery and reuse of business process patterns

Patterns currently play an important role in modern information systems (IS) development and their use has mainly been restricted to the design and implementation phases of the development lifecycle. Given the increasing significance of business modelling in IS development, patterns have the potential of providing a viable solution for promoting reusability of recurrent generalized models in the very early stages of development. As a statement of research-in-progress this paper focuses on business process patterns and proposes an initial methodological framework for the discovery and reuse of business process patterns within the IS development lifecycle. The framework borrows ideas from the domain engineering literature and proposes the use of semantics to drive both the discovery of patterns as well as their reuse

Telecommunication Economics

This book constitutes a collaborative and selected documentation of the scientific outcome of the European COST Action IS0605 Econ@Tel "A Telecommunications Economics COST Network" which run from October 2007 to October 2011. Involving experts from around 20 European countries, the goal of Econ@Tel was to develop a strategic research and training network among key people and organizations in order to enhance Europe's competence in the field of telecommunications economics. Reflecting the organization of the COST Action IS0605 Econ@Tel in working groups the following four major research areas are addressed: - evolution and regulation of communication ecosystems; - social and policy implications of communication technologies; - economics and governance of future networks; - future networks management architectures and mechanisms