A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation
Résumé
Graph generators are a powerful tool to provide benchmarks for various sub elds of KR (e.g. abstract argumentation, description logics, etc.) as well as other domains of AI (e.g. resources allocation, gossip problem, etc.). In this paper, we describe a new approach for generating graphs based on the idea of communities, i.e. parts of the graph which are densely connected, but with fewer connections between di erent communities. We discuss the design of an application named crusti_g2io implementing this idea, and then focus on a use case related to abstract argumentation. We show how crusti_g2io can be used to generate structured hard argumentation instances which are challenging for the fourth International Competition on Computational Models of Argumentation (ICCMA'21) solvers.
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|