design of multi-agent systems teacher bart verheij student assistants albert hankel elske van der...

38
Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site http://www.ai.rug.nl/~verheij/ teaching/dmas/ (Nestor contains a link)

Post on 18-Dec-2015

213 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Design of Multi-Agent Systems

TeacherBart Verheij

Student assistantsAlbert HankelElske van der Vaart

Web sitehttp://www.ai.rug.nl/~verheij/teaching/dmas/

(Nestor contains a link)

Page 2: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Note

In week 41, there will be four student presentations. This implies that classes will take until 11:30 (instead of 11:00) that Tuesday.

Page 3: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Overview

IntroductionAuctionsNegotiationArgumentation

Page 4: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Negotiation protocols

Negotiation is governed by a protocol that defines the “rules of encounter” between agents

Protocol design aims at certain desirable properties.

What strategies should an agent follow given a particular protocol?

Page 5: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Desirable properties of protocols

Convergence/guaranteed successMaximizing social welfarePareto efficiencyIndividual rationalityStabilitySimplicityDistribution

Page 6: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Overview

IntroductionAuctionsNegotiationArgumentation

Page 7: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Auctions

An auction takes place between an agent known as the auctioneer and a collection of agents known as the bidders

The goal of the auction is for the auctioneer to allocate the good to one of the bidders

In most settings the auctioneer desires to maximize the price; bidders desire to minimize price

Page 8: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Auction parameters

Goods can have– private value– public/common value– correlated value

Winner pays– first price– second price

Bids may be– open cry– sealed bid

Bidding may be– one shot– ascending– descending

Page 9: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

English Auctions

Commonly known auction type:– first price– open cry– ascending

Dominant strategy is to successively bid a small amount more than the current highest bid until it reaches the agent’s valuation, then withdraw

Susceptible to:– winner’s curse– shills

Page 10: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Shill (Merriam Webster & Wikipedia)

“one who acts as a decoy (as for a pitchman or gambler)”

A common shilling tactic is to have two shills.

- a young child who offers a low bid for a moderately-priced item.

- an ill-mannered and usually overweight man who does just that—he outbids the kid, who starts crying.

Page 11: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Dutch Auctions

Dutch auctions are examples of open-cry descending auctions:

– auctioneer starts by offering good at artificially high value

– auctioneer lowers offer price until some agent makes a bid equal to the current offer price

– the good is then allocated to the agent that made the offer

Page 12: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Broeker Veiling (Broek op Langedijk)

Page 13: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

First-Price Sealed-Bid Auctions

First-price sealed-bid auctions are one-shot auctions:

– there is a single round– bidders submit a sealed bid for the good– good is allocated to agent that made highest

bid– winner pays price of highest bid

Best strategy is to bid less than true valuation

Page 14: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Vickrey Auctions

Vickrey auctions are:– second-price– sealed-bid

Good is awarded to the agent that made the highest bid; at the price of the second highest bid

Bidding to your true valuation is dominant strategy in Vickrey auctions

Vickrey auctions susceptible to antisocial behavior

Page 15: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

‘Proof’ (part 1)

Let x be an agent’s true valuation. Assume the agent bids y with y > x.

– Case 1: the agent wins. The agent has to pay the second highest

bid z. When x < z < y, the agent pays more than

his true valuation x. When z < x, the agent would have paid the

same in case of bidding x.– Case 2: the agent loses.

In case the agent had bid x, he would still have lost.

Conclusion: it is useless to bid more than x

Page 16: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

‘Proof’ (part 2)

Let x be an agent’s true valuation. Assume the agent bids y with y < x.

– Case 1: the agent wins. The agent has to pay the second highest bid z. Since z < x, the agent would have paid the

same in case of bidding x.– Case 2: the agent loses.

If y < z < x, the agent would have won by bidding x.

If x < z, the agent would still have lost in case of bidding x.

Conclusion: it is useless to bid less than x

Page 17: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Lies and collusion

The various auction protocols are susceptible to lying on the part of the auctioneer, and collusion among bidders, to varying degrees

All four auctions (English, Dutch, First-Price Sealed Bid, Vickrey) can be manipulated by bidder collusion

A dishonest auctioneer can exploit the Vickrey auction by lying about the 2nd-highest bid

Shills can be introduced to inflate bidding prices in English auctions

Page 18: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Overview

IntroductionAuctionsNegotiationArgumentation

Page 19: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Negotiation

Auctions are only concerned with the allocation of goods. Negotiation is the process of reaching agreements on matters of common interest

Any negotiation setting will have four components:

– A negotiation set: possible proposals that agents can make

– A protocol– Strategies, one for each agent, which are private– A rule that determines when a deal has been

struck and what the agreement deal is

Page 20: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Task-oriented domain (TOD)

A task-oriented domain is a triple <T, Ag, c> where

– T is the (finite) set of all possible tasks– Ag = {1,…,n} is the set of participating agents– c = (T) R defines the cost of executing

