Arrow Research search

Author name cluster

Simon Miles

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

29 papers
2 author rows

Possible papers

29

TIST Journal 2019 Journal Article

Detecting Causal Relationships in Simulation Models Using Intervention-based Counterfactual Analysis

  • Benjamin C. Herd
  • Simon Miles

Central to explanatory simulation models is their capability to not just show that but also why particular things happen. Explanation is closely related with the detection of causal relationships and is, in a simulation context, typically done by means of controlled experiments. However, for complex simulation models, conventional “blackbox” experiments may be too coarse-grained to cope with spurious relationships. We present an intervention-based causal analysis methodology that exploits the manipulability of computational models, and detects and circumvents spurious effects. The core of the methodology is a formal model that maps basic causal assumptions to causal observations and allows for the identification of combinations of assumptions that have a negative impact on observability. First, experiments indicate that the methodology can successfully deal with notoriously tricky situations involving asymmetric and symmetric overdetermination and detect fine-grained causal relationships between events in the simulation. As illustrated in the article, the methodology can be easily integrated into an existing simulation environment.

KER Journal 2019 Journal Article

Time-sensitive resource re-allocation strategy for interdependent continuous tasks

  • Valeriia Haberland
  • Simon Miles
  • Michael Luck

Abstract An increase in volumes of data and a shift towards live data enabled a stronger focus on resource-intensive tasks which run continuously over long periods. A Grid has potential to offer the required resources for these tasks, while considering a fair and balanced allocation of resources among multiple client agents. Taking this into account, a Grid might be unwilling to allocate its resources for long time, leading to task interruptions. This problem becomes even more serious if an interruption of one task may lead to the interruption of dependent tasks. Here, we discuss a new strategy for resource re-allocation which is utilized by a client with the aim to prevent too long interruptions by re-allocating resources between its own tasks. Those re-allocations are suggested by a client agent, but only a Grid can re-allocate resources if agreed. Our strategy was tested under the different Grid settings, accounting for the adjusted coefficients, and demonstrated noticeable improvements in client utilities as compared to when it is not considered. Our experiment was also extended to tests with environmental modelling and realistic Grid resource simulation, grounded in real-life Grid studies. These tests have also shown a useful application of our strategy.

KER Journal 2018 Journal Article

Reputation assessment: a review and unifying abstraction

  • Phillip Taylor
  • Lina Barakat
  • Simon Miles
  • Nathan Griffiths

Abstract Trust and reputation allow agents to make informed decisions about potential interactions. Trust in an agent is derived from direct experience with that agent, while reputation is determined by the experiences reported by other witness agents with potentially differing viewpoints. These experiences are typically aggregated in a trust and reputation model, of which there are several types that focus on different aspects. Such aspects include handling subjective perspectives of witnesses, dishonesty, or assessing the reputation of new agents. In this paper, we distil reputation systems into their fundamental aspects, discussing first how trust and reputation information is represented and second how it is disseminated among agents. Based on these discussions, a unifying abstraction is presented for trust and reputation systems, which is demonstrated by instantiating it with a broad range of reputation systems found in the literature. The abstraction is then instantiated to combine the range of capabilities of existing reputation systems in the Machine Learning Reputation System, which is evaluated using a marketplace simulation.

AAMAS Conference 2017 Conference Paper

Bootstrapping Trust with Partial and Subjective Observability

  • Phillip Taylor
  • Nathan Griffiths
  • Lina Barakat
  • Simon Miles

Assessment of trust and reputation typically relies on prior experiences of a trustee agent, which may not exist, e. g. especially in highly dynamic environments. In these cases stereotypes can be used, where traits of trustees can be used as an indicator of their behaviour during interactions. Communicating observations of traits to witnesses who are unable to observe them is difficult, however, when the traits are interpreted subjectively. In this paper we propose a mechanism for learning translations between such subjective observations, evaluating it in a simulated marketplace. CCS Concepts •Computing methodologies → Multi-agent systems;

KER Journal 2017 Journal Article

Engineering the emergence of norms: a review

  • Chris Haynes
  • Michael Luck
  • Peter McBurney
  • Samhar Mahmoud
  • Tomáš Vítek
  • Simon Miles

