P1: Social interaction analysis(manual)

P2: Individual behaviouranalysis

(semi-automatic)

P3: Experiment design(manual)

Step 1: EBM Model

Step 2: Electronic Institutionmodel

Step 3: Agent specifications

Step 4: Multiagent system

P5: Model checking(automatic)

P4: Experimetanalysis (Semi-

automatic)

P6: ExperimentAnalysis(manual)

P7: ExperimentAnalysis (manual)

Developmentcomplete To be implemented Under development

JADE+PROLOG(Laboratory)

Promela(Model checker)

EBM(SIMILE)

SIMILE(simulator andgraphic editor)

EIM(ISLANDER-)

MABLE(simulator)

Multiagentsystem

(PROLOG)AM

(Promela)

ISLANDER(verifier and

ghaphic editor)

AM(MABLE)

AM(PROLOG)

Experimentresults

MILORD(editor andsimulator)

Designrules

(MILORD)

EIM(ISLANDER)

AGEN TGENERATOR

PROMELATRANSLATOR

ModelCheckingResults

MASSynthesizer

MultiagentSystem

(PROLOG)

JADE+PROLOG(Laboratory)

Experimentresults

DesignRules

(MILORD)

MILORD(editor andSimulator)

(from MAS Synthesizer)

Supply Chain

Our focus

Buyer Middle Seller

20$50$

Negotiationprocess

Negotiationprocess

• The two negotiation processes take place in parallel.

...

...

...

...

The goal is to guide the design of the Middle agent in order to

succeed in a given environment.

Negotiation model

(1, 2 slides)

SLIE laboratory

Laboratoryassistant

User

Experimentspecification

SLIE laboratory

Buyers

B11

B12

B21

Bn1

...

Sellers

S11

S21

S22

Sn1

...

B21S21

Laboratoryassistant

Middle<Strategy=1,0,0 DeadlineB=20 DealineS=20>

SLIE laboratory

Buyers Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

... ...

B21,S21

B21,S21

B21,S21

Laboratoryassistant

Middle<Strategy=1,0,0 DeadlineB=20 DealineS=20>

SLIE laboratory

Buyers Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

... ...

ready

ready

Laboratoryassistant

B21,S21

Middle<Strategy=1,0,0 DeadlineB=20 DealineS=20>

SLIE laboratory

Buyers Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

... ...

negotiate

negotiateLaboratory

assistant

B21,S21

Middle<Strategy=1,0,0 DeadlineB=20 DealineS=20>

SLIE laboratory

Buyers Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

... ...Laboratory

assistant

B21,S21

Middle<Strategy=1,0,0 DeadlineB=20 DealineS=20>

SLIE laboratory

Buyers Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

... ...Laboratory

assistant

Middle<Strategy=1,0,0 DeadlineB=20 DealineS=20>

B21,S21

SLIE laboratory

Buyers Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

... ...Laboratory

assistant

Middle<Strategy=1,0,0 DeadlineB=20 DealineS=20>

B21,S21

SLIE laboratory

Buyers Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

... ...

Results

Results

Laboratoryassistant

Middle<Strategy=1,0,0 DeadlineB=20 DealineS=20>

B21,S21

SLIE laboratory

Buyers Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

... ...

B11S22

Laboratoryassistant

Middle<Strategy=1,0,0 DeadlineB=20 DealineS=20>

SLIE laboratory

Laboratoryassistant

User

Experimentresults

Experimentresults

User

MILORDDesignRules Change

proposals

NEW Experimentspecification

SLIE laboratory

Laboratoryassistant

User

NEW Experimentspecification

Negotiation protocol

(1 slides)

P1: Social interaction analysis(manual)

P2: Individual behaviouranalysis

(semi-automatic)

P3: Experiment design(manual)

Step 1: EBM Model

Step 2: Electronic Institutionmodel

Step 3: Agent specifications

Step 4: Multiagent system

P5: Model checking(automatic)

P4: Experimetanalysis (Semi-

automatic)

P6: ExperimentAnalysis(manual)

P7: ExperimentAnalysis (manual)

Observables

B M S

B M S

B M S

B M S

B M S

Accept Accept

Accept

Accept

Withdraw

Withdraw

•Full deals (FullDeals)

•Buyer accepts (AcceptB)

•Seller accepts (AcceptS)

•Buyer withdraws (WithdrawB)

•Seller withdraws (WithdrawS)

don’tcare

don’tcare

don’tcare

don’tcare

Number of...

Design Rules

• Design rules are If-Then rules that depending on the matching degree between observable results and expected results, conclude modifications to be introduced in the parameters that determine the behaviour of agents so that the global behaviour of the system improves relatively to its goal.

Design Rules

In this example...

“Given a scenario of buyers and sellers as described before, find some rules that help the user to tune the parameters of the agent Middle to be succesfull in that scenario”

Transpa amb les tres regles

Fer servir la sintaxi Milord