On the Formal Specification of Electronic Institutions

Esteva, Marc; Rodŕıguez-Aguilar, Juan A.; Sierra, Carles; García, Pere; Arcos, Josep Lluís

doi:10.1007/3-540-44682-6_8

Cited by 224 publications

(183 citation statements)

References 15 publications

Supporting

Mentioning

164

Contrasting

Unclassified

Order By: Relevance

“…Indeed, several methodologies for designing MASs have been discussed in the literature [1][2][3][4]6,7] and, correspondingly, different agent platforms [5,[8][9][10][11] have been proposed as technological means for practically implementing distributed applications. As discussed in Section 2, most of these design methodologies and platforms adopt the organizational metaphor as a way for distributing and coordinating agents.…”

Section: Impact and Discussionmentioning

confidence: 99%

“…Multiagent systems (MASs) allow tackling this problem by providing modeling, like [1][2][3][4][5], development approaches, like [6,7], and frameworks, like [8][9][10][11]. Broadly speaking, such solutions represent software components as goal-oriented, autonomous agents, which act in a shared environment and need to coordinate so as to achieve their goals [12].…”

Section: Introductionmentioning

confidence: 99%

“…In this perspective, individual agents will enact organizational roles as a means to realize their own goals. E-institutions [1] model organizations as social groups of individuals built to achieve common (shared or antagonistic) goals. Here, organizations usually provide a set of norms, which agents in the system need to follow, depending on the role they are playing.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Computational Accountability in MAS Organizations with ADOPT

et al. 2018

View full text Add to dashboard Cite

Abstract:This work studies how the notion of accountability can play a key role in the design and realization of distributed systems that are open and that involve autonomous agents that should harmonize their own goals with the organizational goals. The socio-technical systems that support the work inside human companies and organizations are examples of such systems. The approach that is proposed in order to pursue this purpose is set in the context of multiagent systems organizations, and relies on an explicit specification of relationships among the involved agents for capturing who is accountable to whom and for what. Such accountability relationships are created along with the agents' operations and interactions in a shared environment. In order to guarantee accountability as a design property of the system, a specific interaction protocol is suggested. Properties of this protocol are verified, and a case study is provided consisting of an actual implementation. Finally, we discuss the impact on real-world application domains and trace possible evolutions of the proposal.

show abstract

Section: Impact and Discussionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Computational Accountability in MAS Organizations with ADOPT

et al. 2018

View full text Add to dashboard Cite

show abstract

“…Esteva and colleagues [22,23,21,20,57,24,30] have devised a specification language to specify open MAS as electronic institutions (e-institutions). The basic components of an e-institution include those of role (standardised pattern of behaviour), dialogic framework (prescribing the agent interactions), scene (expressing sub-groupings created in the context of a wider system), and normative rule (the 'rules of the game').…”

Section: Discussionmentioning

confidence: 99%

Executable specification of open multi-agent systems

Artikis

Sergot

2009

Logic Journal of IGPL

View full text Add to dashboard Cite

Abstract. Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as 'open'. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system specification. Consequently, it is necessary to specify the normative relations that may exist between the members, such as permission, obligation, and institutional power. We present a framework being developed for executable specification of open multi-agent systems. We adopt a bird's eye view of these systems, as opposed to an agent's perspective whereby it reasons about how it should act. This paper is devoted to the presentation of various examples from the NetBill protocol formalised in terms of institutional power, permission and obligation. We express the system specification in the Event Calculus and execute the specification by means of a logic programming implementation. We also give several example formalisations of sanctions for dealing with violations of permissions and obligations. We distinguish between an open multi-agent system and the procedure by which an agent enters and leaves the system. We present examples from the specification of a role-management protocol for NetBill, and demonstrate the interplay between such a protocol and the corresponding multi-agent system.

show abstract

“…A few notable examples are work on e-institutions [3], work on commitment protocols [19] and work on negotiation protocols [2].…”

Section: Discussionmentioning

confidence: 99%

Specifying Electronic Societies with the Causal Calculator

Artikis

Sergot

Pitt

2003

Agent-Oriented Software Engineering III

View full text Add to dashboard Cite

Abstract. In previous work [1] we presented a framework for the specification of open computational societies i.e. societies where the behaviour of the members and their interactions cannot be predicted in advance. We viewed computational systems from an external perspective, with a focus on the institutional and the social aspects of these systems. The social constraints and roles of the open societies were specified with the use of the Event Calculus. In this paper, we formalise our framework with the use of the C + language, a formalism with explicit state transition semantics. We use the implementation of the C + language, the Causal Calculator, a software tool for representing commonsense knowledge about action and change, to animate and validate the specifications of computational societies. We demonstrate the utility of the Causal Calculator (by specifying and executing a Contract-Net Protocol) and comment on its functionality regarding the specification of computational societies.

show abstract

On the Formal Specification of Electronic Institutions

Cited by 224 publications

References 15 publications

Computational Accountability in MAS Organizations with ADOPT

Computational Accountability in MAS Organizations with ADOPT

Executable specification of open multi-agent systems

Specifying Electronic Societies with the Causal Calculator

Contact Info

Product

Resources

About