control argumentation frameworks - paris...
TRANSCRIPT
![Page 1: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/1.jpg)
Control Argumentation Frameworks
Yannis Dimopoulos1 Jean-Guy Mailly2 Pavlos Moraitis3
1: Univ. of Cyprus – [email protected]: Univ. Paris Descartes – [email protected]
3: Univ. Paris Descartes – [email protected]
32nd AAAI Conference on Artificial Intelligence (AAAI’18)February 2018 - New Orleans - USA
1/17
![Page 2: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/2.jpg)
Plan
Background: Dung’s Framework
Control Argumentation Framework
Conclusion
2/17
![Page 3: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/3.jpg)
Plan
Background: Dung’s Framework
Control Argumentation Framework
Conclusion
3/17
![Page 4: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/4.jpg)
Dung’s Framework [Dung 1995]
§ AFs F “ pA,Rq, A: arguments and R Ď Aˆ A: attacks
§ Extension: set of jointly acceptable arguments
§ Credulous/Skeptical acceptance: an argument is acceptedif it belongs to at least one/each extension
Many semantics. Here we exemplify with stable semantics:
§ A set S Ď A is cf w.r.t. F if Eai , aj P S s.t. pai , ajq P R;
§ A set S P cf pF q is st w.r.t. F if @aj P AzS , S attacks aj .
4/17
![Page 5: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/5.jpg)
Dung’s Framework [Dung 1995]
§ AFs F “ pA,Rq, A: arguments and R Ď Aˆ A: attacks
§ Extension: set of jointly acceptable arguments
§ Credulous/Skeptical acceptance: an argument is acceptedif it belongs to at least one/each extension
Many semantics. Here we exemplify with stable semantics:
§ A set S Ď A is cf w.r.t. F if Eai , aj P S s.t. pai , ajq P R;
§ A set S P cf pF q is st w.r.t. F if @aj P AzS , S attacks aj .
4/17
![Page 6: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/6.jpg)
Example
a1 a2 a3 a4 a5
a6
a7
stpF q “ tta1, a4, a6uu
5/17
![Page 7: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/7.jpg)
Plan
Background: Dung’s Framework
Control Argumentation Framework
Conclusion
6/17
![Page 8: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/8.jpg)
Intuition
§ Argumentation is an inherently dynamic process
§ Process of debate, premises that did not hold may now hold:arguments and attacks can be added
§ Premises that did hold do not anymore: arguments and attackscan be removed
§ There can be some partial/uncertain knowledge about whichevolution could happen
§ This evolution can be a threat for some goal (e.g. anargument supporting a decision to be accepted)
§ Can the agent deal with the effects of these threats?
7/17
![Page 9: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/9.jpg)
Intuition
§ Argumentation is an inherently dynamic process§ Process of debate, premises that did not hold may now hold:
arguments and attacks can be added
§ Premises that did hold do not anymore: arguments and attackscan be removed
§ There can be some partial/uncertain knowledge about whichevolution could happen
§ This evolution can be a threat for some goal (e.g. anargument supporting a decision to be accepted)
§ Can the agent deal with the effects of these threats?
7/17
![Page 10: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/10.jpg)
Intuition
§ Argumentation is an inherently dynamic process§ Process of debate, premises that did not hold may now hold:
arguments and attacks can be added§ Premises that did hold do not anymore: arguments and attacks
can be removed
§ There can be some partial/uncertain knowledge about whichevolution could happen
§ This evolution can be a threat for some goal (e.g. anargument supporting a decision to be accepted)
§ Can the agent deal with the effects of these threats?
7/17
![Page 11: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/11.jpg)
Intuition
§ Argumentation is an inherently dynamic process§ Process of debate, premises that did not hold may now hold:
arguments and attacks can be added§ Premises that did hold do not anymore: arguments and attacks
can be removed
§ There can be some partial/uncertain knowledge about whichevolution could happen
§ This evolution can be a threat for some goal (e.g. anargument supporting a decision to be accepted)
§ Can the agent deal with the effects of these threats?
7/17
![Page 12: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/12.jpg)
Intuition
§ Argumentation is an inherently dynamic process§ Process of debate, premises that did not hold may now hold:
arguments and attacks can be added§ Premises that did hold do not anymore: arguments and attacks
can be removed
§ There can be some partial/uncertain knowledge about whichevolution could happen
§ This evolution can be a threat for some goal (e.g. anargument supporting a decision to be accepted)
§ Can the agent deal with the effects of these threats?
7/17
![Page 13: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/13.jpg)
Intuition
§ Argumentation is an inherently dynamic process§ Process of debate, premises that did not hold may now hold:
arguments and attacks can be added§ Premises that did hold do not anymore: arguments and attacks
can be removed
§ There can be some partial/uncertain knowledge about whichevolution could happen
§ This evolution can be a threat for some goal (e.g. anargument supporting a decision to be accepted)
§ Can the agent deal with the effects of these threats?
7/17
![Page 14: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/14.jpg)
Classical Argumentation Dynamics vs CAFs
§ “Classical” Argumentation Dynamics:
F “ xA,RyConstraint
*
ùñ F 1 “ xA1,R 1y which satisfy the constraint
§ CAF: anticipating possible changes, to protect some goal fromthe threats represented by the changes
8/17
![Page 15: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/15.jpg)
Classical Argumentation Dynamics vs CAFs
§ “Classical” Argumentation Dynamics:
F “ xA,RyConstraint
*
ùñ F 1 “ xA1,R 1y which satisfy the constraint
§ CAF: anticipating possible changes, to protect some goal fromthe threats represented by the changes
8/17
![Page 16: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/16.jpg)
What is a CAF?
A CAF is an argumentation framework where arguments aredivided in three parts: fixed, uncertain and control.
fixed background knowledge about a static environment
uncertain changes that may occur in the environment
control possible actions of the agent
9/17
![Page 17: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/17.jpg)
CAF by Example
a1 a2
a3 a4a5
AF
a6 AUa7 a8
a9AC
§ Fixed part: circle arguments `“normal” arrows
§ Uncertain part:§ dashed arguments§ dotted arrows§ two-heads dashed arrows
§ Control part: square arguments` bold arrows
10/17
![Page 18: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/18.jpg)
CAF by Example
a1 a2
a3 a4a5
AF
a6 AUa7 a8
a9AC
§ Fixed part: circle arguments `“normal” arrows
§ Uncertain part:§ dashed arguments§ dotted arrows§ two-heads dashed arrows
§ Control part: square arguments` bold arrows
§ certain knowledge: always exist
10/17
![Page 19: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/19.jpg)
CAF by Example
a1 a2
a3 a4a5
AF
a6 AUa7 a8
a9AC
§ Fixed part: circle arguments `“normal” arrows
§ Uncertain part:§ dashed arguments§ dotted arrows§ two-heads dashed arrows
§ Control part: square arguments` bold arrows
§ the argument could exist, or not
10/17
![Page 20: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/20.jpg)
CAF by Example
a1 a2
a3 a4a5
AF
a6 AUa7 a8
a9AC
§ Fixed part: circle arguments `“normal” arrows
§ Uncertain part:§ dashed arguments§ dotted arrows§ two-heads dashed arrows
§ Control part: square arguments` bold arrows
§ the attack could exist, or not
10/17
![Page 21: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/21.jpg)
CAF by Example
a1 a2
a3 a4a5
AF
a6 AUa7 a8
a9AC
§ Fixed part: circle arguments `“normal” arrows
§ Uncertain part:§ dashed arguments§ dotted arrows§ two-heads dashed arrows
§ Control part: square arguments` bold arrows
§ the attack exists (if both arguments exist), but we are notsure of the direction
10/17
![Page 22: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/22.jpg)
CAF by Example
a1 a2
a3 a4a5
AF
a6 AUa7 a8
a9AC
§ Fixed part: circle arguments `“normal” arrows
§ Uncertain part:§ dashed arguments§ dotted arrows§ two-heads dashed arrows
§ Control part: square arguments` bold arrows
§ exist only if the agent selects the arguments
10/17
![Page 23: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/23.jpg)
Completions
A completion is a classical AF which is “compatible” with the CAF
a1 a2
a3 a4a5
AF
a6 AUa7 a8
a9AC
a1 a2
a3 a4
a5 a6
a7 a8
a9
a1 a2
a3 a4
a5
a7 a8
a9
11/17
![Page 24: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/24.jpg)
Control Configuration
§ A control configuration is a subset Aconf Ď AC
§ A configured CAF: remove from the initial CAF the argumentsAC zAconf (and their attacks)
a1 a2
a3 a4a5
AF
a6 AUa7 a8
a9AC
a1 a2
a3 a4a5
AF
a6 AUa8AC
Example: In the CAF configured by Aconf “ ta8u, T “ ta1u isaccepted whatever the completion
12/17
![Page 25: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/25.jpg)
Formal Definition of Controllability
Given
§ a target T Ď AF
§ a semantics σ
CAF is skeptically (resp. credulously) controllable w.r.t. T and σif DAconf Ď AC s.t.
§ CAF 1 is the result of configuring CAF by Aconf
§ T is included in every (resp. at least one) σ-extension of everycompletion of CAF 1
We say that T is a skeptical (resp. credulous) conclusion of CAF
13/17
![Page 26: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/26.jpg)
Formal Definition of Controllability
Given
§ a target T Ď AF
§ a semantics σ
CAF is skeptically (resp. credulously) controllable w.r.t. T and σif DAconf Ď AC s.t.
§ CAF 1 is the result of configuring CAF by Aconf
§ T is included in every (resp. at least one) σ-extension of everycompletion of CAF 1
We say that T is a skeptical (resp. credulous) conclusion of CAF
13/17
![Page 27: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/27.jpg)
First Results on Complexity
Simplified Control Argumentation Framework
We call Simplified Control Argumentation Framework (SCAF) aCAF with an empty uncertain part.
Skeptical (resp. Credulous) Conclusion Problem
§ Input: CAF , q P AF
§ Decision: Is tqu a skeptical (resp. credulous) conclusion ofCAF?
Skeptical Conclusion Credulous Conclusion
CAFs P ΣP2 ΣP
2 -hard, P ΣP3
SCAFs NP-hard NP-complete
14/17
![Page 28: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/28.jpg)
First Results on Complexity
Simplified Control Argumentation Framework
We call Simplified Control Argumentation Framework (SCAF) aCAF with an empty uncertain part.
Skeptical (resp. Credulous) Conclusion Problem
§ Input: CAF , q P AF
§ Decision: Is tqu a skeptical (resp. credulous) conclusion ofCAF?
Skeptical Conclusion Credulous Conclusion
CAFs P ΣP2 ΣP
2 -hard, P ΣP3
SCAFs NP-hard NP-complete
14/17
![Page 29: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/29.jpg)
Plan
Background: Dung’s Framework
Control Argumentation Framework
Conclusion
15/17
![Page 30: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/30.jpg)
Summary
§ New framework to tackle argumentation dynamics underuncertainty
§ Generalizes existing work on argumentation dynamics§ Generalizes existing work on uncertainty in argumentation
§ Preliminary complexity results
§ Not in the talk: QBF-based method to decide controllability(and compute the control configuration, if it exists)
16/17
![Page 31: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/31.jpg)
Future work
Short term§ More detailled results about complexity (completeness, other
semantics)§ Implementation (work in progress)
Mid term§ Application to concrete scenario (negotiation, risk
management, design of self-adaptive systems,...)§ Optimization version: what to do when the CAF is not
controllable?
Long term§ More complex models of uncertainty (probabilities?)§ Structured CAFs
Thank you for your attention!
17/17
![Page 32: Control Argumentation Frameworks - Paris Descarteshelios.mi.parisdescartes.fr/~jmailly/downloads/talk_AAAI18.pdf · Intuition Argumentation is an inherently dynamic process Process](https://reader036.vdocuments.us/reader036/viewer/2022081613/5fbb90cf9f1287144a69b0d0/html5/thumbnails/32.jpg)
Future work
Short term§ More detailled results about complexity (completeness, other
semantics)§ Implementation (work in progress)
Mid term§ Application to concrete scenario (negotiation, risk
management, design of self-adaptive systems,...)§ Optimization version: what to do when the CAF is not
controllable?
Long term§ More complex models of uncertainty (probabilities?)§ Structured CAFs
Thank you for your attention!
17/17