Abstract Complex systems often exhibit emergent behaviour, unexpected macro-level behaviour caused by the interaction of micro-level components. In multiagent systems, these micro-level components may be autonomous agents and the emergent behaviour may be expressed as norms—patterns of behaviour that arise among the agents in response to their environment and each other. These emergent norms may be beneficial (e.g. by encouraging cooperative behaviour), or detrimental, but in either case it is useful to recognize these norms as they emerge and either encourage or discourage their establishment. We term this process engineering the emergence of norms and have identified three steps: the identification of a possible norm, evaluation of its benefit and its encouragement (or discouragement). This paper is an attempt to provide a survey of existing research related to these steps. We also provide an analysis of the approaches based upon their suitability for a variety of normative systems: we examine the requirements for agents to have autonomy over their choice of norms, the degree of observability required in the system, and the norm enforcement methods. The paper concludes with an discussion of open issues.

AAMAS Conference 2016 Conference Paper

Cooperation Emergence under Resource-Constrained Peer Punishment

  • Samhar Mahmoud
  • Simon Miles
  • Michael Luck

In distributed computational systems with no central authority, social norms have shown great potential in regulating the behaviour of self-interested agents, due to their distributed cost. In this context, peer punishment has been an important instrument in enabling social norms to emerge, and such punishment is usually assigned a certain enforcement cost that is paid by agents applying it. However, models that investigate the use of punishment as a mechanism to allow social norms to emerge usually assume that unlimited resources are available to agents to cope with the resulting enforcement costs, yet this assumption may not hold in real world computational systems, since resources are typically limited and thus need to be used optimally. In this paper, we use a modified version of the metanorm model originally proposed by Axelrod [1] to investigate this, and show that it allows norm emergence only in limited cases under bounded resources. In response, we propose a resource-aware adaptive punishment technique to address this limitation, and give an experimental evaluation of the new technique that shows it enables norm establishment under limited resources.

AAMAS Conference 2016 Conference Paper

Reputation-based Provider Incentivisation for Provenance Provision (Extended Abstract)

  • Lina Barakat
  • Samhar Mahmoud
  • Phillip Taylor
  • Nathan Griffiths
  • Simon Miles

Knowledge of circumstances under which past service provisions have occurred enables clients to make more informed selection decisions regarding their future interaction partners. Service providers, however, may often be reluctant to release such circumstances due to the cost and effort required, or to protect their interests. In response, we introduce a reputation-based incentivisation framework, which motivates providers towards the desired behaviour of reporting circumstances via influencing two reputation-related factors: the weights of past provider interactions, which directly impact the provider’s reputation estimate, and the overall confidence in such estimates.

EUMAS Conference 2016 Conference Paper

Resource Re-allocation for Data Inter-dependent Continuous Tasks in Grids

  • Valeriia Haberland
  • Simon Miles
  • Michael Luck

Abstract Many researchers focus on resource intensive tasks which have to be run continuously over long periods. A Grid may offer resources for these tasks, but they are contested by multiple client agents. Hence, a Grid might be unwilling to allocate its resources for long terms, leading to tasks’ interruptions. This issue becomes more substantial when tasks are data inter-dependent, where one interrupted task may cause an interruption of a bundle of other tasks. In this paper, we discuss a new resource re-allocation strategy for a client, in which resources are re-allocated between the client tasks in order to avoid prolonged interruptions. Those re-allocations are decided by a client agent, but they should be agreed with a Grid and can be performed only by a Grid. Our strategy has been tested within different Grid environments and noticeably improves client utilities in almost all cases.

KER Journal 2015 Journal Article

An introduction to reasoning over qualitative multi-attribute preferences

  • Ingrid Nunes
  • Simon Miles
  • Michael Luck
  • Carlos J. P. Lucena

