A TOOL FOR RANKING ARGUMENTS THROUGH VOTING-GAMES POWER INDEXES
Stefano Bistarelli, Francesco Faloci, Francesco Santini and Carlo Taticchi
A TOOL FOR RANKING ARGUMENTS THROUGH VOTING-GAMES POWER INDEXES - - PowerPoint PPT Presentation
A TOOL FOR RANKING ARGUMENTS THROUGH VOTING-GAMES POWER INDEXES Stefano Bistarelli, Francesco Faloci, Francesco Santini and Carlo Taticchi INDEX Argumentation Theory Argumentation Semantics Power Indexes Definitions SV-based
Stefano Bistarelli, Francesco Faloci, Francesco Santini and Carlo Taticchi
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
INDEX
▸ Argumentation Theory
▸ Argumentation Semantics
▸ Power Indexes
▸ Definitions
▸ SV-based semantics
▸ Description + Example
▸ Conclusion
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
ABSTRACT ARGUMENTATION FRAMEWORKS1
a b c d e
1Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-personA Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
EXTENSION-BASED SEMANTICS
a b c d e
ADM = {{}, {a}, {c}, {d}, {a, c}, {a, d}} CF = {{}, {a}, {b}, {c}, {d}, {a, c}, {a, d}, {b, d}} STA = {{a,d}} COM = {{a}, {a, c}, {a, d}}
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
LABELLING-BASED SEMANTICS2
a b c d e
2Martin Caminada. On the Issue of Reinstatement in Argumentation. JELIA 2006: 111-123.A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
LABELLING-BASED SEMANTICS2
a b c d e
IN if it is attacked only by OUT arguments OUT if it is attacked by at least an IN argument UNDEC otherwise
2Martin Caminada. On the Issue of Reinstatement in Argumentation. JELIA 2006: 111-123.A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
a b c d e
WHICH IS THE BEST?
LABELLING-BASED SEMANTICS2
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
RANKING-BASED SEMANTICS3
▸ Transforms an Argumentation Framework into a ranking ▸ Criteria: direct attacks, lengths of the incoming paths, rewards ▸ Good properties
≻
a d ≻ c ≻e ≻ b
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
▸ Abstraction ▸ Independence ▸ Void Precedence ▸ Self-contradiction ▸ Cardinality Precedence
RANKING-BASED SEMANTICS - PROPERTIES4
▸ Quality Precedence ▸ Counter-Transitivity ▸ Strict Counter-Transitivity ▸ Defense Precedence ▸ Non-attacked Equivalence
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
POWER INDEXES
▸ Shapley Value ▸ Banzhaf Index ▸ Deegan-Packel ▸ Johnstone
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
▸ Banzhaf Index
ϕi(v) = ∑
S−i ⊆ G ∖ {i}
s!(n − 1 − s)! n! (v(S−i ∪ {i}) − v(S−i)) βi(v) = 1 2|N|−1 ∑
S ⊆ N ∖ {i}
(v(S ∪ {i}) − v(S))
▸ Shapley Value
POWER INDEXES
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
vI
σ,F(S) = {
1, if S ∈ in(Lσ) 0, if otherwise
RANKING FUNCTIONS
a b c d e
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
vI
σ,F(S) = {
1, if S ∈ in(Lσ) 0, if otherwise vO
σ,F(S) = {
1, if S ∈ out(Lσ) 0, if otherwise
RANKING FUNCTIONS
a b c d e
In the event of a tie
www.dmi.unipg.it/conarg
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
SV-BASED SEMANTICS - PROPERTIES
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
SV-BASED SEMANTICS - PROPERTIES
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
SV-BASED SEMANTICS - PROPERTIES
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
SV-BASED SEMANTICS - PROPERTIES
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
SV-BASED SEMANTICS - PROPERTIES
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
CONCLUSION
▸ Tool available at www.dmi.unipg.it/conarg ▸ Ranking-based semantics
A Tool For Ranking Arguments Through Voting-Games Power Indexes Carlo Taticchi — June 20, 2019
NEXT CONCLUSION
▸ Understand the differences
between Power Indexes
▸ Capture global properties:
▸ Tool available at www.dmi.unipg.it/conarg ▸ Ranking-based semantics