36
A Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser Multi-Agent Systems Lab Department of Computer Science University of Massachusetts, Amherst, MA bhorling,lesser @cs.umass.edu May, 2005 Abstract Many researchers have demonstrated that the organiza- tional design employed by an agent system can have a sig- nificant, quantitative effect on its performance character- istics. A range of organizational strategies have emerged from this line of research, each with different strengths and weaknesses. In this article we present a survey of the major organizational paradigms used in multi-agent systems. These include hierarchies, holarchies, coali- tions, teams, congregations, societies, federations, mar- kets, and matrix organizations. We will provide a descrip- tion of each, discuss their advantages and disadvantages, and provide examples of how they may be instantiated and maintained. This summary will facilitate the com- parative evaluation of organizational styles, allowing de- signers to first recognize the spectrum of possibilities, and then guiding the selection of an appropriate organizational design for a particular domain and environment. 1 Introduction The organization of a multi-agent system is the collection of roles, relationships, and authority structures which gov- ern its behavior. All multi-agent systems possess some or all of these characteristics and therefore all have some form of organization, although it may be implicit and in- formal. Just as with human organizations, such agent or- ganizations guide how the members of the population in- teract with one another, not necessarily on a moment-by- moment basis, but over the potentially long-term course of a particular goal or set of goals. This guidance might influence authority relationships, data flow, resource al- location, coordination patterns or any number of other system characteristics (Hayden et al., 1999; Carley and Gasser, 1999). This can help groups of simple agents ex- hibit complex behaviors and help sophisticated agents re- duce the complexity of their reasoning. Implicit in this concept is the assumption that the organization serves some purpose – that the shape, size and characteristics of the organizational structure can affect the behavior of the system (Galbraith, 1977). It has been repeatedly shown that the organization of a system can have significant impact on its short and long-term performance (Carley and Gasser, 1999; Sandholm et al., 1999; Durfee et al., 1987; Horling et al., 2004; Matson and DeLoach, 2003; Barber and Martin, 2001; So and Durfee, 1998; Brooks and Durfee, 2003), dependent on the characteristics of the agent population, scenario goals and surrounding en- vironment. Because of this, the study of organizational characteristics, generally known as computational organi- zation theory, has received much attention by multi-agent researchers. It is generally agreed that there is no single type of or- ganization that is suitable for all situations (Ishida et al., 1992; Corkill and Lander, 1998; Lesser, 1998; Carley and Gasser, 1999). In some cases, no single organizational style is appropriate for a particular situation, and a number of different, concurrently operating organizational struc- tures are needed (Gasser, 1991; Horling et al., 2003). Some researchers go so far as to say no perfect organi- 1

A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

A Survey of Multi-Agent Organizational Paradigms

Bryan Horling and Victor LesserMulti-Agent Systems Lab

Department of Computer ScienceUniversity of Massachusetts, Amherst, MA�

bhorling,lesser � @cs.umass.edu

May, 2005

Abstract

Many researchers have demonstrated that the organiza-tional design employed by an agent system can have a sig-nificant, quantitative effect on its performance character-istics. A range of organizational strategies have emergedfrom this line of research, each with different strengthsand weaknesses. In this article we present a survey ofthe major organizational paradigms used in multi-agentsystems. These include hierarchies, holarchies, coali-tions, teams, congregations, societies, federations, mar-kets, and matrix organizations. We will provide a descrip-tion of each, discuss their advantages and disadvantages,and provide examples of how they may be instantiatedand maintained. This summary will facilitate the com-parative evaluation of organizational styles, allowing de-signers to first recognize the spectrum of possibilities, andthen guiding the selection of an appropriate organizationaldesign for a particular domain and environment.

1 Introduction

The organization of a multi-agent system is the collectionof roles, relationships, and authority structures which gov-ern its behavior. All multi-agent systems possess someor all of these characteristics and therefore all have someform of organization, although it may be implicit and in-formal. Just as with human organizations, such agent or-ganizations guide how the members of the population in-teract with one another, not necessarily on a moment-by-

moment basis, but over the potentially long-term courseof a particular goal or set of goals. This guidance mightinfluence authority relationships, data flow, resource al-location, coordination patterns or any number of othersystem characteristics (Hayden et al., 1999; Carley andGasser, 1999). This can help groups of simple agents ex-hibit complex behaviors and help sophisticated agents re-duce the complexity of their reasoning. Implicit in thisconcept is the assumption that the organization servessome purpose – that the shape, size and characteristics ofthe organizational structure can affect the behavior of thesystem (Galbraith, 1977). It has been repeatedly shownthat the organization of a system can have significantimpact on its short and long-term performance (Carleyand Gasser, 1999; Sandholm et al., 1999; Durfee et al.,1987; Horling et al., 2004; Matson and DeLoach, 2003;Barber and Martin, 2001; So and Durfee, 1998; Brooksand Durfee, 2003), dependent on the characteristics ofthe agent population, scenario goals and surrounding en-vironment. Because of this, the study of organizationalcharacteristics, generally known as computational organi-zation theory, has received much attention by multi-agentresearchers.

It is generally agreed that there is no single type of or-ganization that is suitable for all situations (Ishida et al.,1992; Corkill and Lander, 1998; Lesser, 1998; Carley andGasser, 1999). In some cases, no single organizationalstyle is appropriate for a particular situation, and a numberof different, concurrently operating organizational struc-tures are needed (Gasser, 1991; Horling et al., 2003).Some researchers go so far as to say no perfect organi-

1

Page 2: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

zation exists for any situation, due the inevitable tradeoffsthat must be made and the uncertainty, lack of global co-herence and dynamism present in any realistic population(Romelaer, 2002). What is clear is that all approacheshave different characteristics which may be more suitablefor some problems and less suitable for others. Orga-nizations can be used to limit the scope of interactions,provide strength in numbers, reduce or manage uncer-tainty, reduce or explicitly increase redundancy or formal-ize high-level goals which no single agent may be awareof (Lesser and Corkill, 1981; Fox, 1981). At the sametime, organizations can also adversely affect computa-tional or communication overhead, reduce overall flexibil-ity or reactivity, and add an additional layer of complex-ity to the system (Horling et al., 2004). By discoveringand evaluating these characteristics, and then encodingthem using an explicit representation (Fox et al., 1998),one can facilitate the process of organizational-self design(Corkill and Lesser, 1983) whereby a system automatesthe process of selecting and adapting an appropriate orga-nization dynamically (Lesser, 1998; Schwaninger, 2000).This approach will ultimately enable suitably equippedagent populations to organize themselves, eliminating atleast some of the need to exhaustively determine all pos-sible runtime conditions a priori. Before this can occur,the space of organizational options must be mapped, andtheir relative benefits and costs understood.

These benefits and costs, and the potential advantagesthat could be provided by technologies able to make useof such knowledge, motivate the need to determine thecharacteristics of organizations and under what circum-stances they are appropriate. While no two organizationalinstances are likely to be identical, there are identifiableclasses of organizations which share common character-istics (Romelaer, 2002). Several organizational paradigmssuitable for multi-agent systems have emerged from thisline of research (Fox, 1981). These cover particularlycommon, useful or interesting structures that can be de-scribed in some general form. In this paper we will de-scribe several of these paradigms, give some insight intohow they can be used and generated, and compare theirstrengths and weaknesses. The vast amount of researchwhich has been done in this field precludes a completesurvey of any one technique; we hope to provide thereader with a concise description and a sample of the in-teresting work that has been done in each area.

Figure 1: A hierarchical organization.

In the following sections, we will describe the origin,form, function and characteristics of a typical structurefor each organizational paradigm. Example applicationswill be presented, along with a discussion of techniquesthat have been employed to create the structures. By sep-arating these concepts, we will distinguish between thecharacteristics of the organization generation process andthose of the organizational structure itself, independentlyof how it was generated.

2 Hierarchies

The hierarchy or hierarchical organization is perhaps theearliest example of structured, organizational design ap-plied to multi-agent system and earlier distributed artifi-cial intelligence architectures (Fox, 1979; Lesser and Er-man, 1980; Fox, 1981; Davis and Smith, 1983; Bond andGasser, 1988; Malone and Smith, 1988; Montgomery andDurfee, 1993). Agents are conceptually arranged in a tree-like structure, as seen in Figure 1, where agents higher inthe tree have a more global view than those below them.In its strictest interpretation, interactions do not take placeacross the tree, but only between connected entities. Morerecent work (Mathieu et al., 2002) has explored startingwith a strict hierarchy and augmenting it with cross linksto allow more direct communication, which can reducesome of the latency that results from repeated traversalsup and down the tree.

The data produced by lower-level agents in a hier-archy typically travels upwards to provide a broaderview, while control flows downward as the higher levelagents provide direction to those below (Bond and Gasser,

2

Page 3: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

1988). The simplest instance of this structure consists ofa two-level hierarchy, where the lower level agents’ ac-tions are completely specified by the upper, which pro-duces a global view from the resulting information (Chan-drasekaran, 1981). More complex instances have mul-tiple levels, while data flow, authority relations or otherorganizationally-dictated characteristics may not be abso-lute.

Fox (Fox, 1979) describes several different types of or-ganizational hierarchies. The simple hierarchy endows asingle apex member with the decision making authorityin the system. Uniform hierarchies distribute this author-ity in different areas of the system to achieve efficiencygains through locality. Decisions are made by the agentswhich have both the information needed to reason aboutthe decision, and the organizational authority to do makethe decision. Each level acts as a filter, explicitly transfer-ring information and implicitly transferring decisions upthe hierarchy only when necessary. Multi-divisional hier-archies further exploit localization by dividing the orga-nization along “product” lines, where products might rep-resent different physical artifacts, services, or high-levelgoals. Each division has complete control over their prod-uct, which facilitates the decision making and resourceallocation process by limiting outside influences. The di-visions themselves may still be organized under a higher-level entity which evaluates their performance and offersguidance, but is strictly separated from the divisional de-cision process. These more sophisticated hierarchies lookvery much like like holarchical organizations, which arediscussed in Section 3.

2.1 CharacteristicsThe applicability of hierarchical structuring comes fromthe natural decomposition possible in many different taskenvironments. Indeed, task decomposition trees are apopular way of modeling individual agent plan recipes(Decker, 1996); a hierarchical organization can be thoughtof as an assignment of roles and interconnections inspiredby the global goal tree. The hierarchy’s efficiency is alsoderived from this notion of decomposition, because thedivide-and-conquer approach it engenders allows the sys-tem to use larger groups of agents more efficiently andaddress larger scale problems (Yadgar et al., 2003). Thistype of organization can constrain agents to a number of

interactions that is small relative to the total populationsize. This allows control actions and behavior decisionsbecome more tractable, increased parallelism can be ex-ploited, and because there is less potentially distractingdata they can obtain a more cohesive view of the informa-tion pertinent to those decisions (Montgomery and Dur-fee, 1993).

It is not sufficient to simply aggregate increasingamounts of information to obtain higher utility or betterperformance. This information must be matched withsufficient computational power and analysis techniquesto make effective use of the information (Lesser, 1991).Without this, the effort to transfer the data may be wastedand the excess information distract the agent from moreimportant tasks. Alternatively, the information can besummarized, approximated or otherwise processed on itsway up the tree to reduce the information load. How-ever, in doing so, a new dimension of uncertainty is in-troduced because of the potential for necessary details tobe lost. In this situation, the decision making authorityshould be correctly placed within the structure to max-imize the tractable amount of useful information that isavailable that retains an acceptable level of uncertainty orimprecision (Fox, 1979; Lesser and Corkill, 1981).

Using a hierarchy can also lead to an overly rigid orfragile organization, prone to single-point failures withpotentially global consequences (Maturana et al., 1999).For example, if the apex agent were to fail the entire struc-ture’s cohesion could be compromised. Of course thisagent could be replaced, but it may then prove costly torestore the concentrated information possessed by its pre-decessor. It is similarly susceptible to bottleneck effectsif the scope of control decisions or data receipt is not ef-fectively managed – consider what would happen if thatapex agent received all the raw data produced by a largegroup of agents below it.

2.2 FormationAlthough the algorithm itself does not enforce a strict hi-erarchy such as the one described earlier, Smith’s con-tract net protocol (Smith, 1980; Davis and Smith, 1983)provides a straightforward mechanism to construct a se-ries of connections with most of the same characteristics.In some of this early contract net work, the protocol wasto explicitly form long-term organizational relationships,

3

Page 4: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

rather than the short-term contracts it has been typicallyused for more recently. The hierarchical structure that isproduced by the process is implicitly based on the waythe high-level goal can be decomposed. Upon receipt of anew task, an agent first chooses to perform the task itself,or search for agents willing to help complete the task. Aspart of this search process, the agent may decompose thetask into subtasks or contracts. The agent, acting as a con-tractor, announces these contracts along with a bid specifi-cation to a subset of its peers who then decide if they wishto submit a bid. The bids which return to the contrac-tor contain relevant information about the potential con-tractee which allows it to discriminate among competingoffers. A contractee is selected and notified. Upon receiptof the new task, the contractee now faces the same ques-tion - should it perform the task itself or contract it out?Repeated invocations of this process produce a hierarchyof contractors and contractees. Because agents individ-ually choose which contracts to bid on, and contractorschoose which bids to accept, this strategy can effectivelyassign tasks among a population of agents without theneed for a global view. The drawback to this approach isthat it is myopic. Because the contracting agent does notnecessarily take into account the needs of other contrac-tors, it may bind scarce resource in suboptimal ways. Forexample, it may select a particular bid when viable alter-natives exist, even though that particular bidder is criticalto another agent (Sims et al., 2003).

As with most organizational structures, the shape of thehierarchy can affect the characteristics of both global andlocal behaviors. A very flat hierarchy where agents havea high degree of connectivity can lead to overloading ifagent resources are both limited and consumed as a re-sult of these connections. Conversely, a very tall struc-ture may slow the system’s performance because of thedelays incurred by passing information across multiplelevels. One approach to making this tradeoff is the useof agent cloning (Ishida et al., 1992; Decker et al., 1997;Maturana et al., 1999). An agent in such a system mayopt to create a copy or clone of itself, possessing the samecapabilities as the original, in response to overloaded con-ditions. If additional resources are available for this cloneto use, this process allows the agent to dynamically cre-ate an assistant that can relieve excess burden from theoriginal, reducing load-related errors or inefficiencies inthe process. If the new agent is subordinate to the origi-

Figure 2: A holarchical organization.

nal, then a hierarchical organization will be formed in theprocess. Shehory (Shehory et al., 1998) discusses usingcloning when other task-reallocation strategies are not vi-able. In this work, an agent’s overall load is a functionof its local processing, free memory and communication.It uses a dynamic programming technique to compute anoptimal time to clone, and an appropriately idle computa-tional node to house the new agent. The clone receives asubset of the original task(s). The clones themselves re-quire resources, and the results they produce may requirean additional hop to get to their ultimate destination, sothey may also be merged or destroyed when these costsoutweigh their benefits.

3 Holarchies

The term holon was first coined by Arthur Koestler inhis book The Ghost In The Machine (Koestler, 1967). Inthis work, Koestler attempts to present a unified, descrip-tive theory of physical systems based on the nested, self-similar organization that many such systems possess. Forexample, biological, astrological and social systems areall comprised of multi-leveled, grouped hierarchies. Auniverse is comprised of a number of galaxies, which arecomprised of a number of solar systems, and so on, all theway down to subatomic particles. Each grouping in thesesystems has a character derived but distinct from the enti-ties that are members of the group. At the same time, this

4

Page 5: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

same group contributes to the properties of one or moregroups above it. The structure of each of these groupingsis a basic unit of organization that can be seen throughoutthe system as a whole. Koestler called such units holons,from the Greek word holos, meaning “whole”, and on,meaning “part”. Each holon exists simultaneously as botha distinct entity built from a collection of subordinates andas part of a larger entity.

True to Koestler’s intent, this notion of a hierarchical,nested structure does accurately describe the organizationof many systems. This concept has been exploited, pri-marily in business and manufacturing domains, to defineand build structures called holarchies or holonic orga-nizations which have this dual-nature characteristic. Asample such organization is shown in Figure 2. In thisdiagram, hierarchical relationships are represented as di-rected edges, while circles represent holon boundaries.Enterprises, companies, divisions, working groups and in-dividuals can each be viewed as a holons taking part in alarger holarchy. Fischer (Fischer, 1999), Zhang (Zhangand Norrie, 1999), and Ulieru (Ulieru et al., 2001) haveeach organized agent systems by modeling explicit or im-plied divisions of labor in real-world systems as holons.In doing so, they create abstractions of these divisions,imparting capabilities to individual holons instead of in-dividual agents. This layer of abstraction allows other en-tities in the system to make more effective use of thesecapabilities, by reasoning and interacting with the groupas a single functional unit.

