Applying tropos to socio-technical system design and runtime configuration

Recent trends in Software Engineering have introduced the importance of reconsidering the traditional idea of software design as a socio-tecnical problem, where human agents are integral part of the system along with hardware and software components. Design and runtime support for Socio-Technical Systems (STSs) requires appropriate modeling techniques and non-traditional infrastructures. Agent-oriented software methodologies are natural solutions to the development of STSs, both humans and technical components are conceptualized and analyzed as part of the same system. In this paper, we illustrate a number of Tropos features that we believe fundamental to support the development and runtime reconfiguration of STSs. Particularly, we focus on two critical design issues: risk analysis and location variability. We show how they are integrated and used into a planning-based approach to support the designer in evaluating and choosing the best design alternative. Finally, we present a generic framework to develop self-reconfigurable STSs

KEMNAD: A Knowledge Engineering Methodology for Negotiating Agent Development

Automated negotiation is widely applied in various domains. However, the development of such systems is a complex knowledge and software engineering task. So, a methodology there will be helpful. Unfortunately, none of existing methodologies can offer sufficient, detailed support for such system development. To remove this limitation, this paper develops a new methodology made up of: (1) a generic framework (architectural pattern) for the main task, and (2) a library of modular and reusable design pattern (templates) of subtasks. Thus, it is much easier to build a negotiating agent by assembling these standardised components rather than reinventing the wheel each time. Moreover, since these patterns are identified from a wide variety of existing negotiating agents(especially high impact ones), they can also improve the quality of the final systems developed. In addition, our methodology reveals what types of domain knowledge need to be input into the negotiating agents. This in turn provides a basis for developing techniques to acquire the domain knowledge from human users. This is important because negotiation agents act faithfully on the behalf of their human users and thus the relevant domain knowledge must be acquired from the human users. Finally, our methodology is validated with one high impact system

Agents for educational games and simulations

This book consists mainly of revised papers that were presented at the Agents for Educational Games and Simulation (AEGS) workshop held on May 2, 2011, as part of the Autonomous Agents and MultiAgent Systems (AAMAS) conference in Taipei, Taiwan. The 12 full papers presented were carefully reviewed and selected from various submissions. The papers are organized topical sections on middleware applications, dialogues and learning, adaption and convergence, and agent applications

Integration of social aspects in a multi-agent platform running in a supercomputer

El modelado basado en agentes es una de las formas más apropiadas para simular y analizar problemas y simulaciones complejas, como la simulación de entornos y escenarios sociales. El tipo de plataforma que más se utiliza en estas tareas es la de un sistema multiagente. Los sistemas multiagente se componen de varios actores (agentes) en un entorno de simulación concreto, y cada uno de ellos posee un conocimiento y un comportamiento individual. Estos sistemas pueden utilizarse para analizar el comportamiento emergente colectivo en contextos como la sociología, la economía, la elaboración de políticas sociales y económicas, etc. Las plataformas multiagente actuales o bien escalan bastante bien en computación pero implementan mecanismos de razonamiento muy simples, o bien emplean sistemas de razonamiento complejos a costa de escalabilidad. En un trabajo reciente realizado en la UPC, se ha propuesto, teorizado e implementado una plataforma que permite escalar y ejecutar paralelamente agentes complejos con planificación HTN. Este proyecto amplía dicha plataforma para permitir un mejor análisis de las relaciones sociales entre los agentes mediante las preferencias sobre sus objetivos, las preferencias sobre sus planes, sus acciones y valores morales, a la vez que nos aseguramos de que nuestras adiciones sean escalables, para mantener el espíritu y el propósito de la plataforma. En este trabajo, partimos del trabajo previo realizado por Dmitry Gnatyshak sobre la implementación de dicha plataforma, y lo ampliamos, tanto formalmente como a nivel de implementación. Formalizamos las ampliaciones del modelo del sistema, así como sus modificaciones, y hacemos lo mismo con la implementación. Al final, proporcionamos un complejo escenario de ejemplo para mostrar todas las ampliaciones que hemos creado y/o añadido.Agent-based modeling is one of the most suitable ways to simulate and analyze complex problems and simulations, such as the simulation of societal environments and scenarios. The kind of platform most commonly used in these endeavors is that of a multi-agent system. Multi-agent systems are comprised of various actors (agents) in a concrete simulation environment, each of them possessing an individual knowledge and an individual behavior. These systems can be used to analyze collective emergent behavior in contexts such as sociology, economics, policy making, etc. Current Multi-agent platforms either scale in computation quite well but implement very simple reasoning mechanisms, or employ complex reasoning systems at the expense of scalability. In recent work done at UPC, a platform enabling complex agents with HTN planning to scale and run parallelly was proposed, theorized, and implemented. This project extends said platform to enable a better analysis of the social relationships between agents by means of preferences over their objectives, preferences over their plans, actions, and moral values, while making sure our additions are scalable, to maintain the spirit and purpose of the platform. In this work, we start from the previous work done by Dmitry Gnatyshak on implementing said platform, and we expand it, both formally and imple- mentation-wise. We formalize the additions to the model of the system, as well as its modifications, and we do the same for the implementation. In the end, we provide a complex example scenario to showcase all the additions we have created