Abstract Research on preferences has significantly increased in recent years, as it involves not only many subproblems to be investigated, such as elicitation, representation, and reasoning, but has also been the target of different research areas, for example, artificial intelligence and databases. In particular, much work has focused on qualitative preferences, because these are closer to the way people express their preferences in comparison with quantitative preferences. Against this background, a large number of approaches have been proposed, associated with heterogeneous areas, so that these approaches are usually just compared with those of the same area. In response, we present in this paper a survey of approaches to qualitative multi-attribute preference reasoning, covering different research areas. We introduce selected approaches that propose different techniques and algorithms, which take as input qualitative multi-attribute preference statements following a particular structure specified by the approach. We analyse each approach in a systematic way and discuss their commonalities and limitations.

AILAW Journal 2015 Journal Article

Monitoring compliance with E-contracts and norms

  • Sanjay Modgil
  • Nir Oren
  • Noura Faci
  • Felipe Meneguzzi
  • Simon Miles
  • Michael Luck

Abstract The behaviour of autonomous agents may deviate from that deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a means to regulate agent behaviours in open and dynamic systems, where these norms specify the obliged, permitted and prohibited behaviours of agents. Regulation can effectively be achieved through use of enforcement mechanisms that result in a net loss of utility for an agent in cases where the agent’s behaviour fails to comply with the norms. Recognition of compliance is thus crucial for achieving regulation. In this paper, we propose a general framework for observation of agents’ behaviour, and recognition of this behaviour as constituting, or counting as, compliance or violation. The framework deploys monitors that receive inputs from trusted observers, and processes these inputs together with transition network representations of individual norms. In this way, monitors determine the fulfillment or violation status of norms. The paper also describes a proof of concept implementation of the framework, and its deployment in electronic contracting environments.

JAAMAS Journal 2015 Journal Article

Negotiation strategy for continuous long-term tasks in a grid environment

  • Valeriia Haberland
  • Simon Miles
  • Michael Luck

Abstract Nowadays, much research is concerned with execution of long-term continuous tasks, which produce data in real time, e. g. monitoring applications. These tasks can be run for months or years and they are usually resource intensive in terms of the large amounts of data which is processed per time unit. A Grid can potentially provide the amount of resources necessary to execute these tasks, but it might prove to be impossible or non-beneficial for a Grid to allocate resources for such long durations as these resources can be also requested by other clients or might join a Grid only for some periods of time. To resolve these differences, a client and a Grid Resource Allocator negotiate, and a client has to agree for a shorter execution period at the end of which it needs to negotiate again. In this paper, we discuss in detail a decision-making mechanism for a client as part of its negotiation strategy, which aims to increase the duration of execution periods and to decrease the duration of interruptions. This new strategy, ConTask, has been tested on a realistic Grid resource simulator, and it demonstrates better utilities than our strategy which has not been specifically designed for continuous tasks under various conditions.

EUMAS Conference 2015 Invited Paper

Probationary Contracts: Reducing Risk in Norm-Based Systems

  • Chris Haynes
  • Simon Miles
  • Michael Luck

Abstract In human organisations, it is common to subject a new employees to periods of probation for which additional restrictions or oversight apply in order to reduce the consequences of poor recruitment choice. In a similar way, multi-agent organisations may need to employ agents of unknown trustworthiness to perform services defined by contracts (or sets of norms), yet these agents may violate the norms for their own advantage. Here, the risk of employing such agents depends on the agents trustworthiness and the consequences of norm violation. In response, in this paper we propose the use of probationary contracts, generated by adding obligations to standard contracts in order to further constrain agent behaviour. We evaluate our work using agent-based simulations of abstract tasks, and present results showing that using probationary roles reduces the risk of using unknown agents, especially where violating a norm has serious consequences.

JAAMAS Journal 2014 Journal Article

Evaluating how agent methodologies support the specification of the normative environment through the development process

  • Emilia Garcia
  • Simon Miles
  • Adriana Giret

Abstract Due to the increase in collaborative work and the decentralization of processes in many domains, there is an expanding demand for large-scale, flexible and adaptive software systems to support the interactions of people and institutions distributed in heterogeneous environments. Commonly, these software applications should follow specific regulations meaning the actors using them are bound by rights, duties and restrictions. Since this normative environment determines the final design of the software system, it should be considered as an important issue during the design of the system. Some agent-oriented software engineering methodologies deal with the development of normative systems (systems that have a normative environment) by integrating the analysis of the normative environment of a system in the development process. This paper analyses to what extent these methodologies support the analysis and formalisation of the normative environment and highlights some open issues of the topic.

