Multiagent System (PROLOG) Multiagent System (PROLOG) JADE+PROLOG (Laboratory) JADE+PROLOG (Laboratory)…

  • View
    221

  • Download
    1

Embed Size (px)

DESCRIPTION

Multiagent System (PROLOG) Multiagent System (PROLOG) JADE+PROLOG (Laboratory) JADE+PROLOG (Laboratory) Experiment results Experiment results Design Rules (MILORD) Design Rules (MILORD) MILORD (editor and Simulator) MILORD (editor and Simulator) (from MAS Synthesizer)

Text of Multiagent System (PROLOG) Multiagent System (PROLOG) JADE+PROLOG (Laboratory) JADE+PROLOG...

Multiagent

System

(PROLOG)

JADE+PROLOG

(Laboratory)

Experiment

results

Design

Rules

(MILORD)

MILORD

(editor and

Simulator)

(from MAS Synthesizer)

Supply Chain

Our focus

Buyer

Middle

Seller

20$

50$

Negotiation

process

Negotiation

process

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

Laboratory

assistant

User

Experiment

specification

SLIE laboratory

B21

S21

Laboratory

assistant

Buyers

B11

B12

B21

Bn1

...

Sellers

S11

S21

S22

Sn1

...

Middle

SLIE laboratory

Buyers

Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

...

...

B21,S21

B21,S21

B21,S21

Laboratory

assistant

Middle

SLIE laboratory

Buyers

Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

...

...

ready

ready

Laboratory

assistant

B21,S21

Middle

SLIE laboratory

Buyers

Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

...

...

negotiate

negotiate

Laboratory

assistant

B21,S21

Middle

SLIE laboratory

Buyers

Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

...

...

Laboratory

assistant

B21,S21

Middle

SLIE laboratory

Buyers

Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

...

...

Laboratory

assistant

B21,S21

Middle

SLIE laboratory

Buyers

Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

...

...

Laboratory

assistant

B21,S21

Middle

SLIE laboratory

Buyers

Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

...

...

Results

Results

Laboratory

assistant

B21,S21

Middle

SLIE laboratory

Buyers

Sellers

B11

B12

B21

Bn1

S11

S21

S22

Sn1

...

...

B11

S22

Laboratory

assistant

Middle

SLIE laboratory

Laboratory

assistant

Experiment

results

User

Experiment

results

MILORD

Design

Rules

User

Change

proposals

NEW

Experiment

specification

SLIE laboratory

Laboratory

assistant

User

NEW

Experiment

specification

Negotiation protocol

(1 slides)

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)

dont

care

dont

care

dont

care

dont

care

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

P1: Social interaction analysis

(manual)

P2: Individual behaviour

analysis

(semi-automatic)

P3: Experiment design

(manual)

Step 1

: EBM Model

Step 2

: Electronic Institution

model

Step 3

: Agent specifications

Step 4

: Multiagent system

P5: Model checking

(automatic)

P4: Experimet

analysis (Semi-

automatic)

P6: Experiment

Analysis

(manual)

P7: Experiment

Analysis (manual)

Development

complete

To be implemented

Under development

JADE+PROLOG

(Laboratory)

Promela

(Model checker)

EBM

(SIMILE)

SIMILE

(simulator and

graphic editor)

EIM

(ISLANDER-)

MABLE

(simulator)

Multiagent

system

(PROLOG)

AM

(Promela)

ISLANDER

(verifier and

ghaphic editor)

AM

(MABLE)

AM

(PROLOG)

Experiment

results

MILORD

(editor and

simulator)

Design

rules

(MILORD)

EIM

(ISLANDER)

AGEN T

GENERATOR

PROMELA

TRANSLATOR

Model

Checking

Results

MAS

Synthesizer