PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on...
Transcript of PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on...
![Page 1: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/1.jpg)
![Page 2: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/2.jpg)
http://www.ai.rug.nl/~verheij/sysu2018/
![Page 3: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/3.jpg)
![Page 4: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/4.jpg)
![Page 5: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/5.jpg)
![Page 6: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/6.jpg)
Artificial intelligence
Specialized artificial intelligence
Exists and is often in use. Tax administration, photo classification
General artificial intelligence
Does not exist. There is a natural variant of general intelligence.
Understand books, biking in a busy street
Superior artificial intelligence
Does not exist. By definition there is no naturalvariant.
Speculative: Automatic invention, robot uprise
![Page 7: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/7.jpg)
![Page 8: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/8.jpg)
Knowledge systems
Art. 6:162.1 BW (Dutch civil code)
A person who commits an unlawful act toward another which can be imputed to him, must repair the damage which the other person suffers as a consequence thereof.
IF damages
AND unlawful
AND imputable
AND causal-connection
THEN duty-to-repair
![Page 9: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/9.jpg)
Data systems
![Page 10: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/10.jpg)
The two faces of Artificial Intelligence
Expert systems
Business rules
Open data
IBM’s Deep Blue
Complex structure
Knowledge tech
Foundation:
logic
Explainability
Adaptive systems
Machine learning
Big data
IBM’s Watson
Adaptive structure
Data tech
Foundation:
probability theory
Scalability
![Page 11: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/11.jpg)
Realizing the dreams and countering the concernsconnected to AI require the same innovation:
the development of argumentation technology
The law leads the way
![Page 12: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/12.jpg)
Argumentation systems are systems that can
conduct a critical discussion in which
hypotheses can be constructed, tested and
evaluated on the basis of reasonable
arguments.
![Page 13: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/13.jpg)
The two faces of Artificial Intelligence
Expert systems
Business rules
Open data
IBM’s Deep Blue
Complex structure
Knowledge tech
Foundation:
logic
Explainability
Adaptive systems
Machine learning
Big data
IBM’s Watson
Adaptive structure
Data tech
Foundation:
probability theory
Scalability
![Page 14: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/14.jpg)
![Page 15: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/15.jpg)
The law can be enhanced by artificial intelligence
Access to justice, efficient justice
![Page 16: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/16.jpg)
The law can be enhanced by artificial intelligence
Access to justice, efficient justice
Artificial intelligence can be enhanced by the law
Ethical AI, explanatory AI
![Page 17: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/17.jpg)
Artificial intelligence and Law
Legal artificial intelligence
![Page 18: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/18.jpg)
Artificial intelligence and Law
ICAIL conferences since 1987 (biennially)
Next edition June 2019 Montreal
iaail.org
JURIX conferences since 1988 (annually)
Next edition December 2018 Groningen
jurix.nl
Artificial Intelligence and Law journal since 1992
Springer
link.springer.com/journal/10506
![Page 19: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/19.jpg)
![Page 20: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/20.jpg)
![Page 21: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/21.jpg)
![Page 22: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/22.jpg)
Introduction and abstract argumentation frameworks
Bart Verheij
Institute of Artificial Intelligence and Cognitive Engineering (ALICE)
www.ai.rug.nl/~verheij
![Page 23: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/23.jpg)
Introduction
Argumentation
Some history
Abstract argumentation
![Page 24: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/24.jpg)
Argumentation
Argumentationis an interactive social process aimed at the balancing of different positions and interests.
Chapter 11: Argumentation and Artificial Intelligence
![Page 25: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/25.jpg)
![Page 26: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/26.jpg)
John is ownerMary is owner
Mary is original owner John is the buyer
ProsCons
![Page 27: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/27.jpg)
John is ownerMary is owner
Mary is original owner John is the buyer
John was not bona fide
ProsCons
![Page 28: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/28.jpg)
John is ownerMary is owner
Mary is original owner John is the buyer
John was not bona fide
John bought the bike for €20ProsCons
![Page 29: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/29.jpg)
Verheij, B. (2005). Virtual Arguments. On the Design of Argument Assistants for Lawyers and Other Arguers. T.M.C. Asser Press, The Hague.
![Page 30: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/30.jpg)
Verheij, B. (2005). Virtual Arguments. On the Design of Argument Assistants for Lawyers and Other Arguers. T.M.C. Asser Press, The Hague.
![Page 31: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/31.jpg)
Verheij, B. (2005). Virtual Arguments. On the Design of Argument Assistants for Lawyers and Other Arguers. T.M.C. Asser Press, The Hague.
![Page 32: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/32.jpg)
![Page 33: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/33.jpg)
Introduction
Argumentation
Some history
Abstract argumentation
![Page 34: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/34.jpg)
Toulmin’s model
So, presumably,
Since
On account of
Unless
Harry is a
British subject
A man born in
Bermuda will
generally be a
British subject
Both his parents were
aliens/ he has become a
naturalized American/ ...
Harry was born
in Bermuda
The following statutes
and other legal provisions:
![Page 35: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/35.jpg)
Reiter’s logic for default reasoning
Birds fly
BIRD(x) : M FLY(x) / FLY(x)
A penguin does not fly
PENGUIN(x) → FLY(x)
FLY(t) follows from BIRD(t)
FLY(t) does not follow from BIRD(t), PENGUIN(t)
![Page 36: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/36.jpg)
Defeasible reasoning
In 1987, John Pollock published the paper
‘Defeasible reasoning’ in the Cognitive Sciencejournal.
What in AI is called “non-monotonic reasoning” coincides with the philosophical notion of “defeasible reasoning”.
![Page 37: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/37.jpg)
Pollock on argument defeat
(2.2) P is a prima facie reason for S to believe Q if and only if P is a reason for S to believe Q and there is an R such that R is logically consistent with P but (P & R) is not a reason for S to believe Q.
(2.3) R is a defeater for P as a prima facie reason for Q if and only if P is a reason for S to believe Q and R is logically consistent with P but (P & R) is not a reason for S to believe Q.
![Page 38: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/38.jpg)
Pollock on argument defeat
(2.4) R is a rebutting defeater for P as a prima facie reason for Q if and only if R is a defeater and R is a reason for believing ~Q.
(2.5) R is an undercutting defeater for P as a prima facie reason for S to believe Q if and only if R is a defeater and R is a reason for denying that P wouldn’t be true unless Q were true.
![Page 39: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/39.jpg)
Pollock’s red light example
Undercutting defeat
![Page 40: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/40.jpg)
Dung’s basic principle of argument acceptability
The one who has the last word laughs best.
![Page 41: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/41.jpg)
Dung’s basic principle of argument acceptability
The one who has the last word laughs best.
![Page 42: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/42.jpg)
Dung’s basic principle of argument acceptability
The one who has the last word laughs best.
![Page 43: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/43.jpg)
Dung’s basic principle of argument acceptability
The one who has the last word laughs best.
![Page 44: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/44.jpg)
Introduction
Argumentation
Some history
Abstract argumentation
![Page 45: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/45.jpg)
Admissible, e.g.: {, }, {, , , , }
Not admissible, e.g.: {, }, {}
Dung’s admissible sets
![Page 46: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/46.jpg)
Dung’s admissible sets
A set of arguments A is admissible if
1. it is conflict-free: There are no arguments and in A, such that attacks .
2. the arguments in A are acceptable with respect to A: For all arguments in A, such that there is an argument that attacks , there is an argument in A that attacks .
![Page 47: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/47.jpg)
Dung’s preferred and stable extensions
An admissible set of arguments is a preferred extension if it is an admissible set that is maximal with respect to set inclusion.
A conflict-free set of arguments is a stable extensionif all arguments that are not in the set are attacked by an argument in the set.
![Page 48: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/48.jpg)
Preferred and stable extension: {, , , , }
![Page 49: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/49.jpg)
Even-length attack cycles
Preferred and stable extensions: {}, {}
![Page 50: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/50.jpg)
Odd-length attack cycles
1
23
Preferred extensions: (the empty set)
Stable extensions: none
![Page 51: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/51.jpg)
Basic properties of Dung’s extensions▪ A stable extension is a preferred extension, but
not the other way around.
▪ An attack relation always has a preferred extension. Not all attack relations have a stable extension.
▪ An attack relation can have more than one preferred/stable extension.
▪ A well-founded attack relation has a unique stable extension.
![Page 52: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/52.jpg)
Dung’s grounded and complete extensions
A set of arguments is a complete extension if it is an admissible set that contains all arguments of which all attackers are attacked by the set.
A set of arguments is a (the) grounded extension if it is a minimal complete extension.
![Page 53: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/53.jpg)
Computing a grounded extension
1. Label all nodes without attackers or with all attackers labeled out as in.
2. Label all nodes with an in attacker as out.
3. Go to 1 if changes were made; else stop.
![Page 54: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/54.jpg)
The attack relation as a directed graph (Dung)
in
out
![Page 55: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/55.jpg)
The attack relation as a directed graph (Dung)
in
out
![Page 56: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/56.jpg)
The attack relation as a directed graph (Dung)
in
out
![Page 57: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/57.jpg)
The attack relation as a directed graph (Dung)
in
out
![Page 58: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/58.jpg)
The attack relation as a directed graph (Dung)
in
out
![Page 59: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/59.jpg)
The attack relation as a directed graph (Dung)
Preferred, stable, grounded extension: {, , , , }
in
out
![Page 60: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/60.jpg)
An Example Abstract Argument System
in
out
That’s it! By the way: there is no stable extension.
(Why? And is there a preferred extension?)
Note: arrows
indicate attack
![Page 61: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/61.jpg)
Labelings
Stages, e.g.: (), () , () ()
Non-stages, e.g.: , ( )
![Page 62: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/62.jpg)
Labelings
1. A labeling (J, D) has justified defeat if for all elements Arg of D there is an element in J that attacks Arg.
2. A labeling (J, D) is closed if all arguments that are attacked by an argument in J are in D.
3. A conflict-free labeling (J, D) is attack-complete if all attackers of arguments in J are in D.
4. A conflict-free labeling (J, D) is defense-completeif all arguments of which all attackers are in D are in J.
![Page 63: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/63.jpg)
Some properties
Let J be a set of arguments and D be the set of arguments attacked by the arguments in J. Then the following properties obtain:
1. J is conflict-free if and only if (J, D) is a conflict-free labeling.
2. J is admissible if and only if (J, D) is an attack-complete stage.
3. J is a complete extension if and only if (J, D) is a complete stage.
4. J is a preferred extension if and only if (J, D) is an attack-complete stage with maximal set of justified arguments.
5. J is a stable extension if and only if (J, D) is a labeling with no unlabeled arguments.
![Page 64: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/64.jpg)
Remarks on labelings
1. Using labelings can be used to define set-theoretic notions, but also inspire new ones.
2. Labelings allow a new natural idea of maximal interpretation: maximize the set of labeled nodes.
3. Some preferred extensions are better than others, in the sense that they label more nodes.
→ Semi-stable extensions
![Page 65: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/65.jpg)
Semi-stable semantics
A set of arguments is a semi-stable extension if it is an admissible set, for which the union of the set with the set of arguments attacked by it is maximal.
Notion introduced by Verheij (1996)
Term coined by Caminada (2006)
![Page 66: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/66.jpg)
1
1
2 3
2
3
Preferred extensions: {, 2}, {}
Semi-stable extension: {, 2}
Stable extension: {, 2}
![Page 67: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/67.jpg)
1
1
2 3
2
3
Preferred labelings: ( 1) 2 (3), ()
Semi-stable labeling: ( 1) 2 (3)
Stable labeling: ( 1) 2 (3)
![Page 68: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/68.jpg)
Properties
1. Stable extensions are semi-stable.
2. Semi-stable extensions are preferred.
3. Preferred extensions are not always semi-stable.
4. Semi-stable extensions are not always stable.
Preferred extensions always exist, but
stable extensions do not.
Do all attack graphs have a semi-stable extension?
Answered negatively by Verheij (2000, 2003)
![Page 69: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/69.jpg)
Properties
1. There exist attack graphs without a semi-stable extension.
2. Finite attack graphs always have a semi-stable extension.
3. An attack graph with a finite number of preferred extensions has a semi-stable extension.
4. An attack graph with a stable extension has a semi-stable extension.
5. If an attack graph has no semi-stable extension, then there is an infinite sequence of preferred extensions with strictly increasing ranges.
![Page 70: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/70.jpg)
Grounded extension
Stable extension
Preferred extension
Complete extension
Abstract argumentation semantics (1995)
Dung 1995
![Page 71: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/71.jpg)
Grounded extension
Stable extension
Stage extensionSemi-stable extension
Preferred extension
Complete extension
Abstract argumentation semantics (1996)
Dung 1995
Verheij 1996
![Page 72: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/72.jpg)
John is ownerMary is owner
Mary is original owner John is the buyer
John was not bona fide
John bought the bike for €20ProsCons
![Page 73: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/73.jpg)
Argumentation semantics (2003)
DefLog Verheij 2003
Stable
Semi-stable Preferred
Stage
Stable
![Page 74: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/74.jpg)
Introduction
Argumentation
Some history
Abstract argumentation
![Page 75: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/75.jpg)
Introduction and abstract argumentation frameworks
Bart Verheij
Institute of Artificial Intelligence and Cognitive Engineering (ALICE)
www.ai.rug.nl/~verheij
![Page 76: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/76.jpg)
![Page 77: PowerPoint Presentation - University of Groningenverheij/sysu2018/slides/sysu2018...Remarks on labelings 1. Using labelings can be used to define set-theoretic notions, but also inspire](https://reader033.fdocuments.in/reader033/viewer/2022060314/5f0b84d47e708231d430ea9b/html5/thumbnails/77.jpg)
Readings
Introduction
Inaugural lecture 2017
http://www.ai.rug.nl/~verheij/oratie/
Argumentation
Some history
Abstract argumentation
Van Eemeren et al 2014 chapter 11
Van Eemeren and Verheij 2017
http://www.ai.rug.nl/~verheij/sysu2018/
Semi-stable and stage semantics
Verheij 1996 NAIC 1996
http://www.ai.rug.nl/~verheij/publications/cd96.htm
Labelings
Verheij 2007 IJCAI
http://www.ai.rug.nl/~verheij/publications/ijcai2007.htm