ECAI Conference 2014 Conference Paper

Information-based Incentivisation when Rewards are Inadequate

  • Samhar Mahmoud
  • Lina Barakat
  • Simon Miles
  • Adel Taweel
  • Brendan Delaney
  • Michael Luck

In many cases, intermediaries play a major role in linking between service providers and their target users. Yet, attracting intermediaries at a marketplace to promote a service to their existing customers can be very challenging, since they are usually very busy and would incur additional cost as a result of such promotion. In response, this paper presents an information-based incentivisation framework, which combines financial rewards with other motivating information, in order to incentivise intermediaries at a marketplace to undertake service promotion. Specifically, the intermediaries are associated with a group of incentivising agents, capable of learning the individual motivational needs of these intermediaries, and accordingly target them with the most effective incentives. The incentivising agents collaborate with each other to gather motivational information, by sharing their observations on intermediaries. The proposed incentivisation approach is evaluated through a corresponding agent-based simulation, and the experimental results obtained demonstrate its effectiveness.

ECAI Conference 2014 Conference Paper

Negotiation to Execute Continuous Long-Term Tasks

  • Valeriia Haberland
  • Simon Miles
  • Michael Luck

Recently, research has focused on processing tasks that require continuous execution to produce data in a real-time manner. Such tasks often also need to be executed for long periods of time such as years, requiring large amounts of resources (e. g. CPUs) that can be found in a Grid. However, a Grid may be unwilling or unable to allocate resources for continuous usage far in advance, because of high fluctuations in resource availability and/or resource demand. Therefore, a client must relax its requirements in terms of long-term execution, and negotiate a shorter period of execution time; when this period ends, the client must negotiate again to continue task's execution. We propose a negotiation strategy, ConTask, which helps to increase the periods of execution time, and reduce the length of interruptions between them.

ECAI Conference 2014 Conference Paper

Pattern-based Explanation for Automated Decisions

  • Ingrid Nunes
  • Simon Miles
  • Michael Luck
  • Simone Diniz Junqueira Barbosa
  • Carlos Lucena

Explanations play an essential role in decision support and recommender systems as they are directly associated with the acceptance of those systems and the choices they make. Although approaches have been proposed to explain automated decisions based on multi-attribute decision models, there is a lack of evidence that they produce the explanations users need. In response, in this paper we propose an explanation generation technique, which follows user-derived explanation patterns. It receives as input a multi-attribute decision model, which is used together with user-centric principles to make a decision to which an explanation is generated. The technique includes algorithms that select relevant attributes and produce an explanation that justifies an automated choice. An evaluation with a user study demonstrates the effectiveness of our approach.

AAMAS Conference 2012 Conference Paper

User-Centric Preference-Based Decision Making

  • Ingrid Nunes
  • Simon Miles
  • Michael Luck
  • Carlos de Lucena

The automation of user tasks by agents may involve decision making that must take into account user preferences. This paper introduces a decision making technique that reasons about preferences and priorities expressed in a high-level language in order to choose an option from the set of those available. Our technique includes principles from psychology, concerning the way in which humans make decisions. Our preference language is informed by a user study on preference expression, which is also used to evaluate our approach by comparing our results with those provided by a human expert. The evaluation indicates that our technique makes choices on behalf of the user with as good quality as made by the expert.

JAAMAS Journal 2011 Journal Article

Evolutionary testing of autonomous software agents

  • Cu D. Nguyen
  • Simon Miles
  • Michael Luck

Abstract A system built in terms of autonomous software agents may require even greater correctness assurance than one that is merely reacting to the immediate control of its users. Agents make substantial decisions for themselves, so thorough testing is an important consideration. However, autonomy also makes testing harder; by their nature, autonomous agents may react in different ways to the same inputs over time, because, for instance they have changeable goals and knowledge. For this reason, we argue that testing of autonomous agents requires a procedure that caters for a wide range of test case contexts, and that can search for the most demanding of these test cases, even when they are not apparent to the agents’ developers. In this paper, we address this problem, introducing and evaluating an approach to testing autonomous agents that uses evolutionary optimisation to generate demanding test cases. We propose a methodology to derive objective (fitness) functions that drive evolutionary algorithms, and evaluate the overall approach with two simulated autonomous agents. The obtained results show that our approach is effective in finding good test cases automatically.