The defining characteristic of a holarchy is thepartially-autonomous holon. Each holon is composed ofone or more subordinate entities, and can be a memberof one or more superordinate holons. Holons frequentlyhave both a software and physical hardware component(Zhang and Norrie, 1999; Ulieru, 2002), although thisdoes not preclude their usage in purely computational do-mains. The degree of autonomy associated with an indi-vidual holon is undefined, and could differ between levelsor even between similar holons at the same level. Thereis the presumption, however, that the level of autonomy isneither complete nor completely absent, as these extremeswould lead to either a strict hierarchy or an unorganizedgrouping, respectively. Within the holarchy, the chain ofcommand generally goes up – that is, subordinate holonsrelinquish some of their autonomy to the superordinategroupings they belong to. However, there is also the more

heterarchical notion that individual holons determine howto accomplish the tasks they are given, since they arelikely the locus of relevant expertise. Many holonic struc-tures also support connections between holons across theorganization, which can result in more amorphous, web-like organizational structures that can change shape overtime (Fischer, 1999; Zhang and Norrie, 1999).

It would not be incorrect to conclude that a holarchy isjust a particular type of hierarchy. If we relax our defini-tion of hierarchy to allow some amount of cross-tree in-teractions and local autonomy, the two styles share manyof the same features and can be used almost interchange-ably. These richer models then begin to resemble andtake on the characteristics of nearly-decomposable hierar-chies (Simon, 1968), where lateral interactions are weakbut still relevant. Very flat holarchies can also begin toresemble federations, which will be discussed in Section8.

3.1 Characteristics

As with the conventional hierarchies from the previoussection, holarchies are more easily applied to domainswhere goals can be recursively decomposed into subtasksthat can be assigned to individual holons (although this isnot essential). Given such a decomposition, or a capabil-ity map of the population, the benefits the holonic orga-nizations provide are derived primarily from the partiallyautonomous and encapsulated nature of holons. Holonsare usually endowed with sufficient autonomy to deter-mine how best to satisfy the requests they receive. Be-cause the requester need not know exactly how the re-quest will be completed, the holon potentially has a greatdeal of flexibility in its choice of behaviors, which canenable it to closely coordinate potentially complemen-tary or conflicting tasks. This characteristic reduces theknowledge burden placed on the requester and allows theholon’s behavior to adapt dynamically to new conditionswithout further coordination, so long as the original com-mitment’s requirements are met. A drawback to this ap-proach is that, lacking such knowledge, it is difficult tomake predictions about the system’s overall performance(Bongaerts, 1998).

5

Page 6: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

3.2 Formation

The challenge in creating a holonic organization revolvesaround selecting the appropriate agents to reside in theindividual holons. The purpose of the holon must be use-ful within the broader context of the organization’s high-level goals, and the holon’s members must be effective atsatisfying that purpose. Zhang (Zhang and Norrie, 1999)uses a model of static holons along with so-called me-diator holons to create and adapt the organization. Thestatic groups consist of product, product model and re-source holons, each of which corresponds to a group ofphysical or information objects in the environment (e.g.manufacturing device, design plans, conveyors, etc.). Themediator holon ties these together, by managing orders,finding product data and coordinating resources in a man-ner similar to a federation, which will be discussed in Sec-tion 8. Each new task is represented by a dynamic media-tor holon (DMH), which is created by the mediator holon.The DMH is destroyed when the task is completed.

Another approach to holarchy construction uses fuzzyentropy minimization to guide the formation of individualholonic clusters (Stefanoiu et al., 2000; Ulieru, 2002). Inthis work, the collection of holons is assumed to be ini-tially described with a set of source-plans, each of whichdescribes a potential assignment of holons to clusters,along with a set of probabilities that describe the degreeof occurrence of those clusters. From this initial uncer-tain information, one can derive the preferences whichagents have to work with one another, and then choosethe source plan which has the minimal entropy with re-spect to those preferences. The goal of this technique isto ensure that each holon has the necessary knowledgeand expertise needed to perform its task. The preferencethat one agent has for another represents this knowledgeor expertise requirement, so the minimally fuzzy set willsatisfy this goal by clustering agents which have commonpreferences. In (Ulieru, 2002), Ulieru adds a genetic al-gorithm approach to this scheme to help explore the spaceof possible clustering assignments.

4 Coalitions

The notion of a coalition of individuals has been stud-ied by the game theory community for decades, and has

Figure 3: A coalition-based organization.

proved to be a useful strategy in both real-world eco-nomic scenarios and multi-agent systems. If we view thepopulation of agents A as a set, then each subset of Ais a potential coalition. Coalitions in general are goal-directed and short-lived; they are formed with a purposein mind and dissolve when that need no longer exists, thecoalition ceases to suit its designed purpose, or criticalmass is lost as agents depart. Related research has ex-tended this to longer-term agreements based on trust (Bre-ban and Vassileva, 2001) and to the iterative formationof multiple coalitions in response to a dynamic task en-vironment (Merida-Campos and Willmott, 2004). Theymay form in populations of both cooperative and self-interested agents.

A population of agents organized into coalitions isshown in Figure 3. Within a coalition, the organizationalstructure is typically flat, although there may be a dis-tinguished “leading agent” which acts as a representativeand intermediary for the group as a whole (Klusch andGerber, 2002). Once formed, coalitions may be treatedas a single, atomic entity. Therefore, although coalitionshave no explicit hierarchical characteristic, it is possible toform such an organization by nesting one group inside an-other. Overlapping coalitions are also possible (Shehoryand Kraus, 1998). The agents in this group are expectedto coordinate their activities in a manner appropriate tothe coalition’s purpose. Coordination does not take placeamong agents in separate coalitions, except to the degreethat their individual goals interact. For example, if onecoalition’s goal depends on the results of another, thesetwo groups might need to agree upon a deadline by whichthose results are produced. In this case, it would be theleading or representative agents forming the commitment,

6

Page 7: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

not arbitrary members of the coalition.In addition to the problem of generating coalition struc-

tures, one must also determine how to solve the goal pre-sented to the coalition. If the population is self-interested,a division of value to be apportioned to participants oncethat goal has been satisfied must also be generated andagreed upon (Sandholm and Lesser, 1997).

4.1 CharacteristicsThe motivation behind the coalition formation is the no-tion that the value of at least some of the participantsmay be superadditive along some dimension. Analo-gously, participants’ costs may be subadditive. This im-plies that utility can be gained by working in groups –this is the same rationale behind buying clubs, co-ops,unions, public protests and the “safety in numbers” prin-ciple. For instance, in an economic domain, a largergroup of agents might have increased bargaining strengthor other monetary reward (Tsvetovat and Sycara, 2000).In computational domains we might expect more efficienttask allocation, or the ability to solve goals with require-ments greater than any single agent can offer (Shehoryand Kraus, 1998). In physically-limited systems, coali-tions have been used to trade off the scope of agent in-teractions with the effectiveness of the system as a whole(Sims et al., 2003). This last application directly affectsthe coordination costs incurred by the system; we will seethat this capability and purpose are shared by congrega-tions in Section 6.

One could argue that all agents in the environmentshould always join to form the all-inclusive grand coali-tion. Indeed, under certain circumstances this is appro-priate, since the structure would have the resources of allavailable agents at its disposal, which theoretically wouldprovide the maximum value. There are costs associatedwith forming and maintaining such a structure however,and in real world scenarios this can be both an impracticaland unnecessarily coarse solution (Sandholm and Lesser,1997). Therefore, the problem of coalition formation be-comes one of selecting the appropriate set(s) S � A whichmaximizes the utility (value minus costs) that coalition vScan achieve in the environment. The value and cost of thecoalition are generic terms, which may in fact be func-tions of other domain-dependent and independent charac-teristics of the structure.

4.2 Formation

The complexity of the coalition formation task depends onthe conditions under which the coalitions will exist, andthe types of coalitions which are permitted. As with allorganizations, operating in dynamic environments will beharder to maintain than in static ones. Additional com-plexity is also incurred if the partitioning of agents isnot disjoint; that is, agents can have concurrent mem-bership in more than one coalition. Uncertain rewards,self-interested agents and a potential lack of trust whilecoordinating add further obstacles to the process.

Sandholm (Sandholm et al., 1999) analyzes the worstcase performance of forming exhaustive, disjoint coali-tions over a static agent population from a centralizedperspective. They show that by searching only the twolowest levels of a complete coalition structure graph, ana-approximate value solution can be found to the parti-tioning problem, where a ���A � . Although the search of2a � 1 possible allocations still grows exponentially with a,the fraction of coalition structure needing to be searchedapproaches zero. They also present an anytime algorithmwhich can meet tighter bounds given additional time.Later work empirically evaluates the average-case perfor-mance of three anytime search techniques (Larson andSandholm, 2000). The algorithms’ performances variedby domain characteristics; and no single technique wasbest in all conditions.

Shehory (Shehory and Kraus, 1998) has studied howcoalitions may be used to enable task achievement by agroup of agents. In their scenario, a set of interdependent(precedence) tasks must be accomplished, some of whichrequire multiple agents to perform. The agents are coop-erative and potentially heterogeneous in their capabilities.The strategy they employ draws on techniques used byChvatal’s greedy set covering algorithm (Chvatal, 1979),which tries to find the minimum set of subsets that to-gether contain each member of a target set. The initial val-ues of all possible size-bounded coalitions are first com-puted and then iteratively refined in a distributed mannerby the agents, taking into account task ordering and capa-bility requirements. Once computed, the highest valuedcoalitions, either disjoint or overlapping depending on theselection algorithm, are instantiated. This algorithm wasalso augmented to support dynamically arriving tasks. Adrawback to this addition is that, in the worst case, the

7

Page 8: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

organization process needs to be redone for each task, in-curring a significant communication cost. Also limitingthe potential scalability of this approach is the need foreach agent to have full knowledge of the available agentsand tasks.

Lerman (Lerman and Shehory, 2000) presents a scal-able strategy where coalitions are formed between self-interested agents based only on local decision making. Inthis work agents operate in an electronic marketplace con-sisting of a number of extant purchase orders, with the ob-jective of forming or joining a coalition of buyers that sat-isfied a need at the lowest price. Coalitions form aroundpurchase orders, where agents form or join a coalition byadding a purchase request to an order, and can leave thatcoalition by removing their request. Agents in the systemcan move at will between purchase orders, searching forthe one which offers the best value (lowest cost). An anal-ysis based on differential equations shows that this strat-egy reaches equilibrium (later work (Lerman and Gal-styan, 2001) expands on these mathematical techniques toanalyze other distributed behaviors). It also has low com-munication and computational requirements. However, itdoes not provide guarantees on the achievable value orconvergence rate, which would be affected by scale, anddoes not have a notion of deadlines on the purchase or-ders.

Soh (Soh et al., 2003) presents a technique where coali-tions are dynamically created in response to the recogni-tion of tracking tasks in a distributed sensor network. Inthis work, agents are assumed to have incomplete, uncer-tain knowledge and must respond to events in real timefor goal achievement to be possible. As such, coalitionsare formed in a saticificing, rather than optimal manner.An agent initiates coalition formation by first using lo-cal knowledge to select a subset of candidate partners thatit believes will satisfy its requirements, both in terms ofcapabilities and willingness to cooperate. Next, it sequen-tially engages these candidates, in utility-ranked order, inargumentative negotiation, where offers and counteroffersare exchanged. This proceeds until satisfactory member-ship is decided, or the candidate list is exhausted. Agentsare cooperative, so during this negotiation process agentsexplicitly decide what coalition(s) they are willing to joinbased on perceived gains in utility. This approach doesnot make any guarantees about coalition value, or eventhat a satisfactory coalition will be found, but given the

Figure 4: A team-based organization.

relatively short time in which an allocation must be madeit would seem to be a reasonable strategy. In addition,reinforcement learning is used over the course of eventsto estimate candidate utility more accurately and selectthe most beneficial negotiation strategy, which should im-prove coalition value in the long run for reasonably sta-ble environments. By storing preferences over multipleepisodes, this learning also implicitly adds longevity tocoalitions, giving organizational structures produced bythis technique an interesting mix of dynamic and long-term characteristics.

5 TeamsAn agent team consists of a number of cooperative agentswhich have agreed to work together toward a commongoal (Fox, 1981; Tambe, 1997; Beavers and Hexmoor,2001). In comparison to coalitions, teams attempt to max-imize the utility of the team (goal) itself, rather than thatof the individual members. Agents are expected to coordi-nate in some fashion such that their individual actions areconsistent with and supportive of the team’s goal. Withina team, the type and pattern of interactions can be quite ar-bitrary, as seen in Figure 4, but in general each agent willtake on one or more roles needed to address the subtasksrequired by the team goal. Those roles may change overtime in response to planned or unplanned events, while thehigh-level goal itself usually remains relatively consistent(although exception handling may promote the executionof previously dormant subtasks).

This description of agent teams is quite general, andnearly any cooperative agent system has characteristicsthat are similar to these, if only implicitly. However,

8

Page 9: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

systems that maintain an explicit representation of theirteamwork or joint mental state are differentiated in theirability to reason more precisely about the consequencesof their teamwork decisions (Jennings, 1995; Grosz andKraus, 1996; Tambe, 1997). For example, they will typi-cally have representations of shared goals, mutual beliefsand team-level plans. This type of representation providesflexibility and robustness by allowing the agents to ex-plicitly reason about team-level behaviors, where a lessexplicit system may rely on a set of assumptions that ulti-mately make the system brittle in the face of unexpectedsituations.

5.1 CharacteristicsThe primary benefit of teamwork is that by acting in con-cert, the group of agents can address larger problems thanany individual is capable of (Grosz and Sidner, 1990).Other potential benefits, such as redundancy, the abilityto meet global constraints, and economies of scale canalso be realized (Hexmoor and Beavers, 2001). How-ever, it is the ability of the team (members) to reason ex-plicitly about the ramifications of inter-agent interactionswhich gives the team the needed flexibility to work in un-certain environments under unforeseen conditions. Thedrawback to this tighter coupling is increased communi-cation (Parker, 1993), so the team and joint goal repre-sentations, domain characteristics and task requirementsare frequently used to determine what level of coopera-tion (and therefore communication) is needed (Pynadathand Tambe, 2002).

Jennings (Jennings, 1995) describes an electricitytransportation management system which employs team-work to organize the activities of diagnostic agents. Lack-ing such structure, the agents were prone to incoherentand wasteful activities, since they did not always shareuseful behavior information or propagate important en-vironmental knowledge. By providing agents with anexplicit representation of shared tasks and the meansby which cooperation should progress, the agents wereable to accurately reason about and resolve these interac-tions by employing team-level knowledge. Similarly, in(Tambe, 1997), teamwork is used to provide the structureand coordination needed by agents to address interdepen-dent goals in dynamic environments, such as tactical mili-tary exercises and competitive soccer games. These works

demonstrate how pathological, but hard to predict failurescan be addressed if the plans are backed up by a generalmodel of teamwork.

5.2 FormationThe challenges associated with team formation involvethree principal problems: determining how agents will beallocated to address the high-level problem, maintainingconsistency among those agents during execution, and re-vising the team as the environment or agent populationchanges (Jennings, 1995; Marsella et al., 2001; Tidharet al., 1998).

The selection and role-assignment of agents that willwork on the high-level problem depends on the goal’s re-quirements, the capabilities of the candidate agents, andthe knowledge of the selecting process itself (Tidhar et al.,1996; Beavers and Hexmoor, 2001). Initially, the processor agent performing the team construction must be awareof the agents which could potentially form the team. Inthe case of a static, reasonably sized agent populationthis can be done off-line as part of the system design,or the members can be dynamically discovered and as-sessed. This latter technique can be accomplished us-ing well-known discovery mechanisms such as the con-tract net protocol (Smith, 1980) or matchmaker interme-diaries (Sycara et al., 1997). Once a suitable pool hasbeen found, the capabilities and preexisting responsibil-ity of those agents must be evaluated relative to the needsof the goal. Typically, agents are each denoted to havea set of capabilities, while the goal’s subtask(s) are of aparticular type. If an agent’s capabilities include that sub-task’s type, it can perform the task (Tidhar et al., 1996; Fa-tima and Wooldridge, 2001). The discovery mechanismsmay include an implicit ranking technique, such as thebidding process employed in contract net, which makesthe selection process relatively straightforward. Tidhar(Tidhar et al., 1996) suggests a different technique wherethe agent characteristics are derived at compile time, ei-ther through designer input or automatic analysis of theagent’s plan library. Candidate teams comprised of a sub-set of those agents may also be specified, which also aremarked with their characteristics. At runtime, these char-acteristics are matched with the goal requirements as partof the team allocation search. By including these charac-teristic labels, the number of possible team combinations

