Part 1a: Extension-based and labelling semantics

Consider the argumentation graph $\mathcal{F} = (A,R)$ with $A = \{a,b,c,d,e\}$ and $R = \{ (b,a), (b,c), (c,b), (c,a), (a,d), (d,e)\}$.

Capture d’écran 2024-01-15 à 16.01.57.png

  1. Calculate stable, preferred, complete and grounded extensions.
  2. For each extension obtained, write the equivalent labelling $Lab$.

Part 1b: Extension-based and labelling semantics

Consider the argumentation graph below.

Capture d’écran 2024-01-15 à 17.00.28.png

  1. Calculate grounded, stable, preferred, semi-stable, complete and ideal extensions.
  2. For each extension obtained, write the equivalent labelling $Lab$.

Part 2: Proof dialogues

Consider the argumentation graph below.

Capture d’écran 2024-01-15 à 16.21.11.png