AAMAS Conference 2010 Conference Paper

A Model of Normative Power

  • Nir Oren
  • Michael Luck
  • Simon Miles

A power describes the ability of an agent to act in some way. Whilethis notion of power is critical in the context of organisational dynamics, and has been studied by others in this light, it must beconstrained so as to be useful in any practical application. In particular, we are concerned with how power may be used by agents togovern the imposition and management of norms, and how agentsmay dynamically assign norms to other agents within a multi-agentsystem. We approach the problem by defining a syntax and semantics for powers governing the creation, deletion, or modification ofnorms within a system, which we refer to as normative powers. Wethen extend this basic model to accommodate more general powers that can modify other powers within the system, and describehow agents playing certain roles are able to apply powers, changingthe system's norms, and also the powers themselves. We examinehow the powers found within a system may change as the statusof norms change, and show how standard norm modification operations - such as the derogation, annulment and modification ofnorms - may be represented within our system.

AAMAS Conference 2010 Conference Paper

A Simulation Approach to Design Contracts that Govern Emergent Multi-Agent Systems

  • Ma
  • iacute; ra Gatti
  • Simon Miles
  • Nir Oren
  • Michael Luck
  • Carlos Lucena

Governing the behavior of autonomous agents in multi-agent systems to reach overall system benefit has long been an active area of research. One approach of recent prevalence is to provide agents with explicit specifications of what they should, should not or may do within the system, i. e. normative statements or norms. In a business setting, these norms exactly mirror the contractual agreements made between business organizations. As such, agent-based normative systems offer the potential for a business to model, understand the consequences of, and then refine contracts to improve the outcomes for that business. However, languages and tools for specifying norms do not by themselves provide understanding of the emergent behavior in a complex domain. In this paper, we combine a simulation technique designed for investigating and tuning emergent behavior in multi-agent systems with an approach to modeling norms of the complexity found in business contracts. We show, using an aerospace case study, that our approach can aid in the refinement of such contracts by exposing the consequences of contract variations.

AAMAS Conference 2010 Conference Paper

Graphically Explaining Norms

  • Madalina Croitoru
  • Nir Oren
  • Simon Miles
  • Michael Luck

While much work has focused on the creation of norm aware agents, much less has been concerned with aiding a system's designers inunderstanding the effects of norms on a system. However, sincenorms are generally pre-determined by designers, providing suchsupport can be critical in enabling norm refinement for more effective or efficient system regulation. In this paper, we address just thisproblem by providing explanations as to why some norm is applicable, violated, or in some other state. We make use of conceptualgraph based semantics to provide an easily interpretable graphicalrepresentation of the norms within a system. Such a representationallows for visual explanation of the state of norms, showing forexample why they may have been activated or violated. These explanations then enables easy understanding of the system operationwithout needing to follow the system's underlying logic.

AAMAS Conference 2009 Conference Paper

A Framework for Monitoring Agent-Based Normative Systems

  • Sanjay Modgil
  • Noura Faci
  • Felipe Meneguzzi
  • Nir Oren
  • Simon Miles
  • Michael Luck

The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a means to regulate agent behaviours in open and dynamic systems, where these norms specify the obliged, permitted and prohibited behaviours of agents. Regulation can effectively be achieved through use of enforcement mechanisms that result in a net loss of utility for an agent in cases where the agent’s behaviour fails to comply with the norms. Recognition of compliance is thus crucial for achieving regulation. In this paper we propose a generic architecture for observation of agent behaviours, and recognition of these behaviours as constituting, or counting as, compliance or violation. The architecture deploys monitors that receive inputs from observers, and processes these inputs together with transition network representations of individual norms. In this way, monitors determine the fulfillment or violation status of norms. The paper also describes a proof of concept implementation and deployment of monitors in electronic contracting environments.

AAMAS Conference 2009 Conference Paper

Evolutionary Testing of Autonomous Software Agents

  • Cu D. Nguyen
  • Anna Perini
  • Paolo Tonella
  • Simon Miles
  • Mark Harman
  • Michael Luck

