ALIBI
发表于 2025-3-25 04:22:50
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.
流行
发表于 2025-3-25 11:24:18
http://reply.papertrans.cn/87/8694/869391/869391_22.png
blight
发表于 2025-3-25 15:01:56
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
发表于 2025-3-25 16:13:39
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
征兵
发表于 2025-3-25 21:14:15
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
不透明性
发表于 2025-3-26 01:58:36
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
发酵剂
发表于 2025-3-26 06:54:59
http://reply.papertrans.cn/87/8694/869391/869391_27.png
ARK
发表于 2025-3-26 11:03:45
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
发表于 2025-3-26 14:19:47
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
发表于 2025-3-26 19:17:27
http://reply.papertrans.cn/87/8694/869391/869391_30.png