Multiagent System (PROLOG) Multiagent System (PROLOG) JADE+PROLOG (Laboratory) JADE+PROLOG...
-
Upload
audrey-shanna-cox -
Category
Documents
-
view
285 -
download
1
description
Transcript of Multiagent System (PROLOG) Multiagent System (PROLOG) JADE+PROLOG (Laboratory) JADE+PROLOG...
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