A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make substantial decisions for themselves, so thorough testing is an important consideration. However, autonomy also makes testing harder; by their nature, autonomous agents may react in different ways to the same inputs over time, because, for instance they have changeable goals and knowledge. For this reason, we argue that testing of autonomous agents requires a procedure that caters for a wide range of test case contexts, and that can search for the most demanding of these test cases, even when they are not apparent to the agents’ developers. In this paper, we address this problem, introducing and evaluating an approach to testing autonomous agents that uses evolutionary optimization to generate demanding test cases.

AAMAS Conference 2008 Conference Paper

Case Studies for Contract-based Systems

  • Michal Jakob
  • Michal P? chou? ek
  • Simon Miles
  • Michael Luck

Of the ways in which agent behaviour can be regulated in a multiagent system, electronic contracting – based on explicit representation of different parties' responsibilities, and the agreement of all parties to them – has significant potential for modern industrial applications. Based on this assumption, the CONTRACT project aims to develop and apply electronic contracting and contract-based monitoring and verification techniques in real world applications. This paper presents results from the initial phase of the project, which focused on requirements solicitation and analysis. Specifically, we survey four use cases from diverse industrial applications, examine how they can benefit from an agent-based electronic contracting infrastructure and outline the technical requirements that would be placed on such an infrastructure. We present the designed CONTRACT architecture and describe how it may fulfil these requirements. In addition to motivating our work on the contractbased infrastructure, the paper aims to provide a much needed community resource in terms of use case themselves and to provide a clear commercial context for the development of work on contract-based system.

AAMAS Conference 2008 Conference Paper

Electronic contracting in aircraft aftercare: A case study

  • Felipe Meneguzzi
  • Simon Miles
  • Michael Luck
  • Camden Holt
  • Malcolm Smith

Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This is certainly true in the aerospace domain, where manufacturers, suppliers and operators must coordinate their activities to maximise safety and profit, for example. To address this need, the notion of norms has been proposed which, when incorporated into formal electronic documents, allow for the specification and deployment of contractdriven systems. In this context, we describe the CONTRACT framework and architecture for exactly this purpose, and describe a concrete instantiation of this architecture as a prototype system applied to an aerospace aftercare scenario.

AAMAS Conference 2007 Conference Paper

Modelling the Provenance of Data in Autonomous Systems

  • Simon Miles
  • STEVE MUNROE
  • Michael Luck
  • Luc Moreau

Determining the provenance of data, i. e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be demonstrably rigorous for the result to be deemed reliable. A provenance system supports applications in recording adequate documentation about process executions to answer queries regarding provenance, and provides functionality to perform those queries. Several provenance systems are being developed, but all focus on systems in which the components are reactive, for example Web Services that act on the basis of a request, job submission system, etc. This limitation means that questions regarding the motives of autonomous actors, or agents, in such systems remain unanswerable in the general case. Such questions include: who was ultimately responsible for a given effect, what was their reason for initiating the process and does the effect of a process match what was intended to occur by those initiating the process? In this paper, we address this limitation by integrating two solutions: a generic, re-usable framework for representing the provenance of data in service-oriented architectures and a model for describing the goal-oriented delegation and engagement of agents in multi-agent systems. Using these solutions, we present algorithms to answer common questions regarding responsibility and success of a process and evaluate the approach with a simulated healthcare example.

IS Journal 2006 Journal Article

Provenance in Agent-Mediated Healthcare Systems

  • Tamas Kifor
  • Laszlo Z. Varga
  • Javier Vazquez-Salceda
  • Sergio Alvarez
  • STEVEN WILLMOTT
  • Simon Miles
  • Luc Moreau

People are increasingly cooperating to share electronic information and techniques throughout various industries. In healthcare applications, data (a single patient's healthcare history), workflow (procedures carried out on that patient), and logs (a recording of meaningful procedural events) are often distributed among several heterogeneous and autonomous information systems. Understanding a patient's treatment history can help healthcare providers make treatment decisions. Provenance-aware applications can facilitate this process by tracing events, event dependencies, and provider decisions across various healthcare institutions