Titlebook: Coordination, Organizations, Institutions and Norms in Agent Systems IV; COIN 2008 Internatio Jomi Fred Hübner,Eric Matson,Virginia Dignum

有斑点

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/238090.jpg

Directed

Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanismsg rules next to the organizational rules. We propose a modular reasoning model to make organizational rules explicit. This allows for meta-reasoning about these rules. We show that this stimulates bottom-up dynamics in the organization.

跳动

Formalising Situatedness and Adaptation in Electronic Institutionsrties are usually present at an agent level, but this paper studies how to bring them to an organisational level. While exposing our approach, we use a traffic scenario example to illustrate its concepts.

松果

A Context-Based Institutional Normative Environmentefeasibility. Norm activation relies on substitution as in first-order logic. Reasoning about the fulfillment and violation of deadline obligations is formalized using linear temporal logic; implementation with institutional rules is discussed. Examples exploiting the normative environment are given.

过分

An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent SystemsMAS. Such module includes a . that observes exchanged messages and keeps track of significant past interactions to express an agent’s input in the form of time-stamped words, and a . that processes such words and matches them against some properties expressed in linear temporal logic which are supposed to hold throughout the interactions.

CRP743

Lime石灰

0302-9743 tions and Norms in Agent Systems, COIN 2008, held as two events at AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems in Estoril, Portugal, in May 2008 and at AAAI 2008, the 23rd AAAI Conference on Artificial Intelligence in Chicago, IL, USA, in July 2008.

Genistein

affinity

flourish