« Système d'argumentation » : différence entre les versions
Contenu supprimé Contenu ajouté
→Équivalence entre systèmes d'argumentation : Ajout de la notion d'équivalence entre sémantiques graduelles |
Annulation de la modification de Royaliste du dimanche (d) Balise : Annulation |
||
Ligne 73 :
L'équivalence forte <ref>{{article |langue=anglais |prénom1=Emilia |nom1=Oikarinen|prénom2=Stefan |nom2=Woltran|titre= Characterizing strong equivalence for argumentation frameworks |périodique=Artificial Intelligence |volume=175 |numéro=(14-15) |année= 2001 |pages=1985–2009}}</ref> considère comme équivalents deux systèmes <math>S_1 \text{ et } S_2</math> si et seulement si pour tout autre système <math>S_3</math>, l'union de <math>S_1</math> avec <math>S_3</math> est équivalente (pour un critère donné) à l'union de l'union de <math>S_2</math> avec <math>S_3</math><ref>l'union de deux systèmes représente ici le système issu de l'union des ensembles d'arguments et de l'union des relations d'attaque</ref>.
== Instanciations du cadre de Dung ==
|