MatrixX is a solver for Abstract Argumentation Frameworks. Offensive and defensive properties of an Argumentation Framework are notated in a matrix style. Rows and columns of this matrix are systematically reduced by the solver. This procedure is implemented through the use of hash maps in order to accelerate calculation time. MatrixX works for stable and complete semantics and was designed for the ICCMA 2021 competition.
翻译:矩阵X是抽象参数框架的求解器。一个参数框架的进攻性和防御性用矩阵样式进行评分。该矩阵的行和列由求解器系统地减少。该程序通过使用散列图来加速计算时间来实施。矩阵X为稳定和完整的语义学工作,是为ICCMA 2021竞赛设计的。