9

Page 10: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

can be greatly reduced.Tambe’s STEAM (Tambe, 1997) architecture provides

a flexible method for representing and adapting teambehaviors. It is based on the joint intentions frame-work (Levesque et al., 1990), which formally defines howagents should reason over joint commitments and sharedgoals, and SharedPlans theory (Grosz and Kraus, 1999),which provides a formal way to encode and reason aboutjoint plans, intentions and beliefs. Together, these helpensure a consistency of belief, or a desire to enact sucha belief, across all team members. The commitmentsformed through the joint intentions process provide theexplicit structure needed to reason about and monitor per-formance on a team level. Team plans are representedusing a hierarchical decomposition tree, with nodes rep-resenting tasks for both teams and individuals, with as-sociated preconditions, application and termination rules.Agents may simultaneously take part in several differenttasks, and corresponding roles. The team’s cohesion isderived primarily from the joint intentions created as partof executing the team plans. Upon selecting a team task,agents first broadcast this intention to affected agents, andwait until a commitment to that task has been establishedbetween all participants. The existence of this commit-ment directs agents to propagate changes whenever thetask is perceived to be achieved, unachievable or irrele-vant, before taking local action itself. This trades off thepotential reaction speed of the team and the cost of com-munication with group conformity. A decision theoreticapproach is used to guide communication acts, which ex-plicitly trades off the costs of communication with thoseof inconsistent beliefs. Nair (Nair et al., 2003a) has alsoexplored the possibility of using simulated emotions toprovide the motivation to enforce team-level behaviors.

In STEAM, monitoring and repair of the team is ac-complished with the use of role constraints (Tambe,1997). Team members are assigned a role, based on theparticular task they are working on. These roles are fur-ther constrained such that some particular combination ofthem (e.g. and, or) are needed to accomplish the task. Onecan then monitor if a task is achievable by monitoring thehealth of the individual agents, and using that informationto evaluate the satisfiability of the role constraints. Suchmonitoring can be performed through explicit queries, en-vironmental observations or by eavesdropping on com-munication, which can reduce the increased communica-

tion usually associated with teams. Kaminka (Kaminkaet al., 2002) has demonstrated that the latter techniquecan perform well when coupled with a plan-recognitionalgorithm. Failures can thus be detected, and potentiallyresolved through an appropriate role-substitution, or thetask abandoned if no substitution is possible. Alternately,one could use a diagnosis system (Jennings, 1995; Hor-ling et al., 2001) to more precisely identify the root causeof the failure. Interestingly, this repair operation can itselfbe cast as a team task, so mutual agreement that a repairis necessary must be achieved before potentially drasticmeasures are taken. Nair (Nair et al., 2003b) shows howan MDP incorporating team and role-allocation knowl-edge can improve the system’s response in cases of mul-tiple role failure. In this case, a suitable locally optimalpolicy for the reallocation decision problem can be foundby analyzing the team’s plans, and then used to guide on-line responses to failures. This work showed that suchpolicies can provide improved performance versus moreheuristic and analytic techniques. A similar technique wasalso shown in that work to improve initial role allocation.

Tidhar (Tidhar et al., 1998) uses a similar hierarchicalplan representation to represent teamwork in a tactical airmission scenario. Team membership and role assignmentare performed by matching agent capabilities to one ormore role’s requirements. As in STEAM, teams can bebroken down into sub-teams, and agents may use bothimplicit (observation) and explicit (messaging) forms ofcoordination.

The Generalized Partial Global Planning (GPGP)framework also employs techniques that allow agentsto act using team semantics (Decker and Lesser, 1992;Lesser et al., 2004). Where a STEAM-driven system willtypically organize in an explicit, controlled fashion in re-sponse to a perceived goal, a GPGP-team is created in amore dynamic, emergent fashion. GPGP agents are pro-vided with a set of individual plans which model a rangeof alternative ways that goals may be achieved. The sub-goals modeled in these plans may affect or be affectedby other agents in the environment, although this maynot be initially recognized. By communicating with oneanother and exchanging plans and schedules, these non-local interrelationships between tasks may be recognized.For example, the results from one agent’s activity may bea strict prerequisite for another agent’s task. They mayalternately be a facilitating, but not required input to a

10

Page 11: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

Figure 5: Congregations of agents.

task. By recognizing these interrelationships, and sharingknowledge of what goals are being pursued, agents grad-ually build an internal model of how their actions mayaffect others. This knowledge is similar to that createdby the more formal joint intentions of STEAM, and al-lows agents to influence local behavior and communicateresults as if they were members of a common team.

6 CongregationsSimilar to coalitions and teams, agent congregations aregroups of individuals who have banded together into atypically flat organization in order to derive additionalbenefits. Unlike these other paradigms, congregations areassumed to be long-lived and are not formed with a singlespecific goal in mind. Instead, congregations are formedamong agents with similar or complementary characteris-tics to facilitate the process of finding suitable collabora-tors, as modeled in Figure 5. The different shadings in thisfigure represent the potentially heterogeneous purpose be-hind each grouping, in comparison to the typically morehomogeneous coalitions in Figure 3. Individual agents donot necessarily have a single or fixed goal, but do havea stable set of capabilities or requirements which moti-vate the need to congregate (Brooks et al., 2000; Griffiths,2003). Analogous human structures include clubs, sup-port groups, secretarial pools, academic departments andreligious groups, from which the name is derived.

Congregating agents are expected to be individually ra-tional, by maximizing their local long-term utility. Groupor global rewards are not used in this formalism (Brookset al., 2000). It is this desire to increase local utility whichdrives congregation selection, because it is the utility thatcan be provided by a congregation’s (potential) members

that determine how useful it is to the agent. Agents maycome and go dynamically over the existence of the con-gregation, although clearly there must be a relatively sta-ble number of participants for it to be useful. Agents mustalso take enough advantage of the congregation so thatthat the time and energy invested in forming and findingthe group is outweighed by the benefits derived from it.Since congregations are formed in large part to reduce thecomplexity of search and limit interactions, communica-tion does not occur between agents in different congrega-tions, although the groups are not necessarily disjoint (i.e.,an agent can be a member of multiple congregations). Thenet result of the congregating behavior is an arrangementthat can produce greater average utility per cycle spentcomputing or communicating (Brooks and Durfee, 2002).

6.1 Characteristics

Although congregations can theoretically share many ofthe same benefits of coalitions, their function in currentresearch has been to facilitate the discovery of agent part-ners by restricting the size of the population that must besearched. As a secondary effect these groupings can alsoincrease utility or reliability by creating tighter couplingsbetween agents in the same congregation, typically byimposing higher penalties for decommitment or increas-ing information sharing among congregating peers. Thedownside to this strategy is that the limited set may beoverly restrictive, and not contain the optimal agents onemight interact with given infinite resources. So, in form-ing the congregation, one is trading off quality and flex-ibility for a reduction in time, complexity or cost. If anappropriate balance can be found, this will result in a netgain in utility.

This hypothesis is borne out in the experiments froman information economy domain (Brooks and Durfee,2002). This work varied the number of congregationsthat agents were allowed to form. Since the populationsize was static, the average congregation size decreased asthe number of congregations increased. The accumulatedquality decreased proportionally because of less flexibil-ity in agent interactions. However, these smaller congre-gations also incurred lower overhead, and thus had lesscost. A median point was discovered in the space whichproduced maximum value.

11

Page 12: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

6.2 Formation

Like coalition formation, congregation formation involvesselecting or creating an appropriate group to join, and suf-fers from similar complexity problems as the agent pop-ulation grows. Because congregations are more ideolog-ically or capability driven, and there is usually no spe-cific goal or task to unite them, one must first define howthese groups may be differentiated. In (Brooks and Dur-fee, 2003) Brooks proposes using labels to address thisproblem. A label is a suitably descriptive tag assignedto each congregation which serves to both distinguish itfrom other groups and advertise the characteristics of its(desired) members. Assuming that agents have an orderedpreference for such labels, the congregators’ action is sim-ply to move to the congregation for which it has the high-est preference. The problem is then to create a number oflogical points where agents may congregate and then de-cide upon the labels each congregation point will have;these labels help determine the makeup of the popula-tion which gathers there. Each agent was placed into oneof several affinity groups, and a congregation is stable ifand only if it contains only members of the same affin-ity group. Different numbers of labelers were then addedwhich could attach labels to the congregation points. Aswith the congregators, the labelers were stable if and onlyif the congregation they provided the label to was homo-geneous. The experimental and analytic results demon-strated that by increasing the number of labelers the sys-tem converged more quickly.

Brooks (Brooks and Durfee, 2002) presents a variationof this formation technique used in an information econ-omy which also takes into account the costs associatedwith congregation size. In this scenario there are a set ofbuyers and sellers. Each buyer has an information prefer-ence, and each seller may choose what type of informa-tion to offer. The buyer’s preference is soft – they havean optimal type, but are also willing to purchase relatedinformation, where similarity determines how much theyare willing to pay. Instead of explicitly labeling congrega-tion points, agents freely move through the system seek-ing groups that provide acceptable utility. The scenario isepisodic, where during each episode agents elect to stayin place or randomly move to a new congregation. At theend of each episode an auction takes place from whichbuyers and sellers obtain their utility. The utility is based

on the price of the goods bought and sold, combined withthe costs incurred during the auction. This cost, divideduniformly among the congregation members, is propor-tional to the complexity of the auction, which is itself de-termined by the number of participants. Satisfied agentsremain, while those which do not obtain enough utilitymove. This process results in an emergent population ofcongregations that trades off utility for computation time.

Griffiths’ notion of a clan closely parallels the defi-nition of a congregation (Griffiths, 2003). He presentsa technique where clans are formed as part of a self-interested activity to increase local utility or decrease theprobability of failure. If a motivating factor is exhibitedby the agent, such as a desire to increase information gainor decrease commitment failure, clan formation may beinitiated. Clan formation begins with the agent identifyinghow large a clan it wishes to create, which is based on thecompeting utility (in value added) and cost (in computa-tional complexity) that grow in proportion to clan size. Atrust value is then used to determine what agents it couldinvite, while the perceived capabilities or benefits of thoseindividual agents are used to determine the appropriatelysized subset that it will invite. In lieu of a negotiation pro-cess or explicit reward, invitation recipients determine ifthey will accept the invitation based first on their trust inthe sender, and second on the perceived local gain theywould receive by joining. The sender includes informa-tion about itself in the invitation as a sort of capability ad-vertisement to facilitate this determination. If a sufficientnumber of agents agree, the clan is formed, otherwise theattempt is abandoned.

Although it does not strictly deal with congregatingagents, Sen’s work on reciprocal behavior (Sen, 1996)has some of the same characteristics. In this system,agents become more inclined to cooperate or assist an-other agent when it has a favorable history with that otheragent. Specifically, agents track if others have cooperatedwith it in the past, or if it has cooperated with them, alongwith the approximate costs of those experiences. If anagent has a favorable balance of cooperation, it will bemore inclined to give or receive assistance. The coopera-tion decision process is stochastic, enabling reciprocal re-lationships to be created or promoted even when a strictlypositive balance does not exist. Weak groups may formbetween agents using this strategy who have complemen-tary capabilities, which is similar to the notion of con-

12

Page 13: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

Figure 6: An agent society.

gregations we have presented. Because agents will morelikely communicate with those that will help it, interac-tions can become implicitly confined within the group.These groupings are not formalized or well-defined, how-ever, and communication is not necessarily restricted bythe approximate boundaries that form. Sen showed that,among a group of self-interested agents operating in apackage delivery domain, a population containing recip-rocal agents outperformed a selfish population.

7 SocietiesDrawing from our own experiences with biological soci-eties, a society of agents intuitively brings to mind a long-lived, social construct. Unlike some other organizationalparadigms, agent societies are inherently open systems.Agents of different stripes may come and go at will whilethe society persists, acting as an environment throughwhich the participants meet and interact. A canonicalexample of this paradigm is the electronic marketplace(discussed in more detail in Section 9), consisting of buy-ers and sellers striving to maximize their individual util-ity (Wellman and Wurman, 1998; Artikis, 2003). A moreambitious example is the “agent world”, a permanent op-erating environment for agents that in some ways paral-lels our own (Dellarocas and Klein, 1999; Willmott et al.,2001). Agents will have different goals, varied levelsof rationality, and heterogeneous capabilities; the soci-etal construct provides a common domain through whichthey can act and communicate. Societies are also moreephemeral constructs than others paradigms we have seenso far. They impose structure and order, but the specificarrangement of interactions can be quite flexible. Withinthe society, agents may be sub-organized into other orga-

nizations, or be completely unrelated.A second distinguishing characteristic of societies is

the set of constraints they impose on the behavior of theagents, commonly known as social laws, norms or con-ventions. This arrangement is shown abstractly in Figure6, where the agents within the society have been providedwith a set of specified norms. These are rules or guide-lines by which agents must act, which provides a level ofconsistency of behavior and interface intended to facili-tate coexistence. For example, it might constrain the typeof protocol(s) agents can use to communicate, specify acurrency by which they can transfer utility, or limit thebehaviors the agent can exhibit in the environment. Penal-ties or sanctions may also exist to enforce these laws.

The set of laws embedded in a society must strike a bal-ance among objectives (Fitoussi and Tennenholtz, 2000).It must be sufficiently flexible that goals are achievable,but not so much so that the beneficial constraints pro-vided by the laws are lost. It must also be fair, such thatthe goals of one class of individuals are not incorrectlyvalued higher than those of another. These issues arisenaturally in any structured, multiple participant system;Moses argues that most multi-agent systems have someform of social laws in place, if only implicitly (Moses andTennenholtz, 1995).

7.1 CharacteristicsIn (Shoham and Tennenholtz, 1995), Shoham presents agrid world where robots must move from one location toanother in accordance with a set of dynamically arrivingtasks. Conflicts can arise when two or more agents at-tempt to occupy the same location at the same time alongtheir chosen paths. They argue that a centralized solutionis untenable, because of the potentially large number ofinteractions that must be continuously reasoned over inthe heterogeneous population. Neither is a fully decen-tralized solution appropriate, because of the number ofnegotiation events that would need to take place at eachtime step. This motivates the need for “traffic laws”, atype of social law which does not eliminate such interac-tions, but should minimize the need for them. The trafficlaws in this research are computed offline, and constrainthe robots’ movement patterns in such a way that colli-sions do not occur, and destinations are reachable withina bounded amount of time. Vehicular traffic laws serve

13

Page 14: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

the same purpose in human societies. When driving a carthere is no central authority which determines when andwhere we should go, and neither is there a free-for-all onthe roads where one must talk to every other driver be-fore proceeding. The challenge then is to design a set oflaws that minimizes conflicts and encourages efficient so-lutions.

Although social laws were used to provide efficiencybenefits in the work above, the purpose of an agent so-ciety is not always as quantitatively-driven as other or-ganizational constructs. Indeed, most research on agentsocieties is more concerned with how the concepts theyembody can be used to facilitate the construction of large-scale, open agent systems in general. For example, Moses(Moses and Tennenholtz, 1995) argues that social lawscan provide a formal structure upon which more com-plex inter-agent behaviors can be built. By limiting andenforcing these restrictions, agents can make simplifyingassumptions about the behavior of other agents, which canmake interaction and coordination more tractable.

In additional to formalizing normative behaviors,mechanisms may also be established to ensure or encour-age that such laws are respected. One approach accom-plishes this through explicit representations of reputationor trust (Mui et al., 2002; S. D. Ramchurn and Jennings,2004; Sabater and Sierra, 2002). An agent’s behaviorand interactions are observed by its peers and evaluatedin the context of the norms it has agreed to. Deviationfrom those norms will result in a worsening reputation.This decreased reputation can in turn affect the utility theagent obtains, through increased decommitment penaltiesor competition from more reputable peers. In a ratio-nal agent this will serve as a deterrent to violating con-ventions. A different, but complementary approach in-stantiates and enforces social laws using social institu-tions provided in the environment (Dellarocas and Klein,1999; Colombetti et al., 2004). Agents are expected toformalize their interactions using contracts, which are in-dependently verified by these institutions, thereby relo-cating some of the traditionally agent-centric complex-ity into a service available to the population as a whole.This reduces the burden placed on agent designers, andprovides a mechanism where systemic (non-localized orlong-term) failures may be detected more readily. Thismore rigorous enforcement of social laws also helps ad-dress the problem of unreliable, dishonest or malicious