each subset of tasks

Constraints on the cost function c:– If T T, then c(T) c (T) (monotonicity).– c() = 0

Page 21: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

The case of two agents

Let (T1, T2) be the original tasks of two agents and let = (D1, D2) be a new task allocation ( a deal), i.e.,

T1 T2 = D1 D2

An agent i’s utility of a deal is defined as follows:

utilityi() = c(Ti) – c(Di)

1 dominates 2 when one agent is better off and none is worse off.

Page 22: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

The negotiation set

The negotiation set consists of the deals that are Pareto efficient and individual rational.A deal is Pareto efficient if it is not dominated

by another task allocationA deal is individual rational if neither agent is

worse off than in the original allocation (the ‘conflict deal’)

Utility of agent 1

Util

ity o

f ag

ent

2

Conflict deal

Negotiation set

Individual rational

Page 23: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Monotonic Concession Protocol

Both agents make several small concessions until an

agreement is reached.

Each agent proposes a deal If one agent matches or exceeds what the

other demands, the negotiation ends Else, each agent makes a proposal that is

equal or better for the other agent (concede) If no agent concedes, the negotiation ends

with the conflict deal

Page 24: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Utility of agent 1

Util

ity o

f ag

ent

2

21

11

Monotonic Concession Protocol

22

12

Page 25: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Monotonic Concession Protocol

Properties Termination: guaranteed if the agreement

space is finite Verifiability: easy to check that an opponent

really concedes (only one’s own utility function matters)

CriticismYou need to know your opponent’s utility function to be able to concede (typical assumption in game theory; not always appropriate in MAS)

Page 26: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Monotonic Concession Protocol

What is a good negotiation strategy for the Monotonic Concession Protocol?

The dangers of getting it wrong:– If you concede too often (or too much),

then you risk not getting the best possible deal for yourself.

– If you do not concede often enough, then you risk conflict (which has utility 0).

Page 27: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Utility of agent 1

Util

ity o

f ag

ent

2

2

1

Zeuthen strategy

)(

)()(

22

12222

u

uurisk

Idea: measure willingness to risk conflict

Page 28: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Zeuthen strategy

Start with deal that is best among all deals in the negotiation space

Calculate willingness to risk conflict of self and opponent

If willingness to risk conflict is smaller than opponent, offer minimal sufficient concession (a sufficient concession makes opponent’s willingness to risk conflict less than yours); else offer original deal

Page 29: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Deception in task-oriented domains

Deception can benefit agents in two ways:

Phantom and decoy tasksPretending that you have been allocated tasks you have not

Hidden tasksPretending not to have been allocated tasks that you have been

Page 30: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Overview

IntroductionAuctionsNegotiationArgumentation

Page 31: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Argumentation

The game-theoretic approach to reaching agreement has pros and cons:

PRO: Desirable properties of protocols are provable

CON: Positions cannot be justifiedCON: Positions cannot be changed

Alternative: argumentation

Page 32: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Logic-based Argumentation

Database ├ (Sentence, Grounds)

Database is a (possibly inconsistent) set of logical formulaeSentence is a logical formula known as the conclusionGrounds is a set of logical formulae such that:

– Grounds Database; and– Sentence can be proved from Grounds

Page 33: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Argument attack

Let (C1, G1) and (C2, G2) be arguments from some database D.

(C1, G1) rebuts (C2, G2) if C1 C2 (C1, G1) undercuts (C2, G2) if C1 S for

some S G2

Rebuttals and undercuts are known as attacks.

Page 34: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Abstract Argumentation

An abstract argument system is a collection or arguments together with a relation “” indicating what attacks what

Labeling:An argument is out (defeated) if (and only if) it has an undefeated attacker, and in (undefeated) if all its attackers are defeated

Out-in labelings obeying this constraint do not always exist and are not always unique.

Page 35: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Computing labelings

Idea for an algorithm: 1. Label al nodes that can have no in

attacker in a complete labeling as in.(Having no attackers at all will do.)

2. Label al nodes with an in attacker as out.

3. Go to 1 if changes were made; else stop.

Page 36: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

An Example Abstract Argument System

in

out

That’s it! By the way: there exists no complete labeling. (Why?)

Page 37: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Overview

IntroductionAuctionsNegotiationArgumentation

Page 38: Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site verheij/teaching/dmas

Student presentations

Week 38

W. C. Stirling, M. A. Goodrich and D. J. Packard (2002). Satisficing Equilibria: A Non-Classical Theory of Games and Decisions.

Dimitri Vrehen

A. Bazzan and R.H. Bordini (2001). A framework for the simulation of agents with emotions. Report on Experiments with the Iterated Prisoner's Dilemma.

Stijn Colen

I. Dickinson and M. Wooldridge (2003). Towards Practical Reasoning Agents for the Semantic Web.

Marnix van Woudenberg