Bienvenue sur le site de Grafix

Grafix est un outil de manipulation de graphes d’argumentation abstraits (voir la video)

Cet outil permet entre autres :

  • de créer des graphes d’argumentation abstraits dont
    • les sommets sont des arguments
    • et les arcs des relations binaires entre arguments ou des interactions dites “récursives” (entre un argument et une autre interaction); différents types d’interaction sont disponibles (attaques, supports, ignorances);
  • puis d’effectuer des traitements sur ces graphes (calcul d’extensions, évaluations des arguments ou des interactions, traduction sous forme logique, …).

Il permet aussi de tester facilement de nouveaux traitements sur ces graphes en les ajoutant à l’outil. Pour plus d’information, vous pouvez consulter la publication COMMA’14 et le manuel utilisateur .