ADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo
نویسندگان
چکیده
This work concerns the challenge of computational accountability in a multiagent setting where agents interact inside organizations. We illustrate the requirements to realize accountability with the help of a scenario. Then, we provide a characterization of computational accountability in terms of a few general principles. We introduce and explain the ADOPT accountability protocol and show how it satisfies these principles with the help of model checking.
منابع مشابه
Programming with Commitments and Goals in JaCaMo + ( Extended
Multiagent systems (MASs) provide a natural way to realize applications where a group of autonomous actors coordinate their interactions. Nevertheless, a growing feeling [6, 5] is that there is the need of equipping agents with the means for developing a social behavior. Social aspects are not limited to message exchanges nor to the mere realization of teamwork. An agent who perceives another a...
متن کاملSupporting Organizational Accountability Inside Multiagent Systems
We present and analyze the problem of realizing an accountabilitysupporting system in multiagent systems technology. To this aim and to avoid ambiguities, we first characterize the concept of accountability, which we later work to realize computationally, particularly in relation to the partially overlapping notion of responsibility. Then, with the aim of achieving accountability as a design pr...
متن کاملCommitment-based Agent Interaction in JaCaMo+
We present the JaCaMo+ framework for programming multiagent systems (MAS), where agents interact thanks to commitment-based interaction protocols. Commitment protocols are realized as artifacts that maintain a social state and notify to the participating agents those events that are relevant to the interaction. We discuss the advantages, like increased modularity and flexibility, that are broug...
متن کاملExploiting Social Commitments in Programming Agent Interaction
Modeling and regulating interactions among agents is a critical step in the development of Multiagent Systems (MASs). Some recent works assume a normative view, and suggest to model interaction protocols in terms of obligations. In this paper we propose to model interaction protocols in terms of goals and commitments, and show how such a formalization promotes a deliberative process inside the ...
متن کاملMulti-Agent Oriented Reorganisation within the JaCaMo infrastructure
Current IT applications are often meant to be used in complex and highly dynamic environments. Multi-Agent Oriented technologies and related programming languages offer high level abstractions that can ease the realisation of such applications. However, providing the means to handle adaptation and endogenous reorganisation, is still a challenging issue even if multiple state-of-the art works pr...
متن کامل