periode t (jours 1-30) : 30 enonces (28 assertifs, 2 questions), 22 relations exprimees
periode t+1 (jours 31-60) : 16 enonces (15 assertifs, 1 questions), 12 relations exprimees
Apercu des 5 premiers enonces de la periode t :
jour 1 | p1 | assertif | (aucune)
jour 2 | p2 | assertif | CA->p1
jour 3 | p3 | assertif | CA->p2
jour 4 | p4 | assertif | CA->p3
jour 5 | p5 | assertif | RA->p4
G_t : 13 noeuds-I, 11 noeuds de scheme (9 CA, 2 RA), 2 exclus
exclu : p13 -- C1 : acte non assertif
exclu : p14 -- C3 : singleton (aucune relation dans la fenetre)
G_t+1 : 14 noeuds-I, 12 noeuds de scheme (10 CA, 2 RA), 3 exclus
exclu : p13 -- C1 : acte non assertif
exclu : p14 -- C3 : singleton (aucune relation dans la fenetre)
exclu : p17 -- C3 : singleton (aucune relation dans la fenetre)
Classes AIF declarees dans l'ontologie : ['CA-node', 'Conflict', 'I-node', 'RA-node']
Conformite vocabulaire : ['CA-node', 'I-node', 'RA-node'] <= classes declarees : OK
G_t serialise : 59 triplets AIF
@prefix aif: <http://www.arg.dundee.ac.uk/aif#> .
aif:p10 a aif:I-node ;
aif:RAedge aif:RA_p10_p9 ;
aif:text "proposition p10" .
aif:p11 a aif:I-node ;
aif:CAedge aif:CA_p11_p6 ;
aif:text "proposition p11" .
aif:p12 a aif:I-node ;
aif:CAedge aif:CA_p12_p9 ;
aif:text "proposition p12" .
aif:p18 a aif:I-node ;
aif:CAedge aif:CA_p18_p1 ;
aif:text "proposition p18" .
aif:p5 a aif:I-node ;
aif:RAedge aif:RA_p5_p4 ;
aif:text "proposition p5" .
aif:CA_p11_p6 a aif:CA-node ;
AF_t : 13 arguments, 9 attaques
AF_t+1 : 14 arguments, 10 attaques
E_t (grounded, 8/13) : ['p10', 'p11', 'p12', 'p18', 'p2', 'p4', 'p5', 'p8']
E_t+1 (grounded, 8/14) : ['p10', 'p15', 'p16', 'p2', 'p4', 'p5', 'p7', 'p9']
Sanity : d(G, G) = 0 sur les trois composantes : OK
Moitie a (jours 1-15) : 13 arguments, 9 attaques | grounded 8
Moitie b (jours 16-30) : 12 arguments, 8 attaques | grounded 7
Plancher de bruit (split moities de la periode t) :
d_noeuds = 0.077
d_att = 0.111
d_sem = 0.125
composante ecart t->t+1 plancher rapport verdict
------------------------------------------------------------------------
d_noeuds 0.200 0.077 2.6x DEPASSE
d_att 0.273 0.111 2.5x DEPASSE
d_sem 0.667 0.125 5.3x DEPASSE
Entrees dans l'extension grounded (acceptes en t+1, pas en t) : ['p15', 'p16', 'p7', 'p9']
Sorties de l'extension grounded (acceptes en t, plus en t+1) : ['p11', 'p12', 'p18', 'p8']
Lecture des cascades :
- p15->p12 (non contré) fait sortir p12 ; p12 sortant, p9 n'est plus
contré -> p9 entre ; et p9 dans l'extension défait p8 -> p7 entre
(son attaquant p8 est desormais defait).
- p8 sort : il exigeait la defaite de son attaquant p9, qui n'etait
defait QUE par p12 -- p12 sortant, p8 perd sa defense.
- p16->p11 fait sortir p11 (non contré).
- p18 n'est plus entendu en t+1 : son attaque disparait (avec son noeud).
- p1 reste dehors : son attaquant p2 n'est jamais defait (p3, seul
attaquant de p2, n'entre jamais dans l'extension -- p4 indéfaisable).
E_ctrl = ['p10', 'p11', 'p12', 'p18', 'p3', 'p5', 'p8', 'p_ctrl']
attendu (ecrit avant) : d_sem = 0.4, d_att = 0.1
mesure : d_sem = 0.400, d_att = 0.100
Controle positif : d_sem CONFORME, d_att CONFORME a l'attendu ecrit
p4 sorti : True | p2 sorti : True | p3 entre : True | p_ctrl entre : True
Resume de l'instrument (toute mesure d'ecart avec son plancher) :
plancher_bruit : {'d_noeuds': 0.077, 'd_att': 0.111, 'd_sem': 0.125}
ecart_inter_dates : {'d_noeuds': 0.2, 'd_att': 0.273, 'd_sem': 0.667}
controle_positif : {'d_sem_attendu': 0.4, 'd_sem_mesure': 0.4, 'd_att_attendu': 0.1, 'd_att_mesure': 0.1}
exclusions : {'t': {'p13': 'C1 : acte non assertif', 'p14': 'C3 : singleton (aucune relation dans la fenetre)'}, 't+1': {'p13': 'C1 : acte non assertif', 'p14': 'C3 : singleton (aucune relation dans la fenetre)', 'p17': 'C3 : singleton (aucune relation dans la fenetre)'}}
Lecture cumulative :
G_cumul_t : 13 arguments, 9 attaques
G_cumul_t1 : 15 arguments, 11 attaques
Hypothese monotone sur ce corpus :
args G_cumul_t inclus dans G_cumul_t1 : True
attacks G_cumul_t inclus dans G_cumul_t1 : True
-> VERIFIEE PAR CONSTRUCTION : sur des corpus emboites, build_aif_graph
n'exclut jamais un noeud deja relie (C3 ne frappe que les singletons, et
les relations s'accumulent). Ici la monotonie est un theoreme de
l'instrument ; elle ne le resterait pas devant un corpus reel retire des enonces.
Grounded de G_cumul_t (8/13) : ['p10', 'p11', 'p12', 'p18', 'p2', 'p4', 'p5', 'p8']
Hors grounded (7) : ['p1', 'p15', 'p16', 'p3', 'p6', 'p7', 'p9']
Retrait d'un argument DEFAIT (hors grounded) — effet mesure un par un :
retrait 'p1': d_noeuds=0.133 d_att=0.182 d_sem=0.111 d_sem BOUGE (0.111)
retrait 'p15': d_noeuds=0.067 d_att=0.091 d_sem=0.500 d_sem BOUGE (0.500)
retrait 'p16': d_noeuds=0.067 d_att=0.091 d_sem=0.200 d_sem BOUGE (0.200)
retrait 'p3': d_noeuds=0.067 d_att=0.182 d_sem=0.000 d_sem immobile
retrait 'p6': d_noeuds=0.067 d_att=0.182 d_sem=0.000 d_sem immobile
retrait 'p7': d_noeuds=0.067 d_att=0.182 d_sem=0.200 d_sem BOUGE (0.200)
retrait 'p9': d_noeuds=0.133 d_att=0.182 d_sem=0.455 d_sem BOUGE (0.455)
-> 2 retraits laissent grounded inchange ; 5 le font bouger
(un defait qui ATTAQUAIT un candidat peut, en disparaisant, le faire accepter)
Retrait de 'p10' [ACCEPTE, dans grounded] :
d_noeuds = 0.067 d_att = 0.000 d_sem = 0.111
Ce que l'instrument fait sous violation :
d_noeuds > 0 pour TOUT retrait : la mesure structurelle voit chaque disparition ;
d_sem ne bouge QUE si le retrait touche l'extension grounded (directement, ou via
un attaquant disparu qui libere un candidat) ;
AUCUNE des deux mesures ne dit RETRAIT vs APPARITION : le sens du mouvement n'est
pas dans l'ecart de graphes — il est dans les evenements dates du corpus. C'est
la limite explicite que l'hypothese monotone permettait de ne pas poser.
Exercice 1 a completer : fonction definie, a vous de l'appeler sur af_t / af_t1
Exercice 2 a completer : fonction definie, a vous de produire la distribution
Exercice 3 a completer : fonctions definies, a vous de produire le classement
periode t (jours 1-30) : 30 enonces (28 assertifs, 2 questions), 22 relations exprimees
periode t+1 (jours 31-60) : 16 enonces (15 assertifs, 1 questions), 12 relations exprimees
Apercu des 5 premiers enonces de la periode t :
jour 1 | p1 | assertif | (aucune)
jour 2 | p2 | assertif | CA->p1
jour 3 | p3 | assertif | CA->p2
jour 4 | p4 | assertif | CA->p3
jour 5 | p5 | assertif | RA->p4
G_t : 13 noeuds-I, 11 noeuds de scheme (9 CA, 2 RA), 2 exclus
exclu : p13 -- C1 : acte non assertif
exclu : p14 -- C3 : singleton (aucune relation dans la fenetre)
G_t+1 : 14 noeuds-I, 12 noeuds de scheme (10 CA, 2 RA), 3 exclus
exclu : p13 -- C1 : acte non assertif
exclu : p14 -- C3 : singleton (aucune relation dans la fenetre)
exclu : p17 -- C3 : singleton (aucune relation dans la fenetre)
Classes AIF declarees dans l'ontologie : ['CA-node', 'Conflict', 'I-node', 'RA-node']
Conformite vocabulaire : ['CA-node', 'I-node', 'RA-node'] <= classes declarees : OK
G_t serialise : 59 triplets AIF
@prefix aif: <http://www.arg.dundee.ac.uk/aif#> .
aif:p10 a aif:I-node ;
aif:RAedge aif:RA_p10_p9 ;
aif:text "proposition p10" .
aif:p11 a aif:I-node ;
aif:CAedge aif:CA_p11_p6 ;
aif:text "proposition p11" .
aif:p12 a aif:I-node ;
aif:CAedge aif:CA_p12_p9 ;
aif:text "proposition p12" .
aif:p18 a aif:I-node ;
aif:CAedge aif:CA_p18_p1 ;
aif:text "proposition p18" .
aif:p5 a aif:I-node ;
aif:RAedge aif:RA_p5_p4 ;
aif:text "proposition p5" .
aif:CA_p11_p6 a aif:CA-node ;
AF_t : 13 arguments, 9 attaques
AF_t+1 : 14 arguments, 10 attaques
E_t (grounded, 8/13) : ['p10', 'p11', 'p12', 'p18', 'p2', 'p4', 'p5', 'p8']
E_t+1 (grounded, 8/14) : ['p10', 'p15', 'p16', 'p2', 'p4', 'p5', 'p7', 'p9']
Sanity : d(G, G) = 0 sur les trois composantes : OK
Moitie a (jours 1-15) : 13 arguments, 9 attaques | grounded 8
Moitie b (jours 16-30) : 12 arguments, 8 attaques | grounded 7
Plancher de bruit (split moities de la periode t) :
d_noeuds = 0.077
d_att = 0.111
d_sem = 0.125
composante ecart t->t+1 plancher rapport verdict
------------------------------------------------------------------------
d_noeuds 0.200 0.077 2.6x DEPASSE
d_att 0.273 0.111 2.5x DEPASSE
d_sem 0.667 0.125 5.3x DEPASSE
Entrees dans l'extension grounded (acceptes en t+1, pas en t) : ['p15', 'p16', 'p7', 'p9']
Sorties de l'extension grounded (acceptes en t, plus en t+1) : ['p11', 'p12', 'p18', 'p8']
Lecture des cascades :
- p15->p12 (non contré) fait sortir p12 ; p12 sortant, p9 n'est plus
contré -> p9 entre ; et p9 dans l'extension défait p8 -> p7 entre
(son attaquant p8 est desormais defait).
- p8 sort : il exigeait la defaite de son attaquant p9, qui n'etait
defait QUE par p12 -- p12 sortant, p8 perd sa defense.
- p16->p11 fait sortir p11 (non contré).
- p18 n'est plus entendu en t+1 : son attaque disparait (avec son noeud).
- p1 reste dehors : son attaquant p2 n'est jamais defait (p3, seul
attaquant de p2, n'entre jamais dans l'extension -- p4 indéfaisable).
E_ctrl = ['p10', 'p11', 'p12', 'p18', 'p3', 'p5', 'p8', 'p_ctrl']
attendu (ecrit avant) : d_sem = 0.4, d_att = 0.1
mesure : d_sem = 0.400, d_att = 0.100
Controle positif : d_sem CONFORME, d_att CONFORME a l'attendu ecrit
p4 sorti : True | p2 sorti : True | p3 entre : True | p_ctrl entre : True
Resume de l'instrument (toute mesure d'ecart avec son plancher) :
plancher_bruit : {'d_noeuds': 0.077, 'd_att': 0.111, 'd_sem': 0.125}
ecart_inter_dates : {'d_noeuds': 0.2, 'd_att': 0.273, 'd_sem': 0.667}
controle_positif : {'d_sem_attendu': 0.4, 'd_sem_mesure': 0.4, 'd_att_attendu': 0.1, 'd_att_mesure': 0.1}
exclusions : {'t': {'p13': 'C1 : acte non assertif', 'p14': 'C3 : singleton (aucune relation dans la fenetre)'}, 't+1': {'p13': 'C1 : acte non assertif', 'p14': 'C3 : singleton (aucune relation dans la fenetre)', 'p17': 'C3 : singleton (aucune relation dans la fenetre)'}}
Lecture cumulative :
G_cumul_t : 13 arguments, 9 attaques
G_cumul_t1 : 15 arguments, 11 attaques
Hypothese monotone sur ce corpus :
args G_cumul_t inclus dans G_cumul_t1 : True
attacks G_cumul_t inclus dans G_cumul_t1 : True
-> VERIFIEE PAR CONSTRUCTION : sur des corpus emboites, build_aif_graph
n'exclut jamais un noeud deja relie (C3 ne frappe que les singletons, et
les relations s'accumulent). Ici la monotonie est un theoreme de
l'instrument ; elle ne le resterait pas devant un corpus reel retire des enonces.
Grounded de G_cumul_t (8/13) : ['p10', 'p11', 'p12', 'p18', 'p2', 'p4', 'p5', 'p8']
Hors grounded (7) : ['p1', 'p15', 'p16', 'p3', 'p6', 'p7', 'p9']
Retrait d'un argument DEFAIT (hors grounded) — effet mesure un par un :
retrait 'p1': d_noeuds=0.133 d_att=0.182 d_sem=0.111 d_sem BOUGE (0.111)
retrait 'p15': d_noeuds=0.067 d_att=0.091 d_sem=0.500 d_sem BOUGE (0.500)
retrait 'p16': d_noeuds=0.067 d_att=0.091 d_sem=0.200 d_sem BOUGE (0.200)
retrait 'p3': d_noeuds=0.067 d_att=0.182 d_sem=0.000 d_sem immobile
retrait 'p6': d_noeuds=0.067 d_att=0.182 d_sem=0.000 d_sem immobile
retrait 'p7': d_noeuds=0.067 d_att=0.182 d_sem=0.200 d_sem BOUGE (0.200)
retrait 'p9': d_noeuds=0.133 d_att=0.182 d_sem=0.455 d_sem BOUGE (0.455)
-> 2 retraits laissent grounded inchange ; 5 le font bouger
(un defait qui ATTAQUAIT un candidat peut, en disparaisant, le faire accepter)
Retrait de 'p10' [ACCEPTE, dans grounded] :
d_noeuds = 0.067 d_att = 0.000 d_sem = 0.111
Ce que l'instrument fait sous violation :
d_noeuds > 0 pour TOUT retrait : la mesure structurelle voit chaque disparition ;
d_sem ne bouge QUE si le retrait touche l'extension grounded (directement, ou via
un attaquant disparu qui libere un candidat) ;
AUCUNE des deux mesures ne dit RETRAIT vs APPARITION : le sens du mouvement n'est
pas dans l'ecart de graphes — il est dans les evenements dates du corpus. C'est
la limite explicite que l'hypothese monotone permettait de ne pas poser.
Exercice 1 a completer : fonction definie, a vous de l'appeler sur af_t / af_t1
Exercice 2 a completer : fonction definie, a vous de produire la distribution
Exercice 3 a completer : fonctions definies, a vous de produire le classement
[instrument] module importe : _dated_graphs_mod.py (Enonce, AIFGraph, build_aif_graph, to_dung_af, d_struct, d_sem, split_half)