標(biāo)題: Titlebook: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems; AAMAS 2005 Internati Olivier Boissier,Julian Padget,Javier Váz [打印本頁(yè)] 作者: 突然 時(shí)間: 2025-3-21 17:16
書(shū)目名稱(chēng)Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems影響因子(影響力)
書(shū)目名稱(chēng)Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems被引頻次
書(shū)目名稱(chēng)Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems被引頻次學(xué)科排名
書(shū)目名稱(chēng)Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems年度引用
書(shū)目名稱(chēng)Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems年度引用學(xué)科排名
書(shū)目名稱(chēng)Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems讀者反饋
書(shū)目名稱(chēng)Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems讀者反饋學(xué)科排名
作者: 比賽用背帶 時(shí)間: 2025-3-22 00:03
Informed Deliberation During Norm-Governed Practical Reasoningcross-referenced information of actions and norms. As actions are indicated as problematic and not simply filtered out, the agent can still choose to either act according to its norms or against them. The labelling mechanism presented in this paper is therefore a critical step towards enabling an ag作者: PAEAN 時(shí)間: 2025-3-22 04:29 作者: 血友病 時(shí)間: 2025-3-22 04:53 作者: Organonitrile 時(shí)間: 2025-3-22 12:09
Mistakes about Conceptual Analysis,defined in another one. Finally we will briefly present the specification of the Dutch Auction Institution and of the Auction House Institution in order to exemplify the model presented in this paper.作者: CLAIM 時(shí)間: 2025-3-22 14:44 作者: CLAIM 時(shí)間: 2025-3-22 19:14 作者: 使增至最大 時(shí)間: 2025-3-22 23:28
Data Communications (or Datacomm),amic properties of the organizational model and includes the (frequently ignored) environment. The transition is described from a generic framework of an organization to its deployed model and to the actual agent allocation. For verification and validation purposes, a set of dedicated techniques is 作者: 使混合 時(shí)間: 2025-3-23 02:00 作者: antenna 時(shí)間: 2025-3-23 07:56
An Introduction to Systems Analysis,may enact and the relationships between them. The organisational structure thus produced provides an effective way to capture medium- to long-term associations and dependencies between agents. In this paper we propose a means to formally specify, verify and analyse agent organisations, capturing not作者: absorbed 時(shí)間: 2025-3-23 11:50 作者: 重力 時(shí)間: 2025-3-23 17:05
Data Input Methods, Media and Devices,of devices, electronic institutions, to regulate agent interactions. Furthermore, in this paper I am concerned with the tasks of design and construction of actual electronic institutions and I will explore some of the empirical aspects that one may encounter in such activities. More specifically, I 作者: microscopic 時(shí)間: 2025-3-23 21:42 作者: 芭蕾舞女演員 時(shí)間: 2025-3-24 01:14 作者: uncertain 時(shí)間: 2025-3-24 03:30 作者: 調(diào)情 時(shí)間: 2025-3-24 10:20 作者: Volatile-Oils 時(shí)間: 2025-3-24 11:15
Mistakes about Conceptual Analysis, by step guidelines for behaviour, as long as the protocols comply with the norms. In this work we propose a formal framework to design a protocol from a normative specification. In order to be able to connect (descriptive) norms with (operational) protocols, an intermediate level is created by the 作者: SEED 時(shí)間: 2025-3-24 14:53 作者: indenture 時(shí)間: 2025-3-24 21:24
ntext. By adopting a role, the agent commits to fulfil and adhere to the social norms associated with that role. These commitments require the agent to act in a way that does not violate any of its prohibitions or obligations. In adopting different sets of norms, an agent may experience conflicts be作者: 脆弱么 時(shí)間: 2025-3-25 00:03
gents determine the behavior of organizations by playing roles in the organization, and how the organization controls the behavior of agents playing a role in it. We consider the design of an organization in terms of roles and the assignment of agents to roles, and the evolution of organizations. We作者: 一再遛 時(shí)間: 2025-3-25 05:10
tonomous agents must be able to evaluate and decide the most appropriate organization given the environment conditions. That is, there is a need for dynamic reorganization of coordination structures. In this paper, we describe how simulation studies could help to determine whether and how reorganiza作者: misshapen 時(shí)間: 2025-3-25 10:26 作者: 使人煩燥 時(shí)間: 2025-3-25 13:12 作者: 就職 時(shí)間: 2025-3-25 17:04 作者: deciduous 時(shí)間: 2025-3-25 21:12
Designing Normative Behaviour Via Landmarks by step guidelines for behaviour, as long as the protocols comply with the norms. In this work we propose a formal framework to design a protocol from a normative specification. In order to be able to connect (descriptive) norms with (operational) protocols, an intermediate level is created by the use of landmarks.作者: 桶去微染 時(shí)間: 2025-3-26 00:36 作者: Foregery 時(shí)間: 2025-3-26 04:18 作者: 得體 時(shí)間: 2025-3-26 11:12
Data Communications (or Datacomm),outline the features of institutions we model, and describe how they are translated into ASP programs which can then be used to verify properties of the specifications. We demonstrate the effectiveness of this approach through the institutions of property and exchange.作者: WAIL 時(shí)間: 2025-3-26 14:09 作者: 閑蕩 時(shí)間: 2025-3-26 20:34
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/238105.jpg作者: 最有利 時(shí)間: 2025-3-26 23:00 作者: scrape 時(shí)間: 2025-3-27 03:50
An Introduction to Systems Analysis,alternative organisation specifications to be developed in order to handle the consequences of change. Our model gives rise to a suite of tools and functionalities with which engineers can specify, verify and analyse organisations, the roles of their components, their obligations and the relationships among these roles.作者: SLAG 時(shí)間: 2025-3-27 08:48 作者: Kaleidoscope 時(shí)間: 2025-3-27 09:41 作者: 我怕被刺穿 時(shí)間: 2025-3-27 17:21 作者: 不給啤 時(shí)間: 2025-3-27 19:46
Verification and Analysis of Organisational Changealternative organisation specifications to be developed in order to handle the consequences of change. Our model gives rise to a suite of tools and functionalities with which engineers can specify, verify and analyse organisations, the roles of their components, their obligations and the relationships among these roles.作者: chalice 時(shí)間: 2025-3-28 00:52 作者: 摻假 時(shí)間: 2025-3-28 06:09
Design by Contract Deontic Design Language for Multiagent Systemslanguage based on temporal deontic logic. Moreover, we show how preferences over the possible outcomes of a supplier can be added. We also discuss the relation between the normative stance toward systems implicit in the design by contract approach and the intentional or BDI stance popular in agent theory.作者: EXUDE 時(shí)間: 2025-3-28 08:38 作者: 聽(tīng)寫(xiě) 時(shí)間: 2025-3-28 10:26
Towards Sustained Team Effectivenessper we introduce our conceptual view on realizing sustained team effectiveness, in which both the measurement of effectiveness and team management play an important role. A unified, interdisciplinary approach facilitates measuring effectiveness in more complex organizations.作者: persistence 時(shí)間: 2025-3-28 14:51
Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligationrnalized by the agents as obligations, are translated into conditional beliefs and goals of the normative system, which concern both detection and sanctioning measures. We show that the model can handle both the regulative and the evidential aspects of the case.作者: 奇怪 時(shí)間: 2025-3-28 19:26
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifwe discuss how infrastructural abstractions like coordination artifacts can be exploited to express norms inside computational institutions. Finally, we present an example based on the . infrastructure.作者: ERUPT 時(shí)間: 2025-3-29 00:52 作者: 教育學(xué) 時(shí)間: 2025-3-29 04:14 作者: ARC 時(shí)間: 2025-3-29 09:24 作者: Anticonvulsants 時(shí)間: 2025-3-29 11:26 作者: 同來(lái)核對(duì) 時(shí)間: 2025-3-29 18:09 作者: geometrician 時(shí)間: 2025-3-29 20:43
Data Communications (or Datacomm),rnalized by the agents as obligations, are translated into conditional beliefs and goals of the normative system, which concern both detection and sanctioning measures. We show that the model can handle both the regulative and the evidential aspects of the case.作者: modifier 時(shí)間: 2025-3-30 00:07 作者: immunity 時(shí)間: 2025-3-30 07:28 作者: 翻動(dòng) 時(shí)間: 2025-3-30 10:48 作者: VOK 時(shí)間: 2025-3-30 14:32
role in it. We consider the design of an organization in terms of roles and the assignment of agents to roles, and the evolution of organizations. We do not present a complete formalization of the computational problems, but we illustrate our approach by examples.作者: watertight, 時(shí)間: 2025-3-30 16:59
A Coordination Framework Based on the Sociology of Organized Actionn of a well-experienced sociological theory, the Sociology of Organized Action, also called Strategic Analysis. This theory intends to discover the functioning of any organization beyond its formal rules, especially how social actors build the organization that in return rules their behaviors, and w作者: 口訣 時(shí)間: 2025-3-30 21:34
Formal Modeling and Analysis of Organizationsamic properties of the organizational model and includes the (frequently ignored) environment. The transition is described from a generic framework of an organization to its deployed model and to the actual agent allocation. For verification and validation purposes, a set of dedicated techniques is 作者: 評(píng)論者 時(shí)間: 2025-3-31 02:41
Towards Sustained Team Effectivenessficial systems and other (sub-) teams, require support to guarantee their continued effectiveness. Effectiveness of individuals and teams is an important ingredient for organizational effectiveness, managerial decision quality, as well as for maintaining organizational awareness. In this position pa作者: 有特色 時(shí)間: 2025-3-31 06:48
Verification and Analysis of Organisational Changemay enact and the relationships between them. The organisational structure thus produced provides an effective way to capture medium- to long-term associations and dependencies between agents. In this paper we propose a means to formally specify, verify and analyse agent organisations, capturing not作者: 揉雜 時(shí)間: 2025-3-31 11:52
,: A Middleware for Developing Organised Multi-agent Systemsagents are supposed to follow. A subset of these constraints are known as organisation of the MAS. This paper describes a software implementation, called ., that tries to fill the gap between the organisational constraints and the agents autonomy. This software ensures that all agents will follow th作者: 談判 時(shí)間: 2025-3-31 16:02
