Learning and Joint Deliberation through Argumentation in MAS
Santi Ontañón (GeorgiaTech) Enric Plaza (IIIA-CSIC)
1 dijous 12 de novembre de 2009
Learning and Joint Deliberation through Argumentation in MAS Santi - - PowerPoint PPT Presentation
Learning and Joint Deliberation through Argumentation in MAS Santi Ontan (GeorgiaTech) Enric Plaza (IIIA-CSIC) dijous 12 de novembre de 2009 1 Outline Introduction Justified Predictions in MAS Arguments and Counterexamples
Santi Ontañón (GeorgiaTech) Enric Plaza (IIIA-CSIC)
1 dijous 12 de novembre de 2009
2 dijous 12 de novembre de 2009
3 dijous 12 de novembre de 2009
Input Deliberation Aggregation Output
Committee: (1)A group of people officially delegated (elected or appointed) to perform a function, such as investigating, considering, reporting, or acting on a matter. Team: A number of persons associated in some joint action. A group
Coalition: A combination or alliance, esp. a temporary one between persons, factions, states, etc. An alliance for combined action, especially a temporary alliance of political parties.
3 dijous 12 de novembre de 2009
Data Set Bagging / Boosting / other... P1 P2 Pn-1 Pn ... Aggregation (e.g. Voting) Ensemble effect Joint Prediction Predictors Joint prediction better than best Pi
4 dijous 12 de novembre de 2009
DS 1 A1 A2 An-1 An ... Voting Ensemble effect Joint Prediction Agents Joint prediction better than best Ai DS n-1 DS 2 DS n
5 dijous 12 de novembre de 2009
A1 A2 An-1 An ... Agents Deliberation (Argumentation framework)
6 dijous 12 de novembre de 2009
A1 A2 An-1 An ... Agents Deliberation (Argumentation framework) Joint Prediction Agreement Voting
6 dijous 12 de novembre de 2009
7 dijous 12 de novembre de 2009
8 dijous 12 de novembre de 2009
New Case Problem Solved Case
Revised Case Precedent Case Domain Knowledge New Case Retrieved Case Retrieved Case 9 dijous 12 de novembre de 2009
10 dijous 12 de novembre de 2009
Problem Traffic_light: red Cars_passing: no Case 1 Traffic_light: red Cars_passing: no Solution: wait Case 3 Traffic_light: red Cars_passing: yes Solution: wait Case 4 Traffic_light: green Cars_passing: yes Solution: wait Case 2 Traffic_light: green Cars_passing: no Solution: cross Retrieved cases Solution: wait Justification Traffic_light: red
11 dijous 12 de novembre de 2009
Solution: hadromerida Justification: D1 Sponge Spikulate skeleton External features External features Gemmules: no Spikulate Skeleton Megascleres Uniform length: no Megascleres Smooth form: tylostyle
Case Base
LID
New sponge
P
!!
" ! !!"" #" $%&'()*'+&%" ,""
12 dijous 12 de novembre de 2009
Solution: hadromerida Justification: D1 Sponge Spikulate skeleton External features External features Gemmules: no Spikulate Skeleton Megascleres Uniform length: no Megascleres Smooth form: tylostyle
Case Base
LID
New sponge
P
!!
" ! !!"" #" $%&'()*'+&%" ,""
The predicted solution is hadromerida because the smooth form of the megascleres of the spiculate skeleton of the sponge is of type tylostyle, the spikulate skeleton of the sponge has not uniform length, and there are no gemmules in the external features of the sponge.
12 dijous 12 de novembre de 2009
Sponge Spikulate skeleton External features External features Gemmules: no Growing: Spikulate Skeleton Megascleres Uniform length: no Megascleres Smooth form: tylostyle Growing Grow: massive
Case Base
LID
!!
" ! !!"" #" $%&'()*'+&%" ,""
Solution: astrophorida Justification: D2
""
# ! !!#" #" %-.'(/$('+&%" ,#"
13 dijous 12 de novembre de 2009
α = Ai,P,+,D
β = A2,P,−,D2
c = P1,−
14 dijous 12 de novembre de 2009
! ! !!!" #" "" $" #$%& '$%& () $*&+, -!
#"!.!/ !
! !"#"# ! 0%1
15 dijous 12 de novembre de 2009
?
α = Ai,P,+,D
Y N
C(α) = Y Y + N
16 dijous 12 de novembre de 2009
P
α β
C(α) = 4 5 = 0.8 C(β) = 2 3 = 0.66
17 dijous 12 de novembre de 2009
P
α β
C(α) = 4 5 = 0.8 C(β) = 2 3 = 0.66
17 dijous 12 de novembre de 2009
P
α β
C(α) = 4 5 = 0.8 C(β) = 2 3 = 0.66 C(α) = Y A1
α
+ Y A2
α
+ 1 Y A1
α
+ Y A2
α
+ N A1
α
+ N A2
α
+ 2
17 dijous 12 de novembre de 2009
P P
P
a) b) c)
? ?
α = A1,P,+,D1 β = A2,P,+,D2 β = A2,P,−,D2 α = A1,P,+,D1 α = A1,P,+,D1 β = A2,P,−,D2
α α α
β β β
18 dijous 12 de novembre de 2009
P P
P
a) b) c)
? ?
α = A1,P,+,D1 β = A2,P,+,D2 β = A2,P,−,D2 α = A1,P,+,D1 α = A1,P,+,D1 β = A2,P,−,D2
α α α
β β β
18 dijous 12 de novembre de 2009
?
c = P1,+ c = P1,− P P P c = P1,−
a) b) c)
?
α = Ai,P,+,D α = Ai,P,+,D α = Ai,P,+,D
19 dijous 12 de novembre de 2009
?
c = P1,+ c = P1,− P P P c = P1,−
a) b) c)
?
α = Ai,P,+,D α = Ai,P,+,D α = Ai,P,+,D
19 dijous 12 de novembre de 2009
20 dijous 12 de novembre de 2009
P
α β
21 dijous 12 de novembre de 2009
c = P1,− P
α = Ai,P,+,D
22 dijous 12 de novembre de 2009
assert(α) Ht = αt
1, ..., αt n
rebut(β, α) contradict(αt
i) = {α ∈ Ht|α.S = αt i.S}
23 dijous 12 de novembre de 2009
Agents assert t All Agree? Joint Solution YES Generates CA
NO
Agent+token Generates CE Agent'+CE New arg DELIBERATION at Round t & Agent owning the token Nobody new args Voting α Better CA than ? α Agent asserts CA
YES
Rebut CA to Agent'
NO
Better CA than ? α Agent' asserts CA
YES NO
24 dijous 12 de novembre de 2009
contradict(αt
i) = {α ∈ Ht|α.S = αt i.S}
Generate CA for each β1...βk Select argument with a generated CA that has lowest confidence May not found a CA for each If empty generates CE βi Most likely to "convince" the
αi Select CA for that argument
25 dijous 12 de novembre de 2009
S = arg max
Sk∈S
C(αi) in order to avoid infinite iterations, if an agent
26 dijous 12 de novembre de 2009
27 dijous 12 de novembre de 2009
77 80 83 86 89 92 2 3 4 5
81,28 81,28 81,28 81,28 89,79 87,64 87,21 82,21 91,21 90,14 88,60 88,42 91,43 90,50 90,43 88,64
AMAL JV Voting Individual
28 dijous 12 de novembre de 2009
52 58 64 70 76 82 2 3 4 5
60,59 60,59 60,59 60,59 75,18 71,47 68,99 61,04 77,85 75,70 70,88 66,77 81,43 80,66 73,68 70,62
AMAL JV Voting Individual
29 dijous 12 de novembre de 2009
60 66 72 78 84 25% 40% 55% 70% 85% 100%
63,57 63,57 63,57 63,57 63,57 63,57 63,57 68,43 73,00 76,36 77,86 79,21 63,57 72,79 76,71 78,93 80,57 83,14
LFC L NL
30 dijous 12 de novembre de 2009
32 40 48 56 64 72 25% 40% 55% 70% 85% 100%
33,75 33,75 33,75 33,75 33,75 33,75 33,75 38,50 45,93 52,96 55,63 59,93 33,75 49,38 58,44 65,34 69,06 70,62
LFC L NL
31 dijous 12 de novembre de 2009
30 60 90 120 150 180 210 240 270 300 Sponges Soybean
276,00 252,00 55,26 50,40 87,15 58,96
LFC L Total
23.4% 20% 31.58% 20.02%
32 dijous 12 de novembre de 2009
30 60 90 120 150 180 210 240 270 300 Sponges Soybean
276,00 252,00 55,26 50,40 87,15 58,96
LFC L Total
23.4% 20% 31.58% 20.02%
33 dijous 12 de novembre de 2009
32 40 48 56 64 72 25% 40% 55% 70% 85% 100%
33,75 33,75 33,75 33,75 33,75 33,75 33,75 38,50 45,93 52,96 55,63 59,93 33,75 49,38 58,44 65,34 69,06 70,62
LFC L NL
34 dijous 12 de novembre de 2009
32 40 48 56 64 72 25% 40% 55% 70% 85% 100%
33,75 33,75 33,75 33,75 33,75 33,75 33,75 38,50 45,93 52,96 55,63 59,93 33,75 49,38 58,44 65,34 69,06 70,62
LFC L NL
34 dijous 12 de novembre de 2009
35 dijous 12 de novembre de 2009
judgments
36 dijous 12 de novembre de 2009
75,0000 79,0175 83,0350 87,0525 91,0700 1 2 3 4 5
AMAL Centralized
37 dijous 12 de novembre de 2009