agents operating in the open environment.Huhns (Huhns and Stephens, 1999) provides simi-

lar motivation for common communication languages,shared or interoperable ontologies and coordination andnegotiation protocols, all of which may be specified aspart of the society’s structure. These beliefs can be sup-ported by our own experiences in real life. It should beclear that complex human societies are founded upon theability to interact with one another. Mutually understoodand respected norms simplify many aspects of day-to-dayexistence. These principles can be used to the same effectin agent societies.

7.2 FormationThere are two aspects to the society formation prob-lem. The first is to define the roles, protocols and so-cial laws which form the foundation of the society. Givensuch a definition, the second problem is to implement themore literal formation of the society, by determining howagents may join and leave it.

If the society is to be an open and flexible system, itsstructure must be formally encoded so that potential mem-bers may analyze it and determine compatibility. This de-scription can be as simple as a set of common interfacesthat must be implemented, or a complex description ofpermissible roles, high-level objectives and social laws.Dignum (Dignum, 2003; Dignum et al., 2002) presentsa three-part framework, consisting of organizational, so-cial and interaction models. The organizational modeldefines the roles, norms, interactions and communicationframeworks that are available in the environment. The so-cial model, instantiated at run-time, defines which rolesagents have taken on. The interaction model, also createdat run-time, encodes the interactions between agents thathave been agreed-upon, including the potential rewardand penalties. The latter two models are supported bycontracts between the relevant entities. This formalism issimilar to that proposed by Artikis (Artikis, 2003), whichprovides additional details describing operators that canbe used to encode social laws, roles and normative rela-tions. Because the society is intended to be open, thesestructures do not involve the internal implementation ofagents, but describe only the intended or expected exter-nally observable characteristics of the participants and en-vironment.

14

Page 15: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

Assuming it is possible to encode the social laws in away that makes them intelligible to agents, one still facesthe challenge of determining what conventions shouldbe enacted. Fitoussi (Fitoussi and Tennenholtz, 2000)presents a notion of minimal social laws, where he ar-gues that one should choose the smallest and simplest setof norms that address the needs of the society. This isconsistent with the tradeoff between flexibility and com-plexity mentioned above. Work has also been done ex-ploring the dynamic emergence of norms, for when so-cial laws cannot specified off-line or if there is a desirefor the corpus to be responsive to changing conditions(Axelrod, 1986; Hewitt, 1986). Walker and Wooldridge(Walker and Wooldridge, 1995) propose and evaluate anumber of ways that a group of agents can reach normconsensus based on locally available information.

Dellarocas defines the act of an agent entering a soci-ety to be the socialization process (Dellarocas and Klein,1999). In that work, they suggest this can be accom-plished through an explicit negotiation process betweenthe agent and a representative of the society, as shownin the left side of Figure 6. This exchange results in asocial contract, or an explicit agreement made betweenthe agent and the society indicating the conditions underwhich the agent may join that society. This allows thepossibility of capable agents dynamically learning, andpotentially negotiating over, the rules it must abide byin that society. Lopez y Lopez (y Lopez et al., 2004),present a framework in which the facilities for norm rea-soning needed to support these behaviors can take place.A similar view is taken by Glaser in (Glaser and Morig-not, 1998), with the additional stipulation that the joiningagent must increase the utility of the society. This nat-urally extends to multi-society environments, where anagent’s skills and goals define how good a fit it is witha particular society. Some of the challenges associatedwith operating in multi-society environments seem to becomparable, though larger in scale, to those encounteredduring coalition or congregation formation.

Because of their inherent flexibility, a great deal of ad-ditional complexity may be associated with social orga-nizations. Sophisticated legal systems, communicationbridges, ontologies, exception handling services, directo-ries may all be part of the society model (Dellarocas andKlein, 1999; Dignum, 2003; Klein et al., 2003). Some orall of these may be directly instantiated by trusted agents

Figure 7: An agent federation.

taking on so-called facilitation roles (differentiated fromthe operational roles taken on by worker agents). Ofcourse, agents acting in the society must have a certainlevel of sophistication to know how and when to use suchservices. An interesting almost-paradox exists in this re-lationship. Although the society exists in part to reducethe complexity burden imposed on the participants, theparticipants must raise their level of complexity to takeadvantage of these benefits. In the case where interac-tions with some or all social services are mandatory (e.g.legal or arbitration services), this additional complexity issimilarly unavoidable and can act as a barrier to entry.

8 FederationsAgent federations, or federated systems, come in manydifferent varieties. All share the common characteristicof a group of agents which have ceded some amount ofautonomy to a single delegate which represents the group(Wiederhold et al., 1992; Genesereth, 1997). This orga-nizational style is modeled on the governmental systemof the same name, where regional provinces retain someamount of local autonomy while operating under a singlecentral government. The delegate is a distinguished agentmember of the group, sometimes called a facilitator, me-diator or broker (Sycara et al., 1997; Hayden et al., 1999).Group members interact only with this agent, which actsas an intermediary between the group and the outsideworld, as shown in Figure 7. In that figure each group-ing is a federate, and the white agent situated at the edgeof each federate is the delegated intermediary. Typically,the intermediate accepts skill and need descriptions fromthe local agents, which it uses to match with requests from

15

Page 16: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

intermediaries representing other groups. In this way thegroup is provided with a single, consistent interface. Thislevel of indirection is similar to that seen in holons, andprovides some of the same benefits.

8.1 CharacteristicsThe capabilities provided by the intermediary are whatdifferentiate a federation from other organizational types.The intermediary functions on one hand by receivingpotentially undirected messages from its group mem-bers. These may include skill descriptions, task require-ments, status information, application-level data and thelike. These will typically be communicated using somegeneral, declarative communication language which thefacilitator understands (Genesereth, 1997). Outside ofthe group, the intermediary sends and receives infor-mation with the intermediaries of other groups. Thiscould include task requests, capability notifications andapplication-level data routed as part of a previously cre-ated commitment. Implicit in this arrangement is that,while the intermediary must be able to interact with bothits local federation members and with other intermedi-aries, individual normal agents do not require a commonlanguage as they never directly interact. This makes thisarrangement particularly useful for integrating legacy oran otherwise heterogeneous group of agents (Genesereth,1997; Shen and Norrie, 1998).

The intermediary itself can function in many differentcapacities. It may act as a translator, perform task alloca-tion, or monitor progress, among other things. An inter-mediary which accepts task requests and allocates thosetasks among its members is known as a broker or a facili-tator. As part of the allocation, the broker may decomposethe problem into more manageable subtasks. This allowsagents to take advantage of all the capabilities of the (po-tentially changing) federation, without requiring knowl-edge of which agents perform a task or how they go aboutdoing it. This reduces the complexity and messaging bur-den of the client, but also has the potential of making thebroker itself a bottleneck (Hayden et al., 1999) (a pos-sibility common to all intermediaries). An intermediaryacting as go-between among agents is known variously asa translator, embassy or mediator depending on its spe-cific characteristics. Embassy agents provide a layer ofsecurity for members of their federation, by having the

ability to deny communication requests. Mediator agentsstore representations of all related parties, reducing theirindividual complexity by providing a layer of abstraction.This capacity can be further exploited to arbitrate con-flicts (Mailler and Lesser, 2004). Intermediaries whichprovide the ability to track the state of one or more of itsparticipants are known as monitors. For example, resultinformation can be automatically propagated to interestedparties. Of course, one or more of these roles may becombined into a single intermediary which offers severaltypes of services.

8.2 FormationSingh and Genesereth in (Singh et al., 1995; Genesereth,1997) describe how a general federated system wouldwork. All agents are expected to communicate using anAgent Communication Language (or ACL, a somewhat-generic term used by many researchers to describe theiragents’ communication protocol), which in this work is acombination of the first-order predicate calculus KIF withthe KQML agent messaging language. Knowledge andstatements sent between agents are encoded as KIF state-ments, which are then wrapped in KQML to provide astandard mechanism for specifying the sender, receiver,intent, and so forth. This provides a common languageand set of behavioral constraints that will allow the vari-ous agents to interact. Not all agents must implement theentire class of concepts in the ACL, but the aspects theydo use must be correct with respect to the ACL’s specifica-tion. In addition, although they speak the same language,not all agents must use the same vocabulary to describe aparticular situation, although to interact there must be anintermediary capable of translating the vocabularies. Thesystem is initialized with a set of intermediaries called fa-cilitators, which serve many of the roles outlined above,notably brokering. Agents connecting to the system startby sending their capabilities to the local facilitator. Im-plicit in this communication is the notion that the agentis willing to use those capabilities in service of requestsposed by the facilitator. Needs are similarly routed to thefacilitator, which then attempts to find other facilitatorsthat can service that need. Each facilitator provides a yel-low pages function which supports this search. Khedro’sFacilitators (Khedro and Genesereth, 1995) and the jointlydeveloped PACT project (Cutkosky et al., 1997) have pro-

16

Page 17: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

Figure 8: A multi-agent marketplace.

duced very similar systems that also use a common ACLand a community of intermediaries to produce a robustand dynamic task decomposition and allocation schemeamong a group of heterogeneous participants.

The MetaMorph I (Maturana et al., 1999) and II (Shenand Norrie, 1998) architectures described by Maturanaand Shen demonstrate a federated agent system for usein intelligent manufacturing. In this domain, agents areused to drive aspects of product design and manufactur-ing, contending with heterogeneous resources, dynami-cally changing conditions, and hard and soft constraintson behavior. MetaMorph’s name is derived from the factthat the system can continuously change shape, adaptingto new conditions as they are perceived. This is accom-plished in part through the use of intermediaries calledmediators, which are responsible for brokering, recruit-ing and conflict resolution services. The recruiting ser-vice is similar to brokering, but is differentiated by thefact that the intermediary can remove itself from the re-lationship once the partners have been discovered. Thisweaker form of federation provides efficiency gains at thecost of less flexibility, both due to the loss of the layer ofabstraction that exists in the brokered approach. The fed-erations themselves are dynamically created in responseto new task arrivals or requests from other groups usinga contract net (Smith, 1980) approach, or are staticallycreated from agents in a common subsystem (e.g. tools,workers, etc.).

9 MarketsIn a market-based organization, or marketplace as shownin Figure 8, buying agents (shown in white) may requestor place bids for a common set of items, such as shared re-sources, tasks, services or goods. Agents may also supply

items to the market to be sold. Sellers (shown in black),or sometimes designated third parties called auctioneers,are responsible for processing bids and determining thewinner. This arrangement creates a producer-consumersystem that can closely model and greatly facilitate real-world market economies (Wellman, 2004). These lat-ter systems fall into the more general category of agent-mediated electronic commerce (Guttman et al., 1998). Be-cause of this similarity, a wealth of research results fromhuman economics and business can be brought to bear onagent-based markets, creating a solid theoretical and prac-tical foundation for creating such organizations (Wellman,1993; Wellman and Wurman, 1998; Corkill and Lander,1998).

Markets are similar to federated systems in that a distin-guished individual or group of individuals is responsiblefor coordinating the activities of a number of other partic-ipants. Unlike a federation, market participants are typ-ically competitive. In addition, participants do not cedeoperational authority to those distinguished individuals,although they do trust the entities managing the marketand abide by decisions they make. It is also common formarkets to operate as open systems (Wellman, 2004), al-lowing any agent to take part so long as it respects thesystem’s specified rules and interface. As such, they sharesome of the benefits and drawbacks of societies.

When using the terms “buyer” and “seller”, one mayimplicitly assume that an artifact will eventually betransferred in exchange for some form of compensation(Chavez and Maes, 1996; Tsvetovatyy et al., 1997). Al-though this paradigm is common, it is not always the case,and market-based organizations have been used in vari-ous projects to accomplish less obvious goals. For ex-ample, Wellman (Wellman et al., 1998) proposes usinga market-based approach to perform decentralized fac-tory scheduling. In this work, each factory job is asso-ciated with a duration, deadline and value. The factoryitself, acting as the seller, has a reserve price associatedwith the time slots it has available. Agents bid on a setof slots that have sufficient total time to satisfy the jobduration and do not exceed the deadline, using the jobvalue as a maximum bid price. Market forces will causeagents to seek out the most cost-effective time slots, whilehigher-valued jobs will naturally take precedence overlower ones. This should lead to an efficient allocation of(time) resources, while maximizing the factory’s overall

17

Page 18: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

utility. Bussman (Bussmann and Schild, 2000) has de-veloped an auction-based manufacturing control systemwith a similar purpose, where agents are used to repre-sent workpieces, transportation conveyors and machines.In this work, machines bid for the right to work on work-pieces, which act as sellers, by relating an expected timeto completion. When a machine’s bid is accepted, a se-ries of additional negotiations between the workpiece andthe conveyors move the piece to the appropriate location.Yet another example is the Mariposa distributed databasesystem (Stonebraker et al., 1996), which uses market-based techniques to optimize query processing. Individ-ual nodes buy and sell fragments of information. Queriesinserted into the system are associated with a biding pro-file, indicating how much the user is willing to pay. Abrokering process takes the query and requests bids fromrelevant nodes. who then submit bids in an effort to winthe rights to process the query.

More generally, Wellman proposes the notion ofmarket-oriented programming (Wellman, 1993), whichuses the marketplace paradigm as a general program-ming methodology that can efficiently address multi-commodity flow and resource allocation problems. HisWALRAS framework that implements this concept hasbeen used to create solutions for transportation logis-tics, product design and distributed information services.Many other marketplace frameworks have also been de-veloped for general use (Chavez and Maes, 1996; Ro-driguez et al., 1997; Collins et al., 1998; Collins and Lee,1998; Cuni et al., 2004); Kurbel and Loutchko providea comparative analysis of structure and function (Kurbeland Loutchko, 2003).

9.1 CharacteristicsMarkets excel at the processes of allocation and pricing(Wellman and Wurman, 1998). If agents bid correctly (i.e.make truthful bids according to their perceived utility gainif they win), the centralized arbitration provided by theauctioneer can result in an effective allocation of goods.The Kasbah system (Chavez and Maes, 1996) is an ex-ample of an agent-based marketplace that demonstratesmany of the typical characteristics of this type of organi-zation. Agents in Kasbah are segregated into two cate-gories: buyers and sellers. Both types indicate the typeof object they are interested in (buying or selling) with

a feature vector, along with a desired price, a thresholdprice (lower or upper bound), and a negotiation strategythat controls how their offered price changes over time. Asale occurs when a seller’s price matches what a buyer iswilling to pay. The objects being sold in this system rep-resent the targets of the allocation process, and the price isdetermined dynamically according to supply and demand.The mechanism that is employed in Kasbah correspondsto an intuitively fair way to allocate among competitors,at least from a self-interested point of view: all agentsgradually compromise, and the agent willing to meet theseller’s price first wins.

The behaviors embodied in a marketplace, namely theexistence of buyers and sellers, a potential multitude ofgoods, and competition among participants, make suchorganizations intrinsically linked with the properties ofauctions. Kasbah is an example of a two-sided auction,because both sides compromise. If one of the two partiesmaintained a fixed price, it would be one-sided auction.Many other types of auctions exist to service the differentneeds of different communities, each with their own char-acteristics (Wurman et al., 2001; Kurbel and Loutchko,2003). For example, in a combinatorial auction, partici-pants bid on collections of goods, rather than single ob-jects. In an reverse auction, sellers bid rather than buyers.In sealed-bid auctions, the participants do not see com-peting bids while the auction is is progress. In continuousauctions, a pool of items exist, exchanges occur as soonas two compatible bids are made, and the bidding pro-cess continues uninterrupted. The particular type of auc-tion which is employed dictates the manner in which theparticipants interact. Much of the complexity involvedin designing an effective market and marketplace agentrevolves around understanding the subtleties of the auc-tion’s characteristics, and crafting an appropriate strategybased on that knowledge.

There are two drawbacks to market-based organiza-tions. The first is the potential complexity required toboth reason about the bidding process and determine theauction’s outcome. The former computation may requirea detailed approximation of competitors’ beliefs, a prac-tice known as counterspeculation, especially in single-shot or sealed bid auctions (Tsvetovatyy et al., 1997).The latter computation, also known as clearing the thetrade, can be particularly difficult in the case of combina-torial auctions. This is known to be a NP-complete prob-

18

Page 19: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

