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