Titlebook: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems; AAMAS 2005 Internati Olivier Boissier,Julian Padget,Javier Váz

一再遛

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

使人煩燥

就職

deciduous

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.

桶去微染

Foregery

得體

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

閑蕩

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