lem (Sandholm, 2002), although solutions have been de-vised that have good performance in practice (Sandholm,2005). The second is security; in addition to the practi-cal network-related security issues inherent in any opensystem, one must also be able to verify the validity of theauction approach itself. For example, the bidding strat-egy used in the Kasbah system is vulnerable to a formof cheating known as collusion. If two or more biddersin the system agree to reduce their rate of compromise,they have a chance to artificially lower the final sale price.It is also important that the bidding process does not re-veal information about the participants. For example, ifa seller could determine the threshold prices of some ofits buyers, it could simply wait until the maximum suchprice is reached, thereby artificially increasing the saleprice. Some of these issues can be resolved by select-ing an appropriate auction type. The Vickrey auction’sstructure (Vickrey, 1961), where the highest bidder winsbut pays the second highest bid price, promotes truthfulbidding and discourages counterspeculation. Enforcinganonymity and secure communication channels can alsohelp avoid many common pitfalls.

9.2 FormationAs is the case of many open systems, marketplaces arefrequently static, pre-existing entities that do not require aformal creation process beyond starting the actual marketprocess (if any) and allowing agents to connect. The well-known Trading Agent Competition market (Wellman andWurman, 1999) operates in such a fashion, albeit for alimited amount of time. They may have certain barriersto entry, such as respecting a defined programming inter-face, implementing a particular transaction language, andrespecting the rules of the market’s auction type. Theseentry conditions are similar to those discussed earlier inthe context of societies, although there is generally no for-mal negotiation or socialization process involved. Well-man (Wellman, 2004) outlines a number of other practicalcharacteristics that should be exhibited for a marketplaceto be successful. They must maintain temporal integrity,meaning that the outcome of an auction depends on thearrival sequence of bids, and is independent of any delaysinternal to the market itself. Transactions performed bythe market must be atomic, that is, they have no effect ifthey fail or are canceled prior to completion. As noted

above, they also require attention to security risks, so thatparticipant information is adequately protected and theauction process itself is kept safe from conventional at-tacks, particularly if there is an actual exchange of goods,information or currency in the market. Markets may alsoincorporate product discovery services, banking services,brokering middle-agents and negotiation support, to re-duce the burden placed on the participants (Tsvetovatyyet al., 1997; Guttman et al., 1998).

Other works have explored dynamic formation of mar-kets. As mentioned in Section 6, Brooks has used the no-tion of congregations to dynamically form markets withina group of agents (Brooks and Durfee, 2002). Recall thatcongregations are groups of agents which have bandedtogether because of some common long-term interest orgoal. In this work, that long term goal is the cost-effectiveexchange of goods or services. In a large population, itcan be difficult to directly find suitable trading partners,and expensive to contact or broadcast to all possible part-ners. A suitably formed congregation serves to limit thescope of this search or broadcast, which in turn facilitatesthe marketplace creation.

A relatively new concept being exploited in both human(Mowshowitz, 1997) and agent (Ahuja and Carley, 1999;Foster et al., 2004; Cardoso and Oliveira, 2004) organi-zation research is the virtual organization (VO). A virtualorganization is one that has a fixed purpose (e.g., to pro-vide a set of services) but a potentially transient shapeand membership. The key characteristics of a VO are thatthey are formed by the grouping and collaboration of ex-isting entities, and there is a separation between form andfunction that precludes the need to rigidly define how abehavior will take place. This provides flexibility in howa particular goal is satisfied, by allowing the system toadapt the set of participants to meet resource availabilityand service demand. The concept is similar to the coali-tion and congregation paradigms discussed earlier, andhas many of the same benefits as a federation, althougha virtual organization can generally be thought of as anentity in and of itself more so than an empty coalition orcongregation.

The CONOISE project has explored the dynamic cre-ation of virtual organizations within a larger marketplaceenvironment (Norman et al., 2003). In this context, thecreation of a VO can be thought of as the creation of anew market entity (buyer or seller) from a group of exist-

19

Page 20: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

Figure 9: A matrix organization.

ing participants. This can give those participants greaterleverage, efficiency or reliability as they combine theirproducing or consuming power. The members of a VOmay remain distinct when outside of the marketplace, butwithin the market they act as a single unit. For example,two producers might combine to offer a new joint product.Two consumers might combine to obtain greater buyingpower. In responding to bids, a VO will then be able tooffer the union of services or goods over all its members.VOs may also split when the relationship is no longer ben-eficial or if levels of trust or reputation have been suffi-ciently degraded. In all cases, the shape of the marketis affected as these changes are made, and thus the mar-ket as a whole will evolve over time based on the needsand capabilities of the participants, and the correspondingconsolidation decisions they make.

10 Matrix OrganizationsWe have seen that the strict hierarchical organizationmethod is based on a tree-like structure of control. Agentsor agent teams report to a single manager, which providesthe agents with goals, direction and feedback. Matrix or-ganizations relax the one-agent, one-manager restriction,by permitting many managers or peers to influence theactivities of an agent. This forms a mixed-initiative envi-ronment, where successful agents reason about the effectstheir local actions can have on multiple entities. This is insome sense a closer approximation to how humans ex-ist. A person may receive guidance or pressures from

their manager, co-workers, spouse, children, colleagues,etc. Even in a purely business setting one might have toreport to an immediate supervisor, project managers, ven-dors, and peers at cooperating businesses. Interrelation-ships can come from many directions, each with its ownobjectives, relative importance and pertinent characteris-tics (Wagner and Lesser, 1999).

The term matrix organization comes from a grid basedview of the participants. One can place managers (black)around a group of “worker” agents (white), and use a di-rected edge to indicate authority, as in Figure 9. Alter-nately, agents are the rows and managers the columns(these sets may overlap), and a check is used to denotewhere an authority relationship exists. Like the hierar-chy’s tree, the matrix provides a graphical way to depictwhich managers can influence the activities of each agent.

10.1 CharacteristicsMatrix organizations provide the ability to explicitly spec-ify how the behaviors of an agent or agent group may beinfluenced by multiple lines of authority (Decker et al.,1995). In this way, the agent’s capabilities may be shared,and the agent’s behaviors (hopefully) influenced so as tobenefit all. This is particularly important if the agentsthemselves are viewed as a functional, limited resources.For example, if a particular skill is needed by two separatetasks, the agent can be used to address both, provided ithas sufficient computational power. In the case where theagent has multiple ways of performing a task, it can alsochoose the method which best satisfies its peers.

This sharing come as a price, however, because theshared agent becomes a potential point of contention. Ifits managers disagree, the agent’s actions may becomedysfunctional as it is pulled in too many directions at once(Schwaninger, 2000; Romelaer, 2002). To operate effec-tively, the agent must have a commitment ranking mecha-nism and sufficient autonomy to resolve local conflicts, orthe ability to promote conflicts to a higher level wherethey may be resolved (Mailler et al., 2003). Wagner’smotivational quantities framework (Wagner and Lesser,1999) is one approach that addresses this problem. In thatwork, task valuation is performed by combining both thelocal intrinsic worth of the task with the perceived or spec-ified worth that task will have on other entities. This val-uation is quantified through the expected production and

20

Page 21: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

consumption of different motivational quantities (MQs),which act as a virtual resource or medium of exchange.The preference for particular MQs is specified with a setof utility curves that together determine the agent’s over-all utility. By coupling the production of different typesof MQs with the tasks associated with different managers,the framework is able to capture the quantitative motiva-tion behind a particular course of action. This explicitlyrepresents the type and state of the relationships the agenthas with those managers, which can enable it to correctlybalance its behavior in a matrix organization.

10.2 FormationDecker (Decker et al., 1995) describes the MACRON or-ganizational architecture, in which agents form a matrixorganization. The domain for their system is coopera-tive information gathering, where multiple agents searchfor relevant data in response to a user’s query. Individ-ual agents are separated into predefined functional groupsthat contain agents able to access a particular type of in-formation. These groups are under the control of a func-tional manager, who assigns agents to query tasks as theyarrive. User query agents generate those query tasks, andtherefore use the functional managers to dynamically se-lect agents to satisfy their own goals. Individual gather-ing agents report to two agents: a static functional man-ager, and a query manager which changes depending onthe user’s actions. This has the effect of assigning theminimal needed set of agents to the query, increasing ef-ficiency when compared to a system employing a set ofstatic teams where particular team members might go un-used, depending on the query characteristics. At the sametime, this approach uses fewer resources than one lackingfunctional groups, which would have to search through allavailable agents for each query.

In (Horling et al., 2003), Horling and Mailler describe adistributed sensor network application where a matrix or-ganization is used to address a resource allocation prob-lem. In this case, the sensors themselves were limitedresources, since their heterogeneous locations and orien-tations made each one unique. The tracking process foreach target was controlled by a different track manager,which was responsible for discovering and coordinatingwith the sensors needed to track its target. When mul-tiple targets came in close proximity to the same sensor,

Figure 10: A compound organization.

a matrix organization is dynamically formed as the rel-evant managers interact with that sensor. At the sametime, that sensor may have previously been given tasks bya regional manager responsible for detecting new targets.The result is an individual which may be under contentionby three or more managers, and which must then decidehow best to meet those demands. This was done usinga combination of a predefined ranking scheme (trackinghas higher priority than scanning for new targets), localautonomy (round robin scheduling) and conflict elevation(track managers negotiate directly once aware of the con-flict).

11 Compound OrganizationsNot all organizational structures fit neatly into a particularcategory, and some architectures may include characteris-tics of several different styles. A system may have oneorganization for control, another for data flow, a third fordiscovery, and so on. For example, Durfee’s PGP (Durfeeand Lesser, 1991) incorporates one organization for in-terpretation, and another separate structuring of the sameagents to manage coordination problems. Compound or-ganizations can be overlapped, operating as virtual peersat the same conceptual level, or be nested, so that somesubset of agents in a group are organized in a potentiallydifferent way within the larger context. A sample suchorganization is shown in Figure 10, which combines a hi-

21

Page 22: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

erarchy with a set of coalitions. As with singular orga-nizations, they may be created or adapted over time, orthey may be instantiated as part of a transient form whilea population shifts between organizational styles. Ideally,these compound architectures can use the most effectivestructure for the particular goal at hand, without limitingoptions that might be used elsewhere in the system. Thetradeoff in this situation is usually one of complexity. Be-cause an individual agent might take on different roles inresponse to different organizational demands, the agentitself must have sufficient sophistication to act efficientlyand asynchronously in all those roles.

Some of the organizational paradigms which have beendiscussed so far are more amenable to coexistence thanothers. In much of the teamwork research, for example, aloose hierarchy of control was created among the agentsafter the team had formed (Tambe, 1997; Tidhar et al.,1996). Hierarchical structures for interpreting and con-solidating raw data are also a popular mechanism for han-dling scale that can augment a preexisting or lower-levelstructure (Yadgar et al., 2003). Societies frequently havean internal organizational structure within the larger con-text defined by the social laws and norms (Dellarocas andKlein, 1999; Dignum, 2003). In other cases, researchershave exploited the characteristics of one type of organiza-tion to create another. Congregations, for example, havebeen used to facilitate the dynamic formation of markets(Brooks and Durfee, 2002), while both markets (Lermanand Shehory, 2000) and hierarchies (Abdallah and Lesser,2004) have been used to efficiently create coalitions. So-cieties can also be viewed as a common “pool” of agents,from which a range of other organizations can be con-stituted. In this type of compound organization, the so-ciety may exist in support of other, more dynamic struc-tures created to address particular tasks (Sichman and De-mazeau, 2001). This begins to touch on the notion of or-ganization longevity, which will be addressed in Section13.

11.1 CharacteristicsThe positive and negative characteristics of a compoundorganization are derived primarily from its constituentparts. However, the interplay between organizations canlead to unexpected consequences. For example, if the dis-tinguished intermediary in a federated system plays a key

role in a separate overlay organization, it may be unableto fulfill both roles adequately. Similar to a matrix or-ganization, agents may be faced with conditions where itis not clear which of two competing objectives it shouldsatisfy (Romelaer, 2002). Conversely, its knowledge ofthe requirements of both organizations may enable it tomake more globally effective decisions. The possible in-teractions and formation strategies among arbitrary coex-isting organizations are difficult to characterize in a gen-eral manner; instead we will proceed with a discussion ofexample systems employing this technique.

11.2 Example Compound OrganizationsThe distributed sensor network solution described by Hor-ling and Mailler (Horling et al., 2003) uses several dif-ferent overlapping organizational techniques. Agents arefirst partitioned into federations, called sectors, wheremembership is based on their geographic proximity. Adistinguished member of each group is given the role ofsector manager, who provides a form of recruiting serviceto other agents in the environment. This recruiting ser-vice supports the activities of track managers, who mustdiscover and use the appropriate sensors as part of theirtracking task. In forming the federations, the search timeis reduced because only a subset of the population (thesector managers) needs to be interacted with, and commu-nication requirements requirements are reduced becauseonly the necessary subset of sensors will be returned. Asdiscussed in Section 10, both the sector and track man-agers provide tasks to individual sensors, forming a ma-trix organization in the process. This arrangement facil-itates resource sharing by allowing the sensors to guidetheir local activities based on the needs of potentially sev-eral interested parties, but can also lead to conflicts causedby over-demand. Because the sensor is a finite resource,a cloning technique like the one discussed in Section 2cannot be used to address the conflict. Instead, a loosepeer-to-peer relationship between track managers allowsthem to negotiate directly, alleviating the conflict throughdemand relaxation or by using alternate sensors. This re-source allocation scheme employs a second, weaker formof federation through its use of mediators (Mailler andLesser, 2004). The conflicts, which may be potentiallymulti-linked and far-reaching, are partially centralized bya mediator agent which acts on the part of the relevant

22

Page 23: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

agents to find a suitable solution. In (Horling et al., 2004)the quantitative effects of these interactions are demon-strated through a set of experiments that vary the shape ofthe organizational structure.

Yadgar (Yadgar et al., 2003) describes a different ap-proach in a distributed sensor environment. Groups ofgeographically-related sensors are first formed into sam-pler groups, which are essentially federations with a sin-gle agent called the sampler group leader acting as theintermediary. These groups then form the lowest levelof a data aggregation hierarchy that exists above them.This arrangement is similar to the example organizationshown in Figure 10. The sampler group leader collectsraw data from the members of its group, and passes thedata to its parent agent in the hierarchy, known as a zoneleader. It is this zone leader’s responsibility to interpretthe sensor data to the best of its ability, by building mo-tion equations and combining data perceived to be fromthe same target. This more abstract view is then passedto the next level of the hierarchy, where the process re-peats. This will eventually terminate at the apex agentwhich should be able to reconstruct a global view fromthe abstract pieces it receives. The hierarchy itself is strict,and communication is only permitted between connectedagents, which reduces the level of sophisticated neededby the agents. The experimental results showed that thissolution could scale to thousands of sensors and targets.The tradeoff they discovered was that shorter hierarchiesproduced more accurate results, because the fragmenta-tion of the area was minimized, which in turn reducedthe number of fusion processes data must survive beforeit is incorporated. Conversely, taller hierarchies dramat-ically reduced the computational load placed on any oneagent, because the area each agent was responsible for be-came relatively small. By weighing these characteristicsagainst the domain requirements one can select an appro-priate structure to use.

12 Other Organizational TopicsIn this survey we have focused entirely on particular or-ganizational paradigms. However, there are a number ofother topics related to organizational design which we willnot cover in detail, but are sufficiently important to war-rant mention. These are outlined below:

1. Global Organizational Representation Implicit inthe concept of an intentional organizational designis an explicit representation of its structure. Thisis of use to designers, as a means of specificationand exploration, and to the agents themselves, as atemplate and diagnostic tool. A number of generalmodeling representations have been proposed, no-tably by Fox (Fox et al., 1998), Tambe (Tambe et al.,1999), Hubner (Hubner et al., 2002), Pattison (Pat-tison et al., 1987), Dignum (Dignum, 2003), Sims(Sims et al., 2004), Horling (Horling and Lesser,2005) and Vazquez-Salceda (Vazquez-Salceda et al.,2004).

2. Local Organizational Representation The organi-zation’s global view is not always the most appro-priate vehicle to guide agents’ behaviors. It canbe too coarse in granularity, too qualitative or sim-ply too large to be of practical use. Agents requirea well-defined, quantitative mechanism that can beused to select appropriate local actions while respect-ing global organizational specifications. This pro-cess was originally described as local elaboration byMarch and Simon (March and Simon, 1958), wherethe activities performed by an agent are first con-strained by its position in the organization, and thenselected using local information and capabilities.The social consciousness model suggested by Glassand Grosz (Glass and Grosz, 2000), Decker’s TÆMSlanguage (Decker and Lesser, 1993b), Shoham’ssocial laws (Shoham and Tennenholtz, 1995), andWagner’s MQ framework (Wagner and Lesser, 1999)provide ways to accomplish this.

