Titlebook: Social Coordination Frameworks for Social Technical Systems; Huib Aldewereld,Olivier Boissier,Julian Padget Book 2016 Springer Internation

ALIBI

Inst,: An Institutional Action Languageset of associated tools. The computational model is realized by translating the specification language to . (Baral 2003), a logic programming language under the answer set semantics (ASP) (Gelfond and Lifschitz 1991), and is underpinned by a set-theoretic formal model and a formalized translation process.

流行

blight

Introductionations) components. Such systems are characterised by an entanglement of human, software and organisational interactions. More than an integration of technical and social components, the design and analysis of such socio-technical systems must deal with the . of these components. Social coordination

Irrigate

Conceptual Map for Social Coordinationnctionalities are not fixed a priori, components are not designed nor controlled by a common entity, and unplanned or underspecified changes may occur during runtime. There is a need for representing the regulating structures explicitly and independently from the acting components (or agents). Organ

征兵

ANTE: A Framework Integrating Negotiation, Norms and Trustchnologies: negotiation as a means of reaching agreements; organizational or normative structures as social constructs to regulate interactions; trust as a mechanism to assess agent performance when acting while subject to norms. The ANTE framework addresses the issue of social coordination from a c

不透明性

Electronic Institutions: The EI/EIDE Frameworkween the internal decision making of individuals and their (collective) goals”. However, electronic institutions, unlike the conventional ones, are intended to work on-line and may involve the participation of humans as well as software agents. The EI/EIDE framework that we present in this chapter i

发酵剂

ARK

Inst,: An Institutional Action Languageset of associated tools. The computational model is realized by translating the specification language to . (Baral 2003), a logic programming language under the answer set semantics (ASP) (Gelfond and Lifschitz 1991), and is underpinned by a set-theoretic formal model and a formalized translation pr

judicial

The JaCaMo Frameworks that match the abstractions used at the levels of a multi-agent system for expressing social coordination. More precisely, JaCaMo defines a uniform and consistent programming model seamlessly integrating concepts from programming dimensions developed within separate communities in the Multi-Agent

Cultivate