Hermes: Designing Goal-Oriented Agent Interactions

Cheong, Christopher; Winikoff, Michael

doi:10.1007/11752660_2

Cited by 30 publications

(32 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For instance, an analysis 10 of computerrelated deaths 11 [37,Chapter 9] found that, of roughly 1,100 deaths 12 that were caused by computer failures up to 1992 13 [38, Chapter 9, p300]:…”

Section: Problems With Proofsmentioning

confidence: 99%

“…A less detailed discussion of the results of the analysis appeared in Chapter 9 of [38]. 11 More precisely, it focussed on "computer-related accidental death", where "computer-related" indicates a careful analysis of whether the presence of computers was a causal factor in the death(s), and where "accidental" excludes deaths caused by military computer systems that are designed to kill (the analysis also, reluctantly, excludes any associated "collateral" civilian deaths). 12 MacKenzie's analysis focussed on deaths, because deaths are clearly defined (unlike injury, which would include RSI), and because deaths are more likely to be reported.…”

Section: Assumptions In the Waste Disposal Robot Case Study Revisitedmentioning

confidence: 99%

See 1 more Smart Citation

Assurance of Agent Systems: What Role Should Formal Verification Play?

Winikoff

2010

Specification and Verification of Multi-Agent Systems

View full text Add to dashboard Cite

The Department of Information Science is one of seven departments that make up the School of Business at the University of Otago. The department offers courses of study leading to a major in Information Science within the BCom, BA and BSc degrees. In addition to undergraduate teaching, the department is also strongly involved in postgraduate research programmes leading to MCom, MA, MSc and PhD degrees. Research projects in spatial information processing, connectionist-based information systems, software engineering and software development, information engineering and database, software metrics, distributed information systems, multimedia information systems and information systems security are particularly well supported.The views expressed in this paper are not necessarily those of the department as a whole. The accuracy of the information presented in this paper is the sole responsibility of the authors. CopyrightCopyright remains with the authors. Permission to copy for research or teaching purposes is granted on the condition that the authors and the Series are given due acknowledgment. Reproduction in any form for purposes other than research or teaching is forbidden unless prior written permission has been obtained from the authors. CorrespondenceThis paper represents work to date and may not necessarily form the basis for the authors' final conclusions relating to this topic. It is likely, however, that the paper will appear in some form in a journal or in conference proceedings in the near future. The authors would be pleased to receive correspondence in connection with any of the issues raised in this paper, or for subsequent publication details. Please write directly to the authors at the address provided below. (Details of final journal/conference publication venues for these papers are also provided on the Department's publications web pages: http://www.otago.ac.nz/informationscience/pubs/). Any other correspondence concerning the Series should be sent to the DPS Coordinator. AbstractIn this paper we consider the broader issue of gaining assurance that an agent system will behave appropriately when it is deployed. We ask to what extent this problem is addressed by existing research into formal verification. We identify a range of issues with existing work which leads us to conclude that, broadly speaking, verification approaches on their own are too narrowly focussed. We argue that a shift in direction is needed, and outline some possibilities for such a shift in direction.

show abstract

“…For instance, an analysis 10 of computerrelated deaths 11 [37,Chapter 9] found that, of roughly 1,100 deaths 12 that were caused by computer failures up to 1992 13 [38, Chapter 9, p300]:…”

Section: Problems With Proofsmentioning

confidence: 99%

Section: Assumptions In the Waste Disposal Robot Case Study Revisitedmentioning

confidence: 99%

Assurance of Agent Systems: What Role Should Formal Verification Play?

Winikoff

2010

Specification and Verification of Multi-Agent Systems

View full text Add to dashboard Cite

show abstract

“…In the context of c-processes, it is useful to make an explicit distinction between collaborative goals, also named interaction goals (Cheong and Winikoff 2005), and system goals. Collaborative goals are shared between two or more (trading) partners expressing what they would like to attain by collaborating, while system goals denote goals of individual actors.…”

Section: A Framework For Adaptabilitymentioning

confidence: 99%

The Challenge of Self-adaptive Systems for E-commerce

Weigand

Heuvel

2006

Group Decis Negot

View full text Add to dashboard Cite

For future E-commerce systems that are engaged in many dynamic trading relationships, the ability to adapt themselves smoothly will increasingly become a critical property. In this paper, we first define the basic semantic structure of a collaborative process. Then we introduce a formal framework for selfadaptive systems. We argue that self-adaptive systems should specify goals explicitly, and propose a goalbased architecture. We further argue that for systems that operate in a shared environment with other systems, self-adaptation should be extended with co-adaptation. We define four levels of co-adaptation, and present an argumentation mechanism that can be used to enable co-adaptation at the higher levels.

show abstract

“…This is particular true in multi-agent systems, where interaction can take different forms: for instance, social interaction is concerned with agents interacting with each other, while environmental interaction regards the agents' interaction with their environment. Although most methodologies still focus on intra-agent issues, more recently, methodologies like GAIA [10] and Hermes [11] have begun emphasising the role of interaction, shifting their focus toward social interaction.…”

Section: Why Meta-modelling Sodamentioning

confidence: 99%

MAS Meta-models on Test: UML vs. OPM in the SODA Case Study

Molesini

Denti

Omicini

2005

Multi-Agent Systems and Applications IV

View full text Add to dashboard Cite

In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are meant to check and verify the completeness and expressiveness of methodologies. In this paper, we put to test the well-established standard Unified Modelling Language (UML), and the emergent Object Process Methodology (OPM), and compare their meta-modelling power. Both UML and OPM are used to express the meta-model of SODA, an agent-oriented methodology which stresses interaction and social aspects of MASs (multi-agent systems). Meta-modelling SODA allows us to evaluate the effectiveness of the two approaches over both the structural and dynamics parts. Furthermore, this allow us to find out some desirable features that any effective approach to meta-modelling MAS methodologies should exhibit. Meta-models for MASThe definition of a methodology is an interactive process, in which a core is defined and then extended to include all the needed concepts. Meta-modelling enables checking and verifying the completeness and expressiveness of a methodology by understanding its deep semantics, as well as the relationships among concepts in different languages or methods [1]. According to [2], the process of designing a system (object or agent-oriented) consists of instantiating the system meta-model that the designers have in their mind in order to fulfil the specific problem requirements. In the agent world this means that the meta-model is the critical element(...) because of the variety of methodology meta-models.In the context of MASs, a meta-model should be a structural representation of the elements (agents, roles, behaviour, ontology, . . . ) that constitute the actual system, along with their composing relationships. Several meta-models of AOSE methodologies can be found in the literature-for instance, GAIA

show abstract

Hermes: Designing Goal-Oriented Agent Interactions

Cited by 30 publications

References 11 publications

Assurance of Agent Systems: What Role Should Formal Verification Play?

Assurance of Agent Systems: What Role Should Formal Verification Play?

The Challenge of Self-adaptive Systems for E-commerce

MAS Meta-models on Test: UML vs. OPM in the SODA Case Study

Contact Info

Product

Resources

About