3. Organizational Performance Other researchershave taken a different approach by creating for-mal analytic or statistical models that focus on theactivities or behaviors of the organization, ratherthan representing the organization as a whole (Mal-one and Smith, 1988; Decker and Lesser, 1993a;Montgomery and Durfee, 1993; So and Durfee,1996; Lerman and Galstyan, 2001; Shen et al.,2004; Gnanasambandam et al., 2004; Horling andLesser, 2005; Schmitt and Roedig, 2005). Thesetypically more quantitative representations can pro-vide insights into organizational performance thatare largely absent from purely descriptive or logical

23

Page 24: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

representations. A different approach is to use exper-imental or simulation studies, which can offer a moregeneral-purpose approach to analyze organizationalperformance that may not be amenable to model-ing (Lesser and Corkill, 1983; Lin and Carley, 1995;Sierra et al., 2004). The drawback to using empiricalanalysis is the time required to run such tests, whichis usually much greater than that needed for analytictechniques. Conversely, analytic models may requiresimplifying assumptions to be tractable, or otherwisefail to take into account the complexity real-worldbehaviors. Parunak (Parunak et al., 1998) providesfurther discussion on the tradeoffs between these ap-proaches. However they are obtained, such predic-tions can play a critical role in the search and eval-uation process, by allowing the designer to directlycompare alternative organizational strategies beforeimplementing a design. This can provide the foun-dation for a more proscriptive organizational tool.

4. Generative Paradigms In each section, we havepresented different ways in which organizations maybe formed. We have not, however, presented a uni-fied discussion of specific generative paradigms – aclassification of the techniques that may be used toproduce organizations. These may be broadly sepa-rated into at least three classes: scripted, controlledand emergent. The first includes organizations thatare produced from statically predefined instructions,possibly from an external third party or during start-up. The second includes those that are explicitlyapplied to a population by an individual or groupof individuals in response to perceived conditions.The third captures techniques which have no cen-tral or global direction, but are instead self-directedor grown organically through the individual actionsof agents. In practice, it may be difficult to clearlyclassify particular techniques. For example, congre-gations emerge from individual agent decisions us-ing the technique described by Brooks (Brooks andDurfee, 2003). However, the fact that it uses heuris-tics intended to simulate a controlled decision, alongwith agents which provide labels to guide the forma-tion, gives the appearance of a controlled process.

5. Organizational Adaptation Although we havebriefly touched on adaptation previously, an organi-

zation’s ability to adapt is a general concept that iscritical in any dynamic environment. The organi-zation must have the ability to detect and react tochanges in a timely manner in realistic, open do-mains (Carley, 1998; Barber and Martin, 2001; Hor-ling et al., 2001). Any organizational change whichoccurs at runtime will have associated costs. Thesecosts may be observed in direct consumption of re-sources, such as bandwidth or processing power, orindirectly because of inefficiencies or opportunitiesmissed while in an intermediate state. The ability toadapt an organization depends on first recognizingpotential problems, evaluating the costs and benefitsof candidate solutions, and then implementing theselected changes. Related to adaptation is the notionof social pathologies, which occur when an organi-zation adapts inappropriately (Turner, 1993; Jensenand Lesser, 2002).

6. Coordination and Negotiation Many of the organi-zational styles that we have covered assume somethat some sort of interaction or coordination willtake place between agents. This is seen in the au-thority relationships of hierarchies, the joint inten-tions of teams, data routing protocols in federations,and negotiations of society members. The charac-teristics provided by these interactions are criticalto the effective qualities of these paradigms. Forexample, aggregating nodes and managers in hier-archies and intermediaries in federations frequentlytake on responsibilities related to coordination, byassigning tasks or routing information in such a waythat interrelationships among their subordinates canbe avoided (Galbraith, 1977). Argumentative nego-tiation has been shown to be effective in resolvingconflicts in team settings (Jung et al., 2001). Thetechniques that are used can heavily influence the in-teractions and behaviors exhibited by the group, ul-timately affecting the performance of the organiza-tional structure. Work by Prasad Prasad and Lesser(1999), Lesser (Lesser et al., 2004) and Toledo(Excelente-Toledo and Jennings, 2004) have also ex-plored the dynamic selection of coordination strate-gies, which in this context can be considered a formof organizational adaptation.

24

Page 25: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

7. Autonomy The manner in which an agent behaves,and in particular how its motivations are determined,is intimately related to its position within the orga-nization. Agents may be externally directed, self-directed or some combination of the two (Lesserand Corkill, 1981). For example, we have seen thatagents in hierarchies, federations and matrix orga-nizations all generally have manager-supervisor re-lationships, implying that local actions are partiallyor completely decided by an external entity. Con-versely, agents operating in markets are typicallymore autonomous, independently deciding how andwhen to bid. Like other characteristics, the level ofautonomy can affect the performance of the systemas a whole. Authoritarian structures can exploit cen-tralization to make good decisions, while an organi-zation of more autonomous entities offers better bal-ance and parallelism. Because the needs and con-straints exhibited by participants change over time,it can also be beneficial to dynamically adapt agents’levels of autonomy in response to changing events(Barber and Martin, 2001; Scerri et al., 2002; Zhanget al., 2003).

8. Human Organizational Analogues For much ofthe time that multi-agent organizations have been re-searched, attempts have been made to draw upon thelarge body of work that has been done on humanorganizations. The fields of sociology, anthropol-ogy, biology, economics, business management andformal organization theory (among others) containa wealth of analytic and case study information de-scribing how human organizations are structured andperform (Fox, 1981; Gasser, 2001). Although on thesurface much of this work is intimately tied to thehuman experience, attempts to extract concepts andabstractions have met with some success.

9. Diversity Although role assignment clearly playsa critical role in an organizational specification, thenotion of agent diversity is rarely treated as or rea-soned about as a first-class characteristic. As withstock portfolios, animal populations and securitytechniques, diversity can play an important role inagent systems susceptible to failure. Enforcing agentdiversity through heterogeneous roles, agent types or

division of labor, can impart semantic and capabil-ity fault-tolerance on the system as a whole (Corkilland Lesser, 1983; Reed and Lesser, 1980; Corkilland Lander, 1998; Lyback, 1999). Diversity can beembedded in the organizational design to encouragesuch characteristics.

13 DiscussionIn this article we have presented a number of methodsby which a multi-agent system could be organized. Abrief comparison of the potential benefits and drawbacksof each strategy is summarized in Figure 11. A morecomplete depiction of the range of relevant organizationalcharacteristics in general has been compiled by Carleyand Gasser (Carley and Gasser, 1999), while Malone andSmith (Malone and Smith, 1988) provide a focused com-parison of the characteristics of hierarchy and market-place designs. It should be clear from this discussion thatno single approach is necessarily better than all others inall situations. The selection made by a designer shouldbe dictated by the needs imposed by the system’s goals,the resources at hand, and the environment in which theparticipants will exist. That said, if one looks at the depthof available research and how frequently their conceptshave been applied, it is the case that hierarchical, team-centric, coalition-based organizations and marketplaceshave proved to be most popular among multi-agent re-searchers. These four paradigms seem to offer the most interms of flexibility, ease of implementation and their in-nate ability to produce demonstrable, positive effects. Hi-erarchies are effective at addressing issues of scale, par-ticularly if the domain can be easily decomposed alongsome dimension. Teamwork can be critical when workingon large-grained tasks that require the coordinated capa-bilities of more than one agent. Coalitions allow agents totake advantage of economies of scale, without necessarilyceding authority to other agents. Markets take advantageof competition and risk to decide allocation problems in afair, utility-centric manner. We also feel that if the broadvision of an agent-connected or agent-facilitated worldthat many proponents of multi-agent technology describeis to be realized, many of the characteristics of the agentsociety paradigm must be incorporated (Gasser, 2001).

A popular approach not mentioned thus far is the

25

Page 26: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

Paradigm Key Characteristic Benefits DrawbacksHierarchy Decomposition Maps to many common

domains; handles scale wellPotentially brittle; can lead tobottlenecks or delays

Holarchy Decomposition withautonomy

Exploit autonomy offunctional units

Must organize holons; lack ofpredictable performance

Coalition Dynamic, goal-directed Exploit strength in numbers Short term benefits may notoutweigh organizationconstruction costs

Team Group level cohesion Address larger grainedproblems; task-centric

Increased communication

Congregation Long-lived, utility-directed Facilitates agent discovery Sets may be overly restrictiveSociety Open system Public services; well defined

conventionsPotentially complex, agentsmay require additionalsociety-related capabilities

Federation Middle-agents Matchmaking, brokering,translation services; facilitatesdynamic agent pool

Intermediaries becomebottlenecks

Market Competition through pricing Good at allocation; increasedutility through centralization;increased fairness throughbidding

Potential for collusion,malicious behavior; allocationdecision complexity can behigh

Matrix Multiple managers Resource sharing;multiply-influenced agents

Potential for conflicts; needfor increased agentsophistication

Compound Concurrent organizations Exploit benefits of severalorganizational styles

Increased sophistication;drawbacks of severalorganizational styles

Figure 11: Comparing the qualities of various organization paradigms.

26

Page 27: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

(sparsely) connected graph structure, sometimes called anetwork organization or adhocracy (van Alystyne, 1997;Borgatti and Foster, 2003), where agents interact becauseof particular role-based requirements but no overarchingdesign principle is explicitly applied. The connection pat-tern superficially resembles a team, but without a team’sstrong interaction semantics. Some aspects of the struc-ture may be statically defined, but a more emergent, dy-namic construction is more typical. If there is an absenceof explicit control over the organizational structure, theset of of interactions may change in response to everynewly recognized goal. The network design is also a com-mon basis for compound organizations in a manner sim-ilar to societies, where individual entities in the networkare entire sub-organizations. These approaches can be ef-fective and cost-efficient, but as the environment scalesor the agent population becomes more dynamic a morestructured organization can provide additional frameworkto address the more demanding context. Corkill and Lan-der (Corkill and Lander, 1998) enumerate several otherfactors which motivate the need for explicit organization,including scarce resources, the potential for collaborationand the amount of repetition of work.

Other conditions may in fact preclude the use of partic-ular paradigms. For instance, it can be difficult to generateoptimal coalition or congregation structures when there iseither limited time or a large population. When individualagent resources are constrained, particular instances of or-ganizations which suffer from bottleneck effects, such ashierarchies, federations and holarchies, can become inef-ficient. We have also previously noted how some types ofstructures, such as matrices, societies, and certain com-pound organizations, require a somewhat higher level ofsophistication of the participating agents. As above, theoperating context will guide, or in this case restrict, thechoice of organizational design.

As research progresses in these areas, typically byadding features and relaxing assumptions, it can becomedifficult to precisely categorize a particular approach. Forexample, we noted how hierarchies and holarchies areclosely related, as are coalitions and congregations. Toa certain extent, we have focused on the extreme or mostconstrained examples of organizations in this paper to bet-ter delineate discrete classes, and it is frequently the casethat the “rules” of a particular paradigm as we have pre-sented them have been broken in an attempt to broaden its

abilities or applicability. While this might frustrate one’sattempt at categorization, our opinion is that the conver-gent evolution of these strategies towards a common formlends additional credence to the applicability of that form.

A somewhat more elusive goal is to define what ex-actly constitutes an organization in general. At what levelof abstraction in the system’s design should the influenceof the organization diminish and more transient “opera-tional” decisions become more important? Must a struc-ture exist for some period of time or some number of it-erations before it is considered an organization? We havelooked at strategies that are generally short-lived, such ascoalitions, while societies may outlast the lifetime of anyof its participants. Teams may exist to satisfy only a singlegoal, while federations see a continuous stream of differ-ent tasks. In each of these cases, the pattern of interactionsbetween the agents is a defining characteristic, influenc-ing the behaviors and qualities exhibited by the system. Ifthis same pattern exists in two different circumstances, isone an organization and the other not? To a certain extent,this is just a matter of semantics, and we could just as eas-ily name it a “pattern of interactions” and leave it at that.However, maintaining a broad and flexible concept of or-ganization allows one to more easily recognize that com-monalities may exist between these architectures. In par-ticular, characteristics observed in superficially differentcircumstances may be derived specifically from these in-teractions. Thus, we propose that under all circumstancesthis pattern can be interpreted as an organizational design.The fact that it may exist for a single moment or a singletask certainly impacts its performance and construction,but much of the underlying purpose and qualities of thestructuring remain the same, and should be recognized assuch.

Whatever they are called, the type of short and longterm patterns of interaction we have described in this ar-ticle will become increasingly important as multi-agenttechnology is used to address more complex, real-worldproblems. Scale, real-time constraints and bounded ra-tionality all conspire to create challenging environmentsto operate in. Because of their ability to regulate the in-creased complexity of the local problem solving processrequired in such domains, organizations should be a crit-ical part of any comprehensive, multi-agent solution. Byrecognizing and understanding organizational paradigmssuch as those we have presented, we hope that the use

27

Page 28: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

of explicit organizational design is encouraged and facili-tated.

14 AcknowledgmentsThe authors would like to thank Sherief Abdallah, DanCorkill, Frank Dignum, Mark Sims and all our reviewersfor their helpful critiques and comments on this paper.

This effort has been sponsored in part by the De-fense Advanced Research Projects Agency (DARPA) andAir Force Research Laboratory Air Force Materiel Com-mand, USAF, under agreements number F30602-99-2-0525, F30602-03-C-0010 and DOD DABT63-99-1-0004.The U.S. Government is authorized to reproduce and dis-tribute reprints for Governmental purposes notwithstand-ing any copyright annotation thereon. This material isalso based upon work supported by the National ScienceFoundation under Grant No. IIS-9812755. The viewsand conclusions contained herein are those of the authorsand should not be interpreted as necessarily represent-ing the official policies or endorsements, either expressedor implied, of the Defense Advanced Research ProjectsAgency (DARPA), Air Force Research Laboratory or theU.S. Government.

ReferencesS. Abdallah and V. Lesser. Organization-Based Co-

operative Coalition Formation. Proceedings of theIEEE/WIC/ACM International Conference on Intelli-gent Agent Techonology, IAT, pages 162–168, Septem-ber 2004.

M. Ahuja and K. M. Carley. Network structure in virtualorganizations. Organization Science, 10(6):741–757,1999.

A. Artikis. Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, Depart-ment of Electrical & Electronic Engineering, ImperialCollege London, November 2003.

R. Axelrod. An evolutionary approach to norms. TheAmerican Political Science Review, 80(4):1095–1111,1986.

K. S. Barber and C. E. Martin. Dynamic adaptive auton-omy in multiagent systems: Representation and justi-fication. International Journal of Pattern Recognitionand Artificial Intelligence, 15(3):405–433, 2001.

G. Beavers and H. Hexmoor. Teams of agents. In Pro-ceedings of the IEEE Systems, Man, and CyberneticsConference, pages 574–582, 2001.

A. H. Bond and L. Gasser. An analysis of problems andresearch in DAI. In A. H. Bond and L. Gasser, editors,Readings in Distributed Artificial Intelligence, pages3–35. Morgan Kaufmann, 1988.

L. Bongaerts. Integration of Scheduling and Con-trol in Holonic Manufacturing Systems. PhD thesis,Katholieke Universiteit Leuven, Belgium, 1998.

S. P. Borgatti and P. C. Foster. The network paradigm inorganizational research: A review and typology. Jour-nal of Management, 29(6):991–1013, 2003.

S. Breban and J. Vassileva. Long-term coalitions for theelectronic marketplace. In Proceedings of CanadianAI Workshop on Novel E-Commerce Applications ofAgents, pages 6–12, 2001.

C. Brooks and E. Durfee. Congregating and market for-mation. In Proceedings of the first international jointconference on Autonomous agents and multiagent sys-tems, pages 96–103. ACM Press, 2002.

C. Brooks and E. Durfee. Congregation formation in mul-tiagent systems. Journal of Autonomous Agents andMultiagent Systems, 7(1-2):145–170, 2003.

C. Brooks, E. Durfee, and A. Armstrong. An introductionto congregating in multiagent systems. In Proceedingsof the Fourth International Conference on MultiagentSystems, pages 79–86, 2000.

S. Bussmann and K. Schild. Self-organizing manufac-turing control: An industrial application of agent tech-nology. In Proceedings of the 4th International Con-ference on Multi-Agent Systems (ICMAS 2000), pages87–94. IEEE Computer Society, July 2000.

H. L. Cardoso and E. Oliveira. Virtual enterprise norma-tive framework within electronic institutions. In Pro-ceedings of the 5th Int. Workshop on Engineering Soci-eties in the Agents World (ESAW 04), October 2004.

28

Page 29: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

K. Carley. Organizational adaptation. Annals of Opera-tions Research, 75:25–47, 1998.

K. M. Carley and L. Gasser. Computational organiza-tion theory. In G. Weiss, editor, Multiagent Systems: AModern Approach to Distributed Artificial Intelligence,pages 299–330. MIT Press, 1999.

B. Chandrasekaran. Natural and social system metaphorsfor distributed problem solving: Introduction to the is-sue. IEEE Transactions on Systems, Man, and Cyber-netics, 11(1):1–5, Jan. 1981.

A. Chavez and P. Maes. Kasbah: An agent marketplacefor buying and selling goods. In First InternationalConference on the Practical Application of IntelligentAgents and Multi-Agent Technology (PAAM’96), pages75–90, London, UK, 1996. Practical Application Com-pany.

V. Chvatal. A greedy heuristic for the setcovering prob-lem. Mathematics of Operations Research, 4(3), Au-gust 1979.

J. Collins, M. Tsvetovat, B. Mobasher, and M. Gini.MAGNET: A multi-agent contracting system for planexecution. In Proceedings of Workshop on ArtificialIntelligence and Manufacturing: State of the Art andState of Practice, pages 63–68. AAAI Press, August1998.

J. C. Collins and L. C. Lee. Building electronic market-places with the ZEUS agent tool-kit. Agent MediatedElectronic Commerce, 1571:1–24, 1998.

M. Colombetti, N. Fornara, and M. Verdicchio. A socialapproach to communication in multiagent systems. InJ. A. Leite, A. Omicini, L. Sterling, and P. Torroni, ed-itors, Declarative Agent Languages and Technologies,volume 2990 of Lecture Notes in Artificial Intelligence,pages 191–220. Springer-Verlag, May 2004.

D. Corkill and V. Lesser. The use of meta-level control forcoordination in a distributed problem solving network.Proceedings of the Eighth International Joint Confer-ence on Artificial Intelligence, pages 748–756, August1983.

D. D. Corkill and S. E. Lander. Diversity in Agent Orga-nizations. Object Magazine, 8(4):41–47, May 1998.

G. Cuni, M. Esteva, P. Garcia, E. Puertas, C. Sierra, andT. Solchaga. MASFIT: Multi-Agent System for FIshTrading. In Proceedings of the 16th Eureopean Con-ference on Artificial Intelligence, (ECAI’2004), pages710–714. IOS Press, August 2004.

M. R. Cutkosky, R. S. Englemore, R. E. Fikes, M. R.Genesereth, T. R. Gruber, W. S. Mark, J. M. Tenen-baum, and J. C. Weber. PACT: An experiment in in-tegrating concurrent engineering systems. In M. N.Huhns and M. P. Singh, editors, Readings in Agents,pages 46–55. Morgan Kaufmann, San Francisco, CA,USA, 1997.

R. Davis and R. G. Smith. Negotiation as a metaphor fordistributed problem solving. Artificial Intelligence, 20(1):63–109, Jan. 1983.

K. Decker. TAEMS: A Framework for Environment Cen-tered Analysis & Design of Coordination Mechanisms.In Foundations of Distributed Artificial Intelligence,Chapter 16, pages 429–448. G. O’Hare and N. Jen-nings (eds.), Wiley Inter-Science, January 1996.

K. Decker and V. Lesser. Generalizing the Partial GlobalPlanning Algorithm. International Journal on Intelli-gent Cooperative Information Systems, 1(2):319–346,June 1992.

K. Decker and V. Lesser. An Approach to Analyzing theNeed for Meta-Level Communication. InternationalJoint Conference on Artificial Intelligence, 1, January1993a.

K. Decker, V. Lesser, N. Prasad, and T. Wagner.MACRON: An Architecture for Multi-Agent Cooper-ative Information Gathering. Proccedings of the CIKMWorkshop on Intelligent Information Agents, December1995.

K. Decker and V. R. Lesser. Quantitative Modeling ofComplex Environments. International Journal of In-telligent Systems in Accounting, Finance and Manage-ment. Special Issue on Mathematical and Computa-tional Models and Characteristics of Agent Behaviour.,2:215–234, January 1993b.

29

Page 30: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

K. Decker, K. Sycara, and M. Williamson. Cloning forintelligent adaptive information agents. In C. Zhangand L. D, editors, Multi-Agent Systems, pages 63–75.Springer Verlag, 1997.

C. Dellarocas and M. Klein. Civil agent societies: Toolsfor inventing open agent-mediated electronic market-places. In Agent Mediated Electronic Commerce (IJ-CAI Workshop), pages 24–39, 1999.

V. Dignum. A model for organizational interaction: basedon agents, founded in logic. PhD thesis, University ofUtrecht, Utrecht, The Netherlands, 2003.

V. Dignum, J.-J. Meyer, H. Weigand, and F. Dignum.An organizational-oriented model for agent societies.Proceedings of International Workshop on RegulatedAgent-Based Social Systems: Theories and Applica-tions (RASTA’02), July 2002.

E. Durfee and V. Lesser. Partial Global Planning: A Co-ordination Framework for Distributed Hypothesis For-mation. IEEE Transactions on Systems, Man, and Cy-bernetics, 21(5):1167–1183, September 1991.

E. Durfee, V. Lesser, and D. Corkill. Coherent Co-operation Among Communicating Problem Solvers.IEEE Transactions on Computers, C36(11):1275–1291, November 1987.

C. B. Excelente-Toledo and N. R. Jennings. The dynamicselection of coordination mechanisms. AutonomousAgents and Multi-Agent Systems, 9(1-2):55–85, July -September 2004.

S. S. Fatima and M. Wooldridge. Adaptive task andresource allocation in multi-agent systems. In J. P.Muller, E. Andre, S. Sen, and C. Frasson, editors, Pro-ceedings of the Fifth International Conference on Au-tonomous Agents, pages 537–544, Montreal, Canada,2001. ACM Press.

K. Fischer. Agent-based design of holonic manufacturingsystems. Journal of Robotics and Autonomous Systems,27(1-2):3–13, 1999.

D. Fitoussi and M. Tennenholtz. Choosing social laws formulti-agent systems: minimality and simplicity. Artifi-cial Intelligence, 119(1-2):61–101, 2000.

I. T. Foster, N. R. Jennings, and C. Kesselman. Brainmeets brawn: Why grid and agents need each other.In Proceedings of the 3rd International Joint Confer-ence on Autonomous Agents and Multiagent Systems(AAMAS 2004), pages 8–15. IEEE Computer Society,August 2004.

M. Fox, M. Barbuceanu, M. Gruninger, and J. Lin. AnOrganizational Ontology for Enterprise Modeling. InM. J. Prietula, K. M. Carley, and L. Gasser, editors,Simulating Organizations: Computational Models ofInstitutions and Groups, pages 131–152. AAAI Press/ MIT Press, 1998.

M. S. Fox. Organization structuring: Designing largecomplex software. Computer Science Technical Re-port CMU-CS-79-155, Carnegie-Mellon University,December 1979.

M. S. Fox. An organizational view of distributed systems.IEEE Transactions on Systems, Man, and Cybernetics,11(1):70–80, Jan. 1981.

J. Galbraith. Organization Design. Addison-Wesley,Reading, MA, 1977.

L. Gasser. Social conceptions of knowledge and action:DAI foundations and open systems semantics. ArtificialIntelligence, 47(1-3):107–138, 1991.

L. Gasser. Perspectives on organizations in multi-agentsystems. In Mutli-agents systems and applications,pages 1–16. Springer-Verlag New York, Inc., 2001.

M. R. Genesereth. An agent-based framework for interop-erability. In J. Bradshaw, editor, Software agents, pages317–345. MIT Press, 1997.

N. Glaser and P. Morignot. Societies of autonomousagents and their reorganisation. In W. Tschacherand J. Dauwalder, editors, Dynamics, Synergetics, Au-tonomous Agents — Nonlinear Systems Approaches toCognitive Psychology and Cognitive Science. WorldScientific, 1998.

A. Glass and B. Grosz. Socially conscious decision-making. In C. Sierra, M. Gini, and J. S. Rosen-schein, editors, Proceedings of the Fourth InternationalConference on Autonomous Agents, pages 217–224,Barcelona, Catalonia, Spain, 2000. ACM Press.

30

Page 31: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

N. Gnanasambandam, S. Lee, N. Gautam, S. R. T.Kumara, W. Peng, V. Manikonda, M. Brinn, andM. Greaves. Reliable MAS performance predic-tion using queueing models. In Proceedings of theIEEE Multi-agent Security and Survivability Sympo-sium (MASS), 2004.

N. Griffiths. Supporting cooperation through clans. In Cy-bernetic Intelligence, Challenges and Advances – Pro-ceedings of the 2nd IEEE Systems, Man and Cybernet-ics, UK & RI Chapter Conference, 2003.

B. Grosz and S. Kraus. Collaborative plans for complexgroup action. Artificial Intelligence, 86(2):269–357,1996.

B. Grosz and S. Kraus. The Evolution of SharedPlans. InFoundations and Theories of Rational Agencies, pages227–262. Kluwer Academic Publishers, 1999.

B. Grosz and C. Sidner. Plans for discourse. In P. Co-hen, J. Morgan, and M. Pollack, editors, Intentions inCommunication, pages 417–444. MIT Press, 1990.

R. H. Guttman, A. G. Moukas, and P. Maes. Agent-mediated electronic commerce: a survey. Knowl. Eng.Rev., 13(2):147–159, 1998.

S. C. Hayden, C. Carrick, and Q. Yang. A catalog ofagent coordination patterns. In AGENTS ’99: Pro-ceedings of the third annual conference on AutonomousAgents, pages 412–413, New York, NY, USA, 1999.ACM Press.

C. Hewitt. Offices are open systems. ACM Trans-actions on Office Information Systems, 4(3):271–287,July 1986.

H. Hexmoor and G. Beavers. Towards teams of agents. InProceedings of the International Conference in Artifi-cial Intelligence (IC-AI’2001). CSREA Press, 2001.

B. Horling, B. Benyo, and V. Lesser. Using Self-Diagnosis to Adapt Organizational Structures. Pro-ceedings of the 5th International Conference on Au-tonomous Agents, pages 529–536, June 2001.

B. Horling and V. Lesser. Analyzing, Modeling and Pre-dicting Organizational Effects in a Distributed Sensor

Network. Journal of the Brazilian Computer Society,Special Issue on Agents Organizations, 2005.

B. Horling, R. Mailler, and V. Lesser. A Case Study of Or-ganizational Effects in a Distributed Sensor Network.In Proceedings of the International Conference on In-telligent Agent Technology (IAT 2004), pages 51–57,Beijing, China, September 2004.

B. Horling, R. Mailler, J. Shen, R. Vincent, and V. Lesser.Using Autonomy, Organizational Design and Negoti-ation in a Distributed Sensor Network. In V. Lesser,C. Ortiz, and M. Tambe, editors, Distributed SensorNetworks: A multiagent perspective, pages 139–183.Kluwer Academic Publishers, 2003.

J. F. Hubner, J. S. Sichman, and O. Boissier. A model forthe structural, functional, and deontic specification oforganizations in multiagent systems. In Proceedingsof the Brazilian Symposium on Artificial Intelligence(SBIA’02), pages 118–128, 2002.

M. N. Huhns and L. M. Stephens. Multiagent systems andsocieties of agents. In G. Weiss, editor, Multiagent Sys-tems: A Modern Approach to Distributed Artificial In-telligence, pages 79–120. The MIT Press, Cambridge,MA, USA, 1999.

T. Ishida, L. Gasser, and M. Yokoo. Organization self-design of distributed production systems. IEEE Trans-actions on Knowledge and Data Engineering, 4(2):123–134, 1992.

N. Jennings. Controlling cooperative problem solving inindustrial multi-agent systems. Artificial Intelligence,75(2):195–240, 1995.

D. Jensen and V. Lesser. Social Pathologies of AdaptiveAgents. In M. B. . H. Guesgen, editor, Safe Learn-ing Agents: Papers from the 2002 AAAI Spring Sym-posium., volume TR SS-02-07. AAAI Press, August2002.

H. Jung, M. Tambe, and S. Kulkarni. Argumentation asdistributed constraint satisfaction: applications and re-sults. In AGENTS ’01: Proceedings of the fifth interna-tional conference on Autonomous agents, pages 324–331, New York, NY, USA, 2001. ACM Press.

31

Page 32: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

G. A. Kaminka, D. V. Pynadath, and M. Tambe. Mon-itoring teams by overhearing: A multi-agent plan-recognition approach. Journal of Artificial IntelligenceResearch, 17:83–135, 2002.

T. Khedro and M. Genesereth. Facilitators: A networkedcomputing infrastructure for distributed software inter-operation. In Working Notes of the IJCAI-95 Work-shop on Artificial Intelligence in Distributed Informa-tion Networks., 1995.

M. Klein, J. Rodriguez-Aguilar, and C. Dellarocas. Us-ing domain-independent exception handling services toenable robust open multi- agent systems: The case ofagent death. Journal of Autonomous Agents and Multi-Agent Systems, 7(1-2):179–189, 2003.

M. Klusch and A. Gerber. Dynamic coalition formationamong rational agents. IEEE Intelligent Systems, 17(3):42–47, 2002.

A. Koestler. The Ghost In The Machine. Hutchinson Pub-lishing Group, Arkana, London, 1967.

K. Kurbel and I. Loutchko. Towards multi-agent elec-tronic marketplaces: What is there and what is miss-ing? The Knowledge Engineering Review, 18(1):33–46, 2003.

K. Larson and T. Sandholm. Anytime coalition structuregeneration: An average case study. Journal of Experi-mental and Theoretical AI, 11:1–20, 2000.

K. Lerman and A. Galstyan. A general methodology formathematical analysis of multiagent systems. Techni-cal Report ISI-TR-529, University of California, Infor-mation Sciences Institute, 2001.

K. Lerman and O. Shehory. Coalition formation for large-scale electronic markets. In Proceedings of the In-ternational Conference on Multi-Agent Systems (IC-MAS’2000), 2000.

V. Lesser. A Retrospective View of FA/C DistributedProblem Solving. IEEE Transactions on Systems, Man,and Cybernetics, 21(6):1347–1363, November 1991.

V. Lesser. Reflections on the Nature of Multi-Agent Co-ordination and Its Implications for an Agent Architec-ture. Autonomous Agents and Multi-Agent Systems, 1:89–111, January 1998.

V. Lesser and D. Corkill. Functionally Accurate, Co-operative Distributed Systems. IEEE Trans. on Sys-tems, Man, and Cybernetics, SMC-11(1):81–96, Jan-uary 1981.

V. Lesser and D. Corkill. The Distributed Vehicle Mon-itoring Testbed: A Tool for Investigating DistributedProblem Solving Networks. AI Magazine, 4(3):15–33,1983.

V. Lesser, K. Decker, T. Wagner, N. Carver, A. Garvey,B. Horling, D. Neiman, R. Podorozhny, M. Nagen-draPrasad, A. Raja, R. Vincent, P. Xuan, and X. Zhang.Evolution of the GPGP/TAEMS Domain-IndependentCoordination Framework. Autonomous Agents andMulti-Agent Systems, 9(1):87–143, July 2004.

V. Lesser and L. Erman. Distributed Interpretation: AModel and an Experiment. IEEE Transactions on Com-puters Special Issue on Distributed Processing, C-29(12):1144–1163, December 1980.

H. J. Levesque, P. R. Cohen, and J. H. T. Nunes. On actingtogether. In Proceedings of the Eighth National Confer-ence on Artificial Intelligence, pages 94–99, July 1990.

Z. Lin and K. Carley. DYCORP: A computational frame-work for examining organizational performance underdynamic conditions. Journal of Mathematical Sociol-ogy, 20(2-3):193–218, 1995.

D. Lyback. Transient diversity in multi-agent systems.Master’s thesis, Department of Computer and SystemsSciences, Stockholm University and the Royal Instituteof Technology, September 1999.

R. Mailler and V. Lesser. Solving Distributed ConstraintOptimization Problems Using Cooperative Mediation.In Proceedings of Third International Joint Conferenceon Autonomous Agents and Multiagent Systems (AA-MAS 2004), pages 438–445. IEEE Computer Society,2004.