Using the Myers-Briggs Type Indicator (MBTI) for Modeling Multiagent Systems

The formation of high-performance teams has been a constant challenge for organizations, which despite considering human capital as one of the most important resources, it still lacks the means to allow them to have a better understanding of several factors that influence the formation of these teams. In this sense, studies also demonstrate that teamwork has a significant impact on the results presented by organizations, in which human behavior is highlighted as one of the main aspects to be considered in the building of work teams. The Myers-Briggs Type Indicator seeks to classify the behavioral preferences of individuals around eight characteristics, which grouped as dichotomies, describe different psychological types. With it, researchers have sought to expand the ability to understand the human factor, using strategies with multiagent systems that, through experiments and simulations, using computer resources, enable the development of artificial agents that simulate human actions. In this work, we present an overview of the research approaches that use MBTI to model agents, aiming at providing a better knowledge of human behavior. Additionally, we make a preliminary discussion of how these results could be explored in order to advance the studies of psychological factors' influence in organizations' work teams formation

Mobile Agents for Mobile Tourists: A User Evaluation of Gulliver's Genie

How mobile computing applications and services may be best designed, implemented and deployed remains the subject of much research. One alternative approach to developing software for mobile users that is receiving increasing attention from the research community is that of one based on intelligent agents. Recent advances in mobile computing technology have made such an approach feasible. We present an overview of the design and implementation of an archetypical mobile computing application, namely that of an electronic tourist guide. This guide is unique in that it comprises a suite of intelligent agents that conform to the strong intentional stance. However, the focus of this paper is primarily concerned with the results of detailed user evaluations conducted on this system. Within the literature, comprehensive evaluations of mobile context-sensitive systems are sparse and therefore, this paper seeks, in part, to address this deficiency

Adding preferences and moral values in an agent-based simulation framework for high-performance computing

Agent-Based Simulation is a suitable approach used now-a-days to simulate and analyze complex societal environments and scenarios. Current Agent-Based Simulation frameworks either scale quite well in computation but implement very simple reasoning mechanisms, or employ complex reasoning systems at the expense of scalability. In this paper we present our work to extend an agent-based HPC platform, enabling goal-driven agents with HTN planning capabilities to scale and run parallelly. Our extension includes preferences over their objectives, preferences over their plans, actions, and moral values. We show the expresiveness of the extended platform with a sample scenario.This work has been partially supported by EU Horizon 2020 Project StairwAI (grant agreement No.101017142).Peer ReviewedPostprint (published version

Integration of social values in a multi-agent platform running in a supercomputer

Agent-based modelling is one of the most suitable ways to simulate and analyse complex problems and scenarios, especially those involving social interactions. Multi-agent systems, consisting of multiple agents in a simulation environment, are widely used to understand emergent behaviour in various fields such as sociology, economics and policy. However, existing multi-agent platforms often face challenges in terms of scalability and reasoning capacity. Some platforms can scale well in terms of computation, but lack sophisticated reasoning mechanisms. On the other hand, some platforms employ complex reasoning systems, but this can compromise their scalability. In this work, we have extended an existing platform developed at UPC that enables scalable, parallel HTN planning for complex agents. Our main goal has been to improve the analysis of social relationships between agents by incorporating moral values. Building on previous work done by David Marín on the implementation of the platform, we have made extensions and modifications both formally and in the implementation. We have formalised the additions to the system model and provided an updated implementation. Finally, we have presented a complex example scenario that demonstrates all the additions we have made. This scenario allows us to show how agents' preferences and moral values influence their decisions and actions in a simulated environment. Through this work, we have sought to improve the existing platform and fulfil the spirit and purpose of the platform