Chapter 17: Organizations Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005 Highlights of this Chapter Chapter 17 Contracts Spheres of Commitment Achieving Collaboration via Conventions Policies Negotiation Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 2 Why Organizations? Serious applications of services require interactions structured in subtle ways Organizations consist of agents (business partners) providing or using services Organizations Chapter 17 Relate well to human organizations Promote coherence in service interactions Offer a conceptually natural, high-level basis for understanding and designing service interactions Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 3 Organizations Organizations nest naturally (not necessarily as trees) All organizations are agents Some agents are organizations Organizations help overcome limitations of individuals in Reasoning Capabilities Perception Lifetime, persistence Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 4 Three Kinds of Organizations Concrete: agents playing roles Configured, run-time concept Abstract (templates): roles and relationships among roles Design-time concept Institutions: part abstract and part concrete Run-time concept, but the membership can change Example: eBay, where buyers and sellers can change but eBay itself is a fixed participant Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 5 Legal Abstractions Chapter 17 Contracts Directed obligations Hohfeldian concepts Compliance Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 6 Contracts Contracts structure interactions among autonomous parties People and corporations Governmental agencies Compare with contracts in programming Key questions: how to create, modify, perform, or monitor contracts Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 7 Motivation for Contracts Provide a basis for service agreements Crucial in open environments Chapter 17 Emphasize behavior: observable by others Constrain behavior: limit autonomy Mostly disregard internal implementations, thus facilitating heterogeneity Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 8 Legal Concepts Inherently multiagent: about interactions among autonomous parties Directed obligations Contrast with traditional deontic logic Chapter 17 One party being obliged to another party Multiagent flavor Zero-agent: it is obliged that … One-agent: you are obliged to do … Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 9 Rights The rights or claims a party has on another party Chapter 17 Not the right (ethical) thing to do The claims of one party are the duties of another: claim is a correlate of duty Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 10 Hohfeldian Concepts: 1 The term right is used ambiguously Sixteen concepts distinguish the main situations: Chapter 17 Four main concepts Their correlates Their negations Their negations’ correlates Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 11 Hohfeldian Concepts: 2 Chapter 17 Claim-duty: as above Privilege-exposure: freedom from the claims of another agent Power-liability: when an agent can change the claim-duty relationship of another agent Immunity-disability: freedom from the power of another agent Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 12 Commitments A commitment Involves three parties: a debtor commits to a creditor within a context Is scoped by its (organizational) context May be manipulated, subject to additional commitments is public (unlike beliefs) Commitments provide Chapter 17 Flexible interactions, thus promoting coherence A basis for judging compliance Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 13 Manipulating Commitments Operations on commitments: Create Discharge (satisfy) Cancel Release (eliminate) Delegate (change debtor) Assign (change creditor) Metacommitments constrain the manipulation of commitments Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 14 Commitments for Contracts A contract is a set of related commitments Provides a notional context to the commitments Applies between specified parties, in a context (e.g., UCC, real-estate, Internet commerce) In contrast to commitments, other approaches: Chapter 17 Single-agent focused, e.g., deontic logic Don’t handle organizational aspects of contracts Don’t accommodate manipulation of contracts Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 15 SoCom: Sphere of Commitment A computational abstraction based on organizations An institution with additional features Chapter 17 Involves roles (abstract) or agents (concrete) A witness for the commitment A locus for testing compliance and enforcing corrections (e.g., compensation) Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 16 SoComs and Structure A SoCom inherits policies from surrounding (contextual) SoCom E.g., UCC applies to commercial interactions Inherited policies can conflict because of Nonunique nesting When agents play multiple roles - Munindar Singh and Michael Huhns Virtual Enterprises (VE) A VE offers commitments beyond those of its members Sellers come together with a new proxy agent called VE Example of VE agent commitments: Entertain order updates Notify on change of order Price guarantee Delivery date guarantee Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 18 A Selling VE (Composition Example) Customer Virtual Enterprise I would like to buy a valve with input dia of 43, two matching hoses, and of price up to $50.00 Hose Seller Valve Seller Two 43 dia hoses in stock? One valve with input dia 43, output dia 43 in stock? Yes Order placed; 1 valve idia = 43 Odia = 43. 2 hoses dia = 43 Charge = $14.83 Yes Sell two 43 dia hoses Order is ready valve input dia = 43, output dia 43 discontinued valve input dia = 43, output dia 21 recommended Cancel previous order Order revised; 1 valve idia = 43 odia = 21, hose dia = 43, and hose dia = 21. Charge = $14.83 One 43 dia & one 21 dia hose in stock? Yes Sell one 43 dia & one 21 dia hose Sell one valve with input dia 43, output dia 21 Order processed Chapter 17 Order is ready Order is ready Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 19 Teams Tightly knit organizations Goals shared by all team members Commitments to help team members Commitments to adopt additional roles and offer capabilities on behalf of a disabled member Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 20 Teamwork When a team carries out some complex activity Chapter 17 Negotiating what to do Monitoring actions jointly Supporting each other Repairing plans Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 21 Negotiation Negotiation is central to adaptive, cooperative behavior Negotiation involves a small set of agents Actions are propose, counterpropose, support, accept, reject, dismiss, retract Negotiation requires a common language and common framework (an abstraction of the problem and its solution) Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 22 Negotiation Mechanism Attributes Efficiency Stability Simplicity Distribution Symmetry E.g., sharing book purchases, with cost decided by coin flip Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 23 Negotiation among Utility-Based Agents Problem: How to design the rules of an environment so that agents interact productively and fairly, e.g., Vickrey’s Mechanism: lowest bidder wins, but gets paid second lowest bid Chapter 17 This motivates each bidder to bid its true valuation Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 24 Negotiation A deal is a joint plan between two agents that would satisfy their goals The utility of a deal for an agent is the amount he is willing to pay minus the cost to him of the deal The negotiation set is the set of all deals that have a positive utility for every agent. The possible situations for interaction are Chapter 17 Conflict: the negotiation set is empty Compromise: agents prefer to be alone, but will agree to a negotiated deal Cooperative: all deals in the negotiation set are preferred by both agents over achieving their goals alone Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 25 Negotiation Mechanism The agents follow a Unified Negotiation Protocol, which applies to any situation. In this protocol, The agents negotiate on mixed-joint plans, i.e., plans that bring the world to a new state that is better for both agents If there is a conflict, they “flip a coin” to decide which agent gets to satisfy his goal Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 26 Problem Domain Hierarchy Worth-Oriented Domains State-Oriented Domains Task-Oriented Domains Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 27 Task-Oriented Domains: 1 A TOD is a tuple <T, A, c>, where T is the set of tasks, A is the set of agents, and c(X) is a monotonic function for the cost of executing the set of tasks X Examples Deliveries: c(X) = length of minimal path that visits X Postmen: c(X) = length of minimal path plus return Databases: c(X) = minimal number of needed DB ops Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 28 Task-Oriented Domains: 2 Chapter 17 A deal is a redistribution of tasks Utility of deal d for agent k is Uk (d) = c(Tk) - c(dk) The conflict deal, D, is no deal A deal d is individual rational if d>D Deal d dominates d’ if d is better for at least one agent and not worse for the rest Deal d is Pareto optimal if there is no d’>d The set of all deals that are individual rational and Pareto optimal is the negotiation set, NS Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 29 Monotonic Concession Protocol Chapter 17 Each agent proposes a deal If one agent matches or exceeds what the other demands, the negotiation ends Else, the agents propose the same or more (concede) If no agent concedes, the negotiation ends with the conflict deal This protocol is simple, symmetric, distributed, and guaranteed to end in a finite number of steps in any TOD. What strategy should an agent adopt? Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 30 Zeuthen Strategy Offer deal that is best among all deals in NS Calculate risks of self and opponent R1=(utility A1 loses by accepting A2’s offer) (utility A1 loses by causing a conflict) If risk is smaller than opponent, offer minimal sufficient concession (a sufficient concession makes opponent’s risk less than yours); else offer original deal If both use this strategy, they will agree on deal that maximizes the product of their utilities (Pareto optimal) The strategy is not stable (when both should concede on last step, but it’s sufficient for only one to concede, then one can benefit by dropping strategy) Chapter 17 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 31 Deception-Free Protocols Zeuthen strategy requires full knowledge of Tasks Protocol Strategies Commitments P.O. Hidden tasks Phantom tasks Decoy tasks A1 Chapter 17 A1 (hidden) A2 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 32 Chapter 17 Summary Organizations are a natural metaphor for understanding and designing systems of services Organizations provide a basis for Chapter 17 Legal and contractual concepts such as commitments Teamwork Understanding and formalizing negotiation Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 33
© Copyright 2024 Paperzz