R. Mailler, V. Lesser, and B. Horling. Cooperative Negoti-ation for Soft Real-Time Distributed Resource Alloca-tion. In Proceedings of Second International Joint Con-ference on Autonomous Agents and MultiAgent Systems(AAMAS 2003), pages 576–583, Melbourne, July 2003.ACM Press.

32

Page 33: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

T. W. Malone and S. A. Smith. Modeling the performanceof organizational structures. Operations Research, 36(3):421–436, 1988.

J. G. March and H. A. Simon. Organizations. Wiley, NewYork, 1958.

S. Marsella, M. Tambe, J. Adibi, Y. Al-Onaizan, G. A.Kaminka, and I. Muslea. Experiences acquired in thedesign of robocup teams: A comparison of two fieldedteams. Autonomous Agents and Multi-Agent Systems, 4(1/2):115–129, 2001.

P. Mathieu, J. C. Routier, and Y. Secq. Dynamic organiza-tion of multi-agent systems. In Proceedings of the FirstInternational Joint Conference on Autonomous Agentsand Multi-Agent Systems, pages 451–452. ACM Press,2002.

E. Matson and S. DeLoach. Using dynamic capabil-ity evaluation to organize a team of cooperative, au-tonomous robots. In Proceedings of The 2003 Interna-tional Conference on Artificial Intelligence (IC-AI’03),pages 744–749, 2003.

F. Maturana, W. Shen, and D. Norrie. Metamorph: Anadaptive agent-based architecture for intelligent man-ufacturing. International Journal of Production Re-search, 37(10):2159–2174, 1999.

C. Merida-Campos and S. Willmott. Modelling coalitionformation over time for iterative coalition games. InProceedings of the 3rd International Joint Conferenceon Autonomous Agents and Multiagent Systems (AA-MAS 2004), pages 572–579. IEEE Computer Society,August 2004.

T. Montgomery and E. Durfee. Search reduction in hier-archical distributed problem solving. Group Decisionand Negotiation, 2:301–317, 1993.

Y. Moses and M. Tennenholtz. Artificial social systems.Computers and AI, 14(6):533–562, 1995.

A. Mowshowitz. On the theory of virtual organization.Systems Research and Behavior Science, 14(6):373–384, 1997.

L. Mui, M. Mohtashemi, and A. Halberstadt. Notions ofreputation in multi-agent systems: A review. In Pro-ceedings of the First International Conference on Au-tonomous Agents and MAS, pages 280–287, Bologna,Italy, July 2002. ACM.

R. Nair, T. Ito, M. Tambe, and S. Marsella. The role ofemotions in multiagent teamwork: A preliminary in-vestigation. In Who needs emotions: the brain meetsthe robot. Oxford University Press, 2003a.

R. Nair, M. Tambe, and S. Marsella. Role allocationand reallocation in multiagent teams: Towards a practi-cal analysis. In Proceedings of Second InternationalJoint Conference on Autonomous Agents and Multi-agent Systems (AAMAS-03), pages 552–559, 2003b.

T. J. Norman, A. Preece, S. Chalmers, N. R. Jennings,M. Luck, V. D. Dang, T. D. Nguyen, V. Deora, J. Shao,W. A. Gray, and N. J. Fiddian. Conoise: Agent-basedformation of virtual organisations. In Proceedings ofthe 23rd SGAI International Conference on InnovativeTechniques and Applications of Artificial Intelligence,pages 353–366. Springer-Verlag, 2003.

L. E. Parker. Designing control laws for cooperative agentteams. In Proceedings of the IEEE International Con-ference on Robotics and Automation, pages 582–587,1993.

H. V. D. Parunak, R. Savit, and R. L. Riolo. Agent-basedmodeling vs. equation-based modeling: A case studyand users’ guide. In Proceedings of the First Interna-tional Workshop on Multi-Agent Systems and Agent-Based Simulation, pages 10–25, London, UK, 1998.Springer-Verlag.

H. E. Pattison, D. D. Corkill, and V. R. Lesser. Instan-tiating Descriptions of Organizational Structures. Dis-tributed Artificial Intelligence, Research Notes in Arti-ficial Intelligence, I:59–96, 1987.

M. N. Prasad and V. Lesser. Learning Situation SpecificCoordination in Cooperative Multi-Agent Systems. Au-tonomous Agents and Multi-Agent Systems, 2:173–207,1999.

D. V. Pynadath and M. Tambe. The communicative mul-tiagent team decision problem: Analyzing teamwork

33

Page 34: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

theories and models. Journal of AI research, 16:389–423, 2002.

S. Reed and V. Lesser. Division of Labor in Honey Beesand Distributed Focus of Attention. University of Mas-sachusetts/Amherst Computer and Information ScienceDepartment Technical Report 80-17, November 1980.

J. Rodriguez, P. Noriega, C. Sierra, and J. Padget. FM96.5A Java-based Electronic Auction House. In Pro-ceedings of 2nd Conference on Practical Applica-tions of Intelligent Agents and MultiAgent Technology(PAAM’97), pages 207–224, London, UK, Apr. 1997.

P. Romelaer. Organization: A Diagnosis Method. Tech-nical Report 78, University Paris IX Dauphine, CrepaLaboratory, June 2002.

D. H. S. D. Ramchurn and N. R. Jennings. Trust in mul-tiagent systems. The Knowledge Engineering Review,19(1):1–25, 2004.

J. Sabater and C. Sierra. Social regret, a reputation modelbased on social relations. SIGecom Exch., 3(1):44–56,2002.

T. Sandholm. Algorithm for optimal winner determina-tion in combinatorial auctions. Artificial Intelligence,135(1-2):1–54, 2002.

T. Sandholm. Optimal winner determination algorithms.In Combinatorial Auctions. MIT Press, 2005.

T. Sandholm, K. Larson, M. Andersson, O. Shehory, andF. Tohme. Coalition structure generation with worstcase guarantees. Artificial Intelligence, 111(1-2):209–238, 1999.

T. Sandholm and V. Lesser. Coalitions Among Computa-tionally Bounded Agents. Artificial Intelligence, Spe-cial Issue on Economic Principles of Multi-Agent Sys-tems, 94(1):99–137, January 1997.

P. Scerri, D. Pynadath, and M. Tambe. Towards adjustableautonomy for the real world. Journal of Artificial Intel-ligence Research, 17:171–228, 2002.

J. Schmitt and U. Roedig. Sensor Network Calculus - AFramework for Worst Case Analysis. In Proceedings

of the International Conference on Distributed Com-puting in Sensor Systems (DCOSS05), Marina del Rey,USA. IEEE Computer Society Press, June 2005.

M. Schwaninger. A theory for optimal organization. Tech-nical Report 38, Institute of Management at the Univer-sity of St. Gallen, Switzerland, 2000.

S. Sen. Reciprocity: a foundational principle for promot-ing cooperative behavior among self-interested agents.In Proc. of the Second International Conference onMultiagent Systems, pages 322–329, 1996.

O. Shehory and S. Kraus. Methods for task allocation viaagent coalition formation. Artificial Intelligence, 101(1–2):165–200, 1998.

O. Shehory, K. Sycara, P. Chalasani, and S. Jha. Agentcloning: an approach to agent mobility and resource al-location. IEEE Communications Magazine, 36(7):58–67, 1998.

J. Shen, X. Zhang, and V. Lesser. Degree of Local Co-operation and its Implication on Global Utility. InProceedings of Third International Joint Conferenceon Autonomous Agents and MultiAgent Systems (AA-MAS 2004), volume 2, pages 546–553, New York, NewYork, July 2004. IEEE Computer Society.

W. Shen and D. Norrie. A hybrid agent-oriented infras-tructure for modeling manufacturing enterprises. InProceedings of the Knowledge Acquisition Workshop(KAW’98), pages 1–19, 1998.

Y. Shoham and M. Tennenholtz. On social laws for arti-ficial agent societies: Off-line design. Artificial Intelli-gence, 73(1-2):231–252, 1995.

J. Sichman and Y. Demazeau. On social reasoning inmulti-agent systems. Revista Ibero-Americana de In-teligncia Artificial, 13:68–84, 2001.

C. Sierra, J. Sabater, J. Augusti, and P. Garcia.SADDE: Social agents design driven by equations. InF. Bergenti, M. Gleizes, and F. Zambonelli, editors,Methodologies and software engineering for agent sys-tems. Kluwer Academic Publishers, 2004.

H. A. Simon. The Sciences of the Artificial. MIT Press,Cambridge, MA, 1968.

34

Page 35: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

M. Sims, D. Corkill, and V. Lesser. Separating Domainand Coordination in Multi-Agent Organizational De-sign and Instantiation. In Proceedings of the Inter-national Conference on Intelligent Agent Technology(IAT 2004), pages 155–161, Beijing, China, September2004.

M. Sims, C. Goldman, and V. Lesser. Self-Organizationthrough Bottom-up Coalition Formation. In Proceed-ings of Second International Joint Conference on Au-tonomous Agents and MultiAgent Systems (AAMAS2003), pages 867–874, Melbourne, AUS, July 2003.ACM Press.

N. Singh, M. R. Genesereth, and M. Syed. A distributedand anonymous knowledge sharing approach to soft-ware interoperation. International Journal of Cooper-ative Information Systems, 4(4):339–368, 1995.

R. G. Smith. The contract net protocol: High-level com-munication and control in a distributed problem solver.IEEE Transctions on Computers, 29(12):1104–1113,1980.

Y. So and E. H. Durfee. Designing tree-structured or-ganizations for computational agents. Computationaland Mathematical Organization Theory, 2(3):219–246,1996.

Y. So and E. H. Durfee. Designing organizations for com-putational agents. In Simulating Organizations, pages47–64. AAAI Press/ MIT Press, 1998.

L.-K. Soh, C. Tsatsoulis, and H. Sevay. A Satisficing,Negotiated, and Learning Coalition Formation Archi-tecture. In V. Lesser, C. Ortiz, and M. Tambe, edi-tors, Distributed Sensor Networks: A multiagent per-spective, pages 109–138. Kluwer Academic Publishers,2003.

D. Stefanoiu, M. Ulieru, and D. Norrie. Fuzzy modelingof multi-agent systems behavior. vagueness minimiza-tion. In Proceedings of World Multiconference on Sys-temics, Cybernetics and Informatics (SCI’2000), vol-ume III, pages 118–123, July 2000.

M. Stonebraker, P. M. Aoki, W. Litwin, A. Pfeffer, A. Sah,J. Sidell, C. Staelin, and A. Yu. Mariposa: A wide-area distributed database system. VLDB Journal: VeryLarge Data Bases, 5(1):48–63, 1996.

K. Sycara, K. Decker, and M. Williamson. Middle-agentsfor the internet. In Proceedings of the 15th Interna-tional Joint Conference on Artificial Intelligence, pages578–583, January 1997.

M. Tambe. Towards flexible teamwork. Journal of Artifi-cial Intelligence Research, 7:83–124, 1997.

M. Tambe, J. Adibi, Y. Alonaizon, A. Erdem, G. A.Kaminka, S. Marsella, and I. Muslea. Building agentteams using an explicit teamwork model and learning.Artificial Intelligence, 110(2):215–239, 1999.

G. Tidhar, C. Heinze, and M. Selvestrel. Flying together:Modelling air mission teams. Journal of Applied Intel-ligence, 8(3):195–218, May 1998.

G. Tidhar, A. Rao, and L. Sonenberg. Guided team selec-tion. In Proceedings of the 2nd International Confer-ence on Multi-agent Systems (ICMAS-96), pages 369–376, Kyoto, Japan, 1996.

M. Tsvetovat and K. Sycara. Customer coalitions in theelectronic marketplace. In C. Sierra, M. Gini, and J. S.Rosenschein, editors, Proceedings of the Fourth In-ternational Conference on Autonomous Agents, pages263–264, Barcelona, Catalonia, Spain, 2000. ACMPress.

M. Tsvetovatyy, M. Gini, B. Mobasher, and Z. Wieck-owski. MAGMA: An agent-based virtual market forelectronic commerce. Journal of Applied Artificial In-telligence, 11(6):501–523, 1997.

R. M. Turner. The tragedy of the commons and distributedAI systems. In Proceedings of the 12th InternationalWorkshop on Distributed Artificial Intelligence, pages379–390, Hidden Valley, Pennsylvania, 1993.

M. Ulieru. Emergence of holonic enterprises from multi-agent systems: A fuzzy-evolutionary approach. InV. Loia, editor, Soft Computing Agents: A New Per-spective on Dynamic Information Systems, pages 187–215. IOS Press, 2002.

M. Ulieru, S. Walker, and R. Brennan. Holonic enterpriseas a collaborative information ecosystem. In Proceed-ings of the Workshop on Holons: Autonomous and Co-operating Agents for Industry 2001, pages 1–14, May2001.

35

Page 36: A Survey of Multi-Agent Organizational Paradigmsmas.cs.umass.edu/Documents/bhorling/horling-paradigms.pdfA Survey of Multi-Agent Organizational Paradigms Bryan Horling and Victor Lesser

M. van Alystyne. The state of network organization: asurvey in three frameworks. Journal of OrganizationalComputing and Electronic Commerce, 7(2&3):83–151,1997.

J. Vazquez-Salceda, V. Dignum, and F. Dignum. Orga-nizing multiagent systems. Technical Report UU-CS-2004-015, Institute of Information & Computing Sci-ences, March 2004.

W. Vickrey. Counterspeculation, auctions, and compet-itive sealed tenders. Journal of Finance, 16(1):8–37,1961.

T. Wagner and V. Lesser. Relating Quantified Motivationsfor Organizationally Situated Agents. In IntelligentAgents VI — Proceedings of the Sixth InternationalWorkshop on Agent Theories, Architectures, and Lan-guages, Lecture Notes in Artificial Intelligence, pages334–348. N. R. Jennings and Y. Lesperance (eds.),Springer-Verlag, Berlin, April 1999.

A. Walker and M. J. Wooldridge. Understanding theemergence of conventions in multi-agent systems. InProceedings of the First International Conference onMulti–Agent Systems, pages 384–389, San Francisco,CA, 1995.

M. Wellman. A market-oriented programming environ-ment and its application to distributed multicommodityflow problems. Journal of Artificial Intelligence Re-search, 1:1–23, 1993.

M. Wellman. Online marketplaces. In M. P. Singh, editor,Practical Handbook of Internet Computing. ChapmanHall & CRC Press, Baton Rouge, 2004.

M. Wellman, W. Walsh, P. Wurman, and J. MacKie-Mason. Auction protocols for decentralized schedul-ing. Technical report, University of Michigan, July1998.

M. Wellman and P. Wurman. Market-aware agents for amultiagent world. Robotics and Autonomous Systems,24:115–125, 1998.

M. Wellman and P. Wurman. A trading agent compe-tition for the research community. In Proceedings ofthe IJCAI-99 Workshop on Agent-Mediated ElectronicTrading, August 1999.

G. Wiederhold, P. Wegner, and S. Cefi. Toward megapro-gramming. Communications of the ACM, 33(11):89–99, 1992.

S. Willmott, J. Dale, B. Burg, P. Charlton, andP. O’Brien. Agentcities: A worldwide open agent net-work. Agentlink Newsletter, 8:13–15, November 2001.

P. Wurman, M. Wellman, and W. Walsh. A parameteriza-tion of the auction design space. Games and EconomicBehavior, 35(1-2):304–338, 2001.

F. L. y Lopez, M. Luck, and M. d’Inverno. Normativeagent reasoning in dynamic societies. In Proceedings ofthe 3rd International Joint Conference on AutonomousAgents and Multiagent Systems (AAMAS 2004), pages732–739. IEEE Computer Society, 2004.

O. Yadgar, S. Kraus, and C. Ortiz. Scaling up distributedsensor networks: cooperative large-scale mobile-agentorganizations. In V. Lesser, C. Ortiz, and M. Tambe, ed-itors, Distributed Sensor Networks: a multiagent per-spective, pages 185–218. Kluwer publisching, 2003.

X. Zhang, V. Lesser, and T. Wagner. Integrative Negotia-tion in Complex Organizational Agent Systems. In Pro-ceedings of the 2003 IEEE/WIC International Confer-ence on Intelligent Agent Technology (IAT 2003), pages140–146, Halifax, Canada, 2003. IEEE Computer So-ciety.

X. Zhang and D. Norrie. Holonic control at the productionand controller levels. In Proceedings of IMS 99, pages215